Distributed Systems / Computer Sciences / Sabre / Embedded Software / CONCUR / Biochemical Reaction Networks / Hybrid Systems / T Bell Laboratories / IEEE Computer Society Press / Timed Systems / IBM / Abc / ACM Press / Deterministic Real-Time Embedded Systems / IEEE Press / EURASIP Journal / Microsoft / /
Continent
Europe / /
Country
Switzerland / Israel / Germany / / /
Event
Man-Made Disaster / /
Facility
Technical University / Stanford University / Am Campus / Information Sciences University of Delaware Employment September / Weizmann Institute of Science / Computer Science Kepler University / University of Linz / University of California / Planck Institute / Computer Science Cornell University / Computer Sciences University of California / Cornell University / Institute of Science / Computer Science Stanford University / /
IndustryTerm
consensus algorithms / reaction networks / well-structured transition systems / biological systems / synthesis tool / Formal software / energy games / transition systems / software verification / chemical master equation / subexponential algorithms / numerical solution / verification tool / /
Organization
Tampere International Center for Signal Processing / Technical University Munich / Max-Planck Institute for Computer Science / German Academy of Sciences / Cornell University / Computer Science Kepler University / Austrian Academy of Sciences / National Science Foundation / Austrian Science Fund / University of California / Berkeley / Department of Information Technology and Electrical Engineering / Information Sciences University of Delaware Employment / Department of Applied Mathematics / University of Linz / University of the Saarland / Department of Computer Science / Stanford University / European Association for Computer Science Logic / Institute of Science / /
Person
Moshe Y. Vardi / Jasmin Fisher / Dejan Ni / Rabin / Herbert Edelsbrunner / Tatjana Petrov / Murray Hill / Eduardo R.B. Marques / Marco Faella / Slobodan Matic / Peter W. Kopke / Martin Chmel´ık / Rohit Singh / Sriram K. Rajamani / Martin De Wulf / Simon Kramer / Bhargav Gulavani / Laurent Doyen / Verena Wolf / Christoph M. Kirsch / Ali Sezgin / Damien Zufferey / Orna Kupferman / Andrey Rybalchenko / Daniel Iercan / Josef Widder / Hannes Payer / Arjun Radhakrishna / Edward A. Lee / Joseph Fourier / Maria Mateescu / Benoit Delahaye / Philipp Wendler / Leonid Ryzhyk / Barbara Jobstmann / Freddy Y.C. Mang / Florian Horn / Jan Otop / Ben Lickly / Thomas Brihaye / Thomas A. Henzinger / Axel Legay / Viktor Vafeiadis / Helmut Veith / Heinz Koeppl / Andreas Pavlogiannis / Philippe Rannou / Dietmar Berwanger / Pei-Hsin Ho / Johannes Borgstr / Hugo Gimbert / Alberto L. Sangiovanni-Vincentelli / M. Erkan Keremoglu / Thorsten Tarrach / Dirk Beyer / Luca de Alfaro / Andrei Voronkov / Uwe Nestmann / Ranjit Jhala / Academia Europaea / Gang Xu / Roderick Bloem / Michal Kapalka / Claudio Pinello / Thomas Wies / Benjamin Horowitz / Ana Sokolova / Laura Kov´acs / Calin C. Guet / Karin Greimel / / /
Position
President / Conditional model / Cited Researcher / Professor / Assistant Professor / Electrical Engineering / interactive proof editor / Investigator / Associate Professor / Electrical Engineering / Honorary Professor of Computer Science / Model / Director / Assistant Professor / Controller / /
Product
A-3400 Klosterneuburg / /
ProgrammingLanguage
C / /
ProvinceOrState
Washington / California / New Jersey / Saarland / /
PublishedMedium
the EURASIP Journal / Logical Methods in Computer Science / IEEE Transactions on Software Engineering / Theoretical Computer Science / the Theoretical Computer Science / Lecture Notes in Computer Science / the Journal of the ACM / /