chemical input / biological interaction networks / information processing / affine systems / deductive verification algorithms / gene regulation networks / gene regulatory network / computer-aided chemical synthesis / wide-ranging applications / reaction networks / biological systems / verification tools / online tool / chemical and shared species / regulatory networks / natural systems / natural living systems / non-deterministic systems / chemical species / transition systems / online analysis tool / software verification / cellular signalling networks / potential applications / genetic networks / biological engineering applications / reaction network / biological networks / possible chemical reactions / natural biological systems / regulatory network / strand displacement devices / probabilistic hybrid systems / gene regulatory networks / infinite state systems / analysis tools / chemical kinetics / computing / probabilistic systems / large and complex systems / gene networks / biochemical networks / /
Organization
National Aeronautics and Space Administration / IEEE Computer Society / /
Person
Caitlin Cockerton / Moshe Y. Vardi / Jasmin Fisher / Joost-Pieter Katoen / de Moura / Gustavo Arellano / John Reif / Rolf Fagerberg / Areejit Samal / Tino Teige / David Yu Zhang / Harish Chandran / Fabien Corblin / Luca Cardelli / David A. Rosenblueth / Jean Krivine / Martin Fr / Byron Cook / Erik Winfree / David Benque / Walter Fontana / Nikhil Gopalkrishnan / Sam Bourton / Elena Dubrova / Mariana Ben´ıtez / Sumit Kumar Jha / Christoph Flamm / David Henriques / Eugenio Azpeitia / Edmund M. Clarke / Matthew Lakin / Vincent Danos / Georg Seelig / David Gilbert / Miguel Carrillo / Nir Piterman / Franois Fages / Philipp Peters / Denis Thieffry / Marta Kwiatkowska / Youssef Hamadi / Christopher James Langmead / Christoph M. Wintersteiger / Eric Fanchon / Lulu Qian / Daniel Merkle / Elena R. Alvarez-Buyllaa / Sanjay Jain / Nikolaj Bjørner / Holger Hermanns / Hillel Kugler / Sylvain Soliman / Boyan Yordanov / David Soloveichik / Laurent Trilling / Alex Taylor / Monika Heiner / Maxim Teslenko / Andrew Phillips / David Parker / Samin Ishtiaq / Claudine Chaouiya / Christian Dehnert / Paolo Zuliani / Robin Donaldson / /
Z34Bio: An SMT-based Framework for Analyzing Biological Computation Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi and Hillel Kugler Microsoft Research, Cambridge, UK, http://research.microsoft.com/z3-4biolog