concur 2006 - concurrency theory (9783540373766) (34)
acta informatica (28)
theoretical computer science (17)
electronic notes in theoretical computer science (16)
international journal on software tools for technology transfer (14)
information processing letters (13)
entcs: electronic notes in theoretical computer science (12)
fundamenta informaticae (9)
information and computation (9)
ieee transactions on software engineering (8)
science of computer programming (8)
formal methods in system design (7)
formal aspects of computing (5)
journal of computer and system sciences (5)
communications of the acm (4)
formal methods in system design: an international journal (4)
information & computation (4)
journal of the acm (4)
acm transactions on computational logic (3)
computer aided verification (3)
distributed computing (3)
foundations of software science and computation structures (3)
innovations in systems and software engineering: a nasa journal (3)
logical methods in computer science (3)
plos computational biology (3)
science of computer programming. methods of software design: techniques and applications (3)
software & systems modeling (3)
tactile internet (3)
32nd international conference on concurrency theory (2)
acm sigmetrics performance evaluation review (2)
computer aided verification. part i (2)
coordination models & languages (9783540346944) (2)
formal aspects of computing: applicable formal methods (2)
foundations of genetic algorithms (2)
implementation and application of automata (2)
journal of computer & system sciences (2)
journal of systems & software (2)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (2)
probmiv'98: first international workshop on probabilistic methods in verification (indianapolis, in) (2)
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) (2)
2008 fifth international conference on quantitative evaluation of systems, quantitative evaluation of systems, 2008. qest '08. fifth international conference on (1)
2012 ninth international conference on quantitative evaluation of systems, quantitative evaluation of systems (qest), 2012 ninth international conference on (1)
2013 sc - international conference for high performance computing, networking, storage and analysis (sc), high performance computing, networking, storage and analysis (sc), 2013 international conference for (1)
2016 10th international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2016 10th international symposium on (1)
2019 34th annual acm/ieee symposium on logic in computer science (lics) (1)
2019 34th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2019 34th annual acm/ieee symposium on (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2021 36th annual acm/ieee symposium on logic in computer science (lics) (1)
ieee access (1)
software and systems modeling (1)