programming languages & systems (978-3-540-76636-0) (28)
acm / sigplan notices (22)
acm sigplan notices (11)
journal of automated reasoning (10)
acm transactions on programming languages & systems (9)
journal of systems architecture (6)
journal of functional programming (5)
advances in manufacturing (4)
neurological sciences (4)
new generation computing (4)
proceedings of the 1994 acm conference: lisp & functional programming (4)
chinese journal of integrative medicine (3)
journal of the acm (3)
plos one (3)
2020 design, automation & test in europe conference & exhibition (date) (2)
2021 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2021 (2)
chemical communications (2)
frontiers of information technology & electronic engineering (2)
lisp and symbolic computation (2)
theorem proving in higher order logics (2)
types in compilation (2)
2009 third ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2009. tase 2009. third ieee international symposium on (1)
2011 fifth international conference on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2011 fifth international symposium on (1)
2012 ieee international conference on robotics and automation, robotics and automation (icra), 2012 ieee international conference on (1)
2013 28th annual acm/ieee symposium on logic in computer science (lics 2013) (1)
2013 28th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2013 28th annual ieee/acm symposium on (1)
2014 theoretical aspects of software engineering conference, theoretical aspects of software engineering conference (tase), 2014 (1)
2019 49th annual ieee/ifip international conference on dependable systems and networks workshops (dsn-w), dependable systems and networks workshops (dsn-w), 2019 49th annual ieee/ifip international conference on (1)
2019 ieee 39th international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2019 ieee 39th international conference on, icdcs (1)
2020 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2020 ieee international conference on (1)
2022 52nd annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2022 52nd annual ieee/ifip international conference on, dsn (1)
2022 international conference on image processing and computer vision (ipcv), image processing and computer vision (ipcv), 2022 international conference on, ipcv (1)
2023 4th international conference on computer engineering and application (iccea), computer engineering and application (iccea), 2023 4th international conference on (1)
acm sigsoft software engineering notes (1)
computer aided verification. part ii. (1)
concur 2010---concurrency theory (1)
concur 2013---concurrency theory (1)
diabetes/metabolism research and reviews (1)
electronic notes in theoretical computer science (1)
first joint ieee/ifip symposium on theoretical aspects of software engineering (tase '07), theoretical aspects of software engineering, 2007. tase '07. first joint ieee/ifip symposium on (1)
guang pu xue yu guang pu fen xi = guang pu (1)
neurological sciences: official journal of the italian neurological society (1)
philosophical transactions: mathematical, physical and engineering sciences (1)
proceedings of spie (1)
proceedings of the 35th annual acm/ieee symposium on logic in computer science (lics 2020) (1)
proceedings of the 9th international symposium on linear drives for industry applications, vol. 2 (1)
proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) (1)
science of computer programming (1)
science of computer programming. methods of software design: techniques and applications (1)
the journal of physical chemistry - part c (1)