reactive systems (20)
international journal on software tools for technology transfer (18)
fundamenta informaticae (11)
acta informatica (9)
theoretical computer science (9)
information and computation (7)
icarus (6)
application and theory of petri nets and concurrency (5)
journal of automated reasoning (5)
journal of logical and algebraic methods in programming (5)
electronic notes in theoretical computer science (4)
mathematical structures in computer science (4)
model checking software (4)
science of computer programming (4)
entcs: electronic notes in theoretical computer science (3)
information & computation (3)
logical methods in computer science (3)
2022 ieee 11th international conference on cloud networking (cloudnet), cloud networking (cloudnet), 2022 ieee 11th international conference on (2)
journal of logic and algebraic programming (2)
journal of the acm (2)
mathematical foundations of computer science 2007 (2)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (2)
nonlinear analysis: hybrid systems (2)
2012 sixth international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2012 sixth international symposium on (1)
2017 19th international conference on transparent optical networks (icton), transparent optical networks (icton), 2017 19th 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 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
26th international conference on concurrency theory (1)
30th international conference on concurrency theory (1)
advanced topics in bisimulation and coinduction (1)
applications and theory of petri nets 2001 (1)
applications and theory of petri nets 2005 (1)
astronomy & astrophysics (1)
automata, languages and programming (1)
automata, languages, and programming. part ii (1)
bulletin of the european association for theoretical computer science. eatcs (1)
computer aided verification. part i (1)
computer science logic (1)
concur 2001--concurrency theory (aalborg) (1)
concur 2002---concurrency theory (1)
concur 2014---concurrency theory (1)
developments in language theory (1)
formal aspects of computing (1)
foundations of software science & computation structures (9783540330455) (1)
fsttcs 2005: foundations of software technology & theoretical computer science (1)
iecon 2016 - 42nd annual conference of the ieee industrial electronics society, industrial electronics society , iecon 2016 - 42nd annual conference of the ieee (1)
ieee infocom 2018 - ieee conference on computer communications, computer communications (infocom), 2018 ieee conference on (1)
ifac papersonline (1)
ifac-papersonline (1)
mathematical foundations of computer science 1998 (1)