bioinformatics (11)
unfoldings (9)
fundamenta informaticae (6)
industrial & engineering chemistry research (6)
science of computer programming (6)
acm transactions on embedded computing systems (5)
international journal on software tools for technology transfer (5)
artificial intelligence (4)
journal of computer and system sciences (4)
journal of logical and algebraic methods in programming (3)
logical methods in computer science (3)
2015 15th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2015 15th international conference on (2)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (2)
automated software engineering (2)
computer aided verification (2)
computers & chemical engineering (2)
entcs: electronic notes in theoretical computer science (2)
journal of computer & system sciences (2)
journal of grid computing (2)
journal on satisfiability, boolean modeling and computation (2)
plos one (2)
reliability engineering & system safety (2)
2010 10th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2010 10th international conference on (1)
2012 12th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2012 12th international conference on (1)
2012 proceedings of the 27th ieee/acm international conference on automated software engineering, automated software engineering (ase), 2012 proceedings of the 27th ieee/acm international conference on (1)
2013 13th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2013 13th international conference on (1)
2014 14th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2014 14th international conference on (1)
2016 24th euromicro international conference on parallel, distributed, and network-based processing (pdp), parallel, distributed, and network-based processing (pdp), 2016 24th euromicro international conference on (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
2018 ieee 4th world forum on internet of things (wf-iot), internet of things (wf-iot), 2018 ieee 4th world forum on (1)
2019 ieee international conference on pervasive computing and communications workshops (percom workshops), pervasive computing and communications workshops (percom workshops), 2019 ieee international conference on (1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
automata, languages and programming (geneva, 2000) (1)
automata, languages and programming. part ii (1)
automated reasoning. part i (1)
automated software engineering: an international journal (1)
computer aided chemical engineering (1)
computer aided verification. part ii (1)
computers and chemical engineering (1)
concur 2000---concurrency theory (university park, pa) (1)
concur 2001--concurrency theory (aalborg) (1)
electronic notes in theoretical computer science (1)
journal of grid computing: from grids to cloud federations (1)
logic programming and nonmonotonic reasoning (vienna, 2001) (1)
logics in artificial intelligence (1)
reliability engineering and system safety (1)
theory and applications of satisfiability testing---sat 2013 (1)
theory and practice of logic programming (1)
verification, model checking, and abstract interpretation (1)