international symposium on fundamentals of software engineering (32)
science of computer programming (29)
entcs: electronic notes in theoretical computer science (17)
fundamenta informaticae (15)
electronic notes in theoretical computer science (13)
journal of logical and algebraic methods in programming (9)
computer graphics forum (5)
formal aspects of computing (4)
information sciences (3)
science of computer programming. methods of software design: techniques and applications (3)
software & systems modeling (3)
formal methods for multicore programming (2)
formal methods for the quantitative evaluation of collective adaptive systems (2)
ieee transactions on services computing (2)
interactive computation (2)
logical methods in computer science (2)
mathematical structures in computer science (2)
netnomics (2)
netnomics: economic research & electronic networking (2)
scientific annals of computer science (2)
service oriented computing and applications (2)
theory and practice of formal methods (2)
2008 international conference on computational intelligence for modelling control & automation, computational intelligence for modelling control & automation, 2008 international conference on (1)
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)
2010 fifth ieee international symposium on service oriented system engineering, service oriented system engineering (sose), 2010 fifth ieee international symposium on (1)
2013 data-flow execution models for extreme scale computing, data-flow execution models for extreme scale computing (dfm), 2013 (1)
2014 22nd euromicro international conference on parallel, distributed, and network-based processing, parallel, distributed and network-based processing (pdp), 2014 22nd euromicro international conference on (1)
2020 csi/cpssi international symposium on real-time and embedded systems and technologies (rtest), real-time and embedded systems and technologies (rtest), 2020 csi/cpssi international symposium on (1)
31st annual international computer software and applications conference (compsac 2007), computer software and applications conference, 2007. compsac 2007. 31st annual international (1)
advances in computers (1)
computer-aided design (1)
computers & graphics (1)
coordination models and languages (1)
electronic proceedings in theoretical computer science (1)
formal aspects of computing: applicable formal methods (1)
future generation computer systems (1)
ieee transactions on services computing, services computing, ieee transactions on, ieee trans. serv. comput. (1)
ifac proceedings volumes (1)
information systems frontiers: a journal of research and innovation (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
models, languages, and tools for concurrent and distributed programming (1)
proceedings 7th interaction and concurrency experience (1)
proceedings 8th interaction and concurrency experience (1)
proceedings of the the first workshop on verification and validation of cyber-physical systems (1)
proceedings---14th interaction and concurrency experience (1)
the journal of supercomputing (1)
the journal of supercomputing: an international journal of high-performance computer design, analysis, and use (1)
theoretical computer science (1)
tools and algorithms for the construction and analysis of systems (1)
topics in theoretical computer science (1)