Gene Regulatory Mechanisms Anna Jones Information Systems / Xi / CONCUR / United Kingdom Introduction Interval Markov / Computer Science / /
Country
United States / United Kingdom / /
Currency
LTL / /
Facility
Krzysztof Bar / University of Oxford Department / University of Oxford / University of Pennsylvania / /
IndustryTerm
automata and cross products / cross product / security protocol / energy grid / Potential applications / probabilistic systems / on-line tool / /
Organization
General Assembly / James Worrell Department of Computer Science / IMC / Organizing Committee / University of Oxford / Department of Computer Science Student Conference / North Atlantic Treaty Organization / University of Oxford Department of Computer Science Student Conference / Martin Lester Organization Organizing Committee / Department of Computer Science / University of Pennsylvania / Philadelphia / Thomas GibsonRobinson Selection Committee / /
Person
Moshe Y. Vardi / Rui Soares Barbosa / Thomas Gibson-Robinson iii / Adrian Duncan / Dolech Eindhoven / James Worrell / Rob Gerth / Pierre Wolper / Spoiler / Checking Robin Neatherway / Oliver Britton / T. Chen / V / Jim Whitehead II / Jamie Vicary / Julie Makelberge / Wendy Adams / Rastislav Lenhardt / Michael Goldsmith / Preciser / Jessica Pumphrey / Sara Dutta / Pierre Bourhis / Thomas Dunton / Luke Cartey / Edward Grefenstette / John Walmsley Modelling / Pedro Magalh˜aes / Julie Sheppard / Michael Benedikt / David Kay / Giorgio Orsi / Robin Neatherway / Ernesto Jimenez-Ruiz / Conrad Drescher / Alex Merry / Thomas GibsonRobinson / Nick Moffat / Martin Lester / M. Y. Vardi / Marta Kwiatkowska / Andrew Paverd / Duncan Hodges / John Marshall Law / Tamas Szekely / D. Peled / Thomas Gibson-Robinson / Ioannis Agrafiotis / Michael Ummels / Steven Ramsay / Daniel Harvey / Shamal Faily / Markus Kroetzsch / Katie Leonard / Sophie Kershaw / /
Position
player / Keynote Speaker / controller / Probabilistic Systems Mateusz Ujma Higher-Order Model / /
Student Conference 2012 Proceedings