fundamenta informaticae (8)
ieee transactions on software engineering (8)
international journal on software tools for technology transfer (7)
international conference on autonomous agents (5)
journal of automated reasoning (4)
computer communications (3)
discrete applied mathematics (3)
information and computation (3)
procedia computer science (3)
2016 12th international conference on intelligent environments (ie), intelligent environments (ie), 2016 12th international conference on, intelligent environments, international conference on (2)
computers & operations research (2)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (2)
journal of ambient intelligence and smart environments (2)
journal of applied logic (2)
journal of computer and system sciences (2)
journal of reliable intelligent environments (2)
studia logica (2)
studia logica: an international journal for symbolic logic (2)
2008 23rd ieee/acm international conference on automated software engineering - workshops, automated software engineering - workshops, 2008. ase workshops 2008. 23rd ieee/acm international conference on (1)
2009 ieee international conference on services computing, services computing, 2009. scc '09. ieee international conference on (1)
2014 twelfth annual international conference on privacy, security and trust, privacy, security and trust (pst), 2014 twelfth annual international conference on (1)
2015 13th annual conference on privacy, security and trust (pst), privacy, security and trust (pst), 2015 13th annual conference on (1)
2015 ieee 29th international conference on advanced information networking and applications workshops, advanced information networking and applications workshops (waina), 2015 ieee 29th international conference on (1)
2015 ieee/acm 1st international workshop on software engineering for smart cyber-physical systems, software engineering for smart cyber-physical systems (sescps), 2015 ieee/acm 1st international workshop on (1)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference on (1)
2016 5th ieee international conference on cloud networking (cloudnet), cloud networking (cloudnet), 2016 5th ieee international conference on, cloud networking (cloudnet), 2016 5th ieee international conference on (1)
2016 ieee/acm 8th international workshop on modeling in software engineering (mise), modeling in software engineering (mise), 2016 ieee/acm 8th international workshop on, mise (1)
2017 ieee european symposium on security and privacy workshops (euros&pw), security and privacy workshops (euros&pw), 2017 ieee european symposium on, euros-pw (1)
2017 international conference on intelligent environments (ie), intelligent environments (ie), 2017 international conference on, ie (1)
2018 32nd international conference on advanced information networking and applications workshops (waina), advanced information networking and applications workshops (waina), 2018 32nd international conference on, waina (1)
applied network science (1)
computers \& operations research (1)
computers and operations research (1)
declarative agent languages & technologies iv (1)
deontic logic in computer science (1)
discrete applied mathematics. the journal of combinatorial algorithms, informatics and computational sciences (1)
formal approaches to agent-based systems (1)
information & computation (1)
interactive theorem proving (1)
journal of computer & system sciences (1)
proceedings 1st international workshop on strategic reasoning (1)
proceedings 3rd nasa/ieee workshop on formal approaches to agent-based systems (faabs-iii) (1)
rivista di studi politici internazionali (1)
static analysis (1)
studia logica. an international journal for symbolic logic (1)
synthese. an international journal for epistemology, methodology and philosophy of science (1)
synthese: an international journal for epistemology, methodology and philosophy of science (1)
the bulletin of symbolic logic (1)