theoretical computer science (14)
logical methods in computer science (11)
science of computer programming (11)
international journal on software tools for technology transfer (7)
acm transactions on modeling and computer simulation (6)
acta informatica (5)
information and computation (5)
acm computing surveys (4)
electronic notes in theoretical computer science (4)
formal methods for the quantitative evaluation of collective adaptive systems (4)
logical methods in computer science (lmcs) (4)
entcs: electronic notes in theoretical computer science (3)
ieee wireless communications (3)
journal of logical and algebraic methods in programming (3)
mathematical structures in computer science (3)
runtime verification (3)
2019 ieee/acm 14th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2019 ieee/acm 14th international symposium on (2)
acm transactions on computational logic (2)
acm transactions on modeling & computer simulation (2)
acm transactions on software engineering & methodology (2)
automated software engineering (2)
coordination models & languages 17th ifip wg 6.1 international conference, coordination 2015, held as part of the 10th international federated conference on distributed computing techniques, discotec 2015, grenoble, france, june 2-4, 2015, proceedings (2)
information & computation (2)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (2)
software engineering for collective autonomic systems (2)
trustworthly global computing (2)
trustworthy global computing (9783642009440) (2)
2014 ieee eighth international conference on self-adaptive & self-organizing systems workshops (1)
2014 ieee eighth international conference on self-adaptive and self-organizing systems workshops, self-adaptive and self-organizing systems workshops (sasow), 2014 ieee eighth international conference on (1)
2018 winter simulation conference (wsc), winter simulation conference (wsc), 2018 (1)
2021 19th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2021 19th acm-ieee international conference on (1)
acm sigapp applied computing review (1)
acm transactions on autonomous & adaptive systems (1)
acm transactions on autonomous and adaptive systems (1)
agent environments for multi-agent systems iv (1)
automata, languages & programming (9783642029295) (1)
automated software engineering: an international journal (1)
computer performance engineering: 12th european workshop, epew 2015, madrid, spain, august 31 - september 1, 2015, proceedings (1)
coordination models & languages (9783540682646) (1)
coordination models & languages (9783642020520) (1)
coordination models & languages (9783642134135) (1)
distributed applications & interoperable systems (1)
electronic proceedings in theoretical computer science (1)
engineering interactive systems (1)
formal aspects of computing (1)
formal aspects of computing: applicable formal methods (1)
formal methods & software engineering (9783642342806) (1)
formal methods for components & objects (1)
formal methods for components & objects (9783642358869) (1)
philosophical transactions: mathematical, physical and engineering sciences (1)