theoretical computer science (18)
journal of computer security (15)
entcs: electronic notes in theoretical computer science (8)
information and computation (6)
electronic notes in theoretical computer science (5)
journal of automated reasoning (4)
bmc bioinformatics (3)
computational biology and chemistry (3)
annali di storia delle universita italiane (2)
journal of supercomputing (2)
logical methods in computer science (2)
programming languages with applications to biology & security (2)
programming languages with applications to biology and security (2)
science of computer programming (2)
scientific annals of computer science (2)
2018 ieee european symposium on security and privacy (euros&p), security and privacy (euros&p), 2018 ieee european symposium on, eurosp (1)
2023 20th acs/ieee international conference on computer systems and applications (aiccsa), computer systems and applications (aiccsa), 2023 20th acs/ieee international conference on (1)
2023 ieee 21st international conference on industrial informatics (indin), industrial informatics (indin), 2023 ieee 21st international conference on (1)
2023 ieee 26th international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2023 ieee 26th international conference on (1)
advances in computer science - asian 2007. computer & network security (1)
algebraic methodology & software technology (9783540799795) (1)
automata, languages and programming (paderborn, 1996) (1)
computational biology & chemistry (1)
computer information systems & industrial management (1)
concur'98 concurrency theory (1)
concur'98: concurrency theory (nice) (1)
coordination models & languages (9783319395180) (1)
coordination models and languages (1)
current trends in theoretical computer science (1)
foundations & applications of security analysis (1)
foundations of software science and computation structures (amsterdam, 1999) (1)
fun with algorithms (1)
information & computation (1)
journal of mathematics & the arts (1)
journal of mathematics and the arts (1)
journal of parallel & distributed computing (1)
journal of parallel and distributed computing (1)
logic-based program synthesis & transformation: 25th international symposium, lopstr 2015, siena, italy, july 13-15, 2015. revised selected papers (1)
logic-based program synthesis and transformation (1)
models, languages, and tools for concurrent and distributed programming (1)
parallel computing technologies (1)
proceedings of the 2nd international workshop on static analysis and systems biology (sasb 2011) (1)
recent trends in algebraic development techniques (9783642376344) (1)
semantics, logics & calculi (1)
semantics, logics, and calculi (1)
static analysis (pisa, 1998) (1)
the journal of supercomputing: an international journal of high-performance computer design, analysis, and use (1)
theoretical aspects of computing - ictac 2014 (1)
web services & formal methods (9783642144578) (1)