theoretical computer science (17)
information and computation (12)
electronic notes in theoretical computer science (6)
entcs: electronic notes in theoretical computer science (6)
journal of logical and algebraic methods in programming (6)
science of computer programming (6)
formal aspects of computing (4)
international journal of learning (4)
mathematical structures in computer science (3)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (3)
software & systems modeling (3)
blockchain: research and applications (2)
concur 2012 - concurrency theory (2)
concur 2012---concurrency theory (2)
education sciences & society (2)
foundations of software science and computation structures (2)
fundamenta informaticae (2)
information & computation (2)
logical methods in computer science (2)
scientific annals of computer science (2)
2010 25th annual ieee symposium on logic in computer science, logic in computer science (lics), 2010 25th annual ieee symposium on (1)
2024 ieee international conference on pervasive computing and communications workshops and other affiliated events (percom workshops), pervasive computing and communications workshops and other affiliated events (percom workshops), 2024 ieee international conference on (1)
25th annual ieee symposium on logic in computer science lics 2010 (1)
algebraic and logic programming (volterra, 1992) (1)
computational methods in systems biology (9783540751397) (1)
computational methods in systems biology (9783642038440) (1)
computer standards & interfaces (1)
concur 2007 - concurrency theory (1)
concur 2014 - concurrency theory (1)
concurrency & computation: practice & experience (1)
concurrency, graphs & models (1)
formal aspects of component software: 12th international conference, facs 2015, niteroi, brazil, october 14-16, 2015, revised selected papers (1)
formal aspects of computing: applicable formal methods (1)
formal methods for executable software models (1)
formal techniques for computer systems & business processes (1)
foundations of software science & computation structures (9783540330455) (1)
foundations of software science & computational structures (1)
integrated formal methods (9783642386121) (1)
journal of logic & algebraic programming (1)
journal of logic and algebraic programming (1)
leveraging applications of formal methods, verification & validation. specialized techniques & applications: part ii (1)
logical methods in computer science (lmcs) (1)
praxis educacional (1)
proceedings of the 9th international conference: computational methods in systems biology (1)
programming languages & systems (9783540330950) (1)
proof, language & interaction (1)
software and systems modeling (1)
theory & practice of formal methods (1)
trustworthy global computing (1)
trustworthy global computing (9783642411564) (1)