formal techniques for networked & distributed systems - forte 2006 (33)
sdl 2007: design for dependable systems (17)
ieee transactions on information theory (7)
annales des telecommunications (3)
annals of telecommunications (3)
2017 ieee international symposium on information theory (isit), information theory (isit), 2017 ieee international symposium on (2)
innovations in systems & software engineering (2)
innovations in systems and software engineering: a nasa journal (2)
institute of electrical and electronics engineers. transactions on information theory (2)
journal of logic and algebraic programming (2)
13th ieee international conference on embedded and real-time computing systems and applications (rtcsa 2007), embedded and real-time computing systems and applications, 2007. rtcsa 2007. 13th ieee international conference on (1)
2016 ieee 20th international enterprise distributed object computing workshop (edocw), enterprise distributed object computing workshop (edocw), 2016 ieee 20th international (1)
2016 ieee international symposium on information theory (isit), information theory (isit), 2016 ieee international symposium on (1)
2018 ieee international symposium on information theory (isit), information theory (isit), 2018 ieee international symposium on (1)
2019 ieee international symposium on information theory (isit), information theory (isit), 2019 ieee international symposium on (1)
2022 21st ieee international conference on machine learning and applications (icmla), machine learning and applications (icmla), 2022 21st ieee international conference on, icmla (1)
acm sigmetrics performance evaluation review (1)
computer networks (1)
computers & electronics in agriculture (1)
computers and electronics in agriculture (1)
coordination models & languages (9783540682646) (1)
ieee infocom 2018 - ieee conference on computer communications workshops (infocom wkshps), computer communications workshops (infocom wkshps), 2018 ieee conference on (1)
journal of logic & algebraic programming (1)
models, languages, and tools for concurrent and distributed programming (1)
proceedings of the 13th international conference: information integration & web-based applications & services (1)
proceedings of the 5th international conference: principles, systems & applications of ip telecommunications (1)
reliable software technologies - ada-europe 2008 (1)
tapsoft '91, vol.\ 1 (brighton, 1991) (1)
the journal of logic and algebraic programming (1)
web services & formal methods (9783319082592) (1)