theoretical computer science (9)
ieee transactions on computers (8)
fundamenta informaticae (4)
information sciences (4)
international journal of control (4)
acm transactions on embedded computing systems (3)
automatica (3)
international journal on software tools for technology transfer (3)
journal of supercomputing (3)
annals of telecommunications (2)
design automation for embedded systems (2)
discrete event dynamic systems: theory and applications (2)
formal aspects of computing (2)
ifac proceedings volumes (2)
institute of electrical and electronics engineers. transactions on computers (2)
international journal of critical computer-based systems (2)
journal of logic and computation (2)
journal of network and computer applications (2)
neural computing & applications (2)
procedia computer science (2)
proceedings of the asee annual conference & exposition (2)
real-time systems (2)
2008 ieee international behavioral modeling and simulation workshop, behavioral modeling and simulation workshop, 2008. bmas 2008. ieee international (1)
2008 third international conference on risks and security of internet and systems, risks and security of internet and systems, 2008. crisis '08. third international conference on (1)
2009 ninth international conference on application of concurrency to system design, application of concurrency to system design, 2009. acsd '09. ninth international conference on (1)
2010 10th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2010 10th international conference on (1)
2012 12th international conference on application of concurrency to system design (1)
2012 12th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2012 12th international conference on (1)
2014 ieee symposium on computers & communications (iscc) (1)
2014 ieee symposium on computers and communications (iscc), computers and communication (iscc), 2014 ieee symposium on (1)
2015 15th international conference on application of concurrency to system design (1)
2015 15th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2015 15th international conference on (1)
2015 ieee 7th international conference on cloud computing technology & science (cloudcom) (1)
2015 ieee 7th international conference on cloud computing technology and science (cloudcom), cloud computing technology and science (cloudcom), 2015 ieee 7th international conference on (1)
2017 ieee 4th international conference on cyber security and cloud computing (cscloud), cyber security and cloud computing (cscloud), 2017 ieee 4th international conference on, cscloud (1)
2018 18th international conference on application of concurrency to system design (acsd), application of concurrency to system design (acsd), 2018 18th international conference on, acsd (1)
2018 international symposium on programming and systems (isps), programming and systems (isps), 2018 international symposium on (1)
8th international conference on collaborative computing: networking, applications & worksharing (collaboratecom) (1)
8th international conference on collaborative computing: networking, applications and worksharing (collaboratecom), collaborative computing: networking, applications and worksharing (collaboratecom), 2012 8th international conference on (1)
annales des telecommunications (1)
application & theory of petri nets & concurrency (1)
application and theory of petri nets 1994 (zaragoza, 1994) (1)
application and theory of petri nets and concurrency (1)
automatica. a journal of ifac, the international federation of automatic control (1)
design automation for embedded systems: an international journal (1)
formal aspects of computing: applicable formal methods (1)
innovations in systems and software engineering: a nasa journal (1)
neural computing and applications (1)
real-time systems: the international journal of time-critical computing systems (1)
the journal of supercomputing: an international journal of high-performance computer design, analysis, and use (1)