Oana M. ANDREI

Probabilistic Formal Analysis of App Usage to Inform Redesign.
Invited talk in the School of Computer Science seminar, University of St Andrews, 9 February 2016.
Invited talk in the Computer Science departmental seminar, University of Stirling, 5 February 2016.
[.pdf]

Role-based Interface Automata.
Invited talk in the VT group seminar, Department of Computer Science, University of Sheffield, UK, May 18, 2012.

Role-based Interface Automata.
Paper presented at the 4th International Workshop on Foundations of Interface Technologies (FIT 2012). Tallinn, Estonia, March 25, 2012.

Verifying Autonomic Systems with Port Graph Calculus.
Paper presented at the Hybrid Autonomous Systems Workshop (HAS 2011). Saarbrucken, Germany, April 2, 2011.

A Model and Analysis of the AKAP Scaffold.
Paper presented at CS2Bio'10. Amsterdam, Netherlands, June 10, 2010.

From qualitative to quantitative formal methods for biochemical signalling pathways.
Talk for the LIFL seminar, invited by the BioComputing team, Lille, France, February 25, 2010.
[.pdf]

From qualitative to quantitative formal methods for biochemical signalling pathways.
Talk for the LINA seminar, invited by the COMBI team, Nantes, France, March 1, 2010.
[.pdf]

Modelling Scaffold-mediated Crosstalk between the cAMP and the Raf-1/MEK/ERK Pathways.
Paper presented at the Modelling and Analysis of Cell Behaviour Symposium (MOAN-CB). Warwick, UK, September 2009.
[.pdf]

Modelling Scaffold-mediated Crosstalk between the cAMP and the Raf-1/MEK/ERK Pathways.
Paper presented at the 8th Workshop on Process Algebra and Stochastically Timed Activities, Bio-PASTA session. Edinburgh, UK, August 2009.
[.pdf]

Scaffold-mediated crosstalk between cyclic AMP and Raf-1/MEK/ERK pathway.
Talk given at the seminar of the FATA research group, Department of Computing Science, University of Glasgow, UK. May 26, 2009.
[.pdf]

A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems.
Talk given at the SIGNAL project meeting, in the Department of Computing Science, University of Glasgow, UK. December 15, 2008.

A Biochemical Calculus Based on Strategic Graph Rewriting.
Paper presented at the 3rd International Conference on Algebraic Biology (AB'08), Hagenberg, Austria, July 31 -- August 2, 2008.
[.pdf]

Strategy-Based Proof Calculus for Membrane Systems.
Presented at the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08), Budapest, Hungary, March 29 - 30, 2008.

Graph Rewriting and Strategies for Modeling Biochemical Networks.
Presented at the International Workshop on Natural Computing and Applications (NCA'07), Timisoara, Romania, September 26 - 29, 2007.

A Rewriting Calculus for Multigraphs with Ports.
Presented at the 8th International Workshop on Rule-Based Programming (RULE'07), Paris, France, June 29, 2007.

Rule-Based Modeling and Reasoning for Biochemical Applications.
Talk in the Student Session in the Summer School for Young Researchers in Programming, Toulouse, France, June 2006.

Operational Semantics and Rewriting Logic in Membrane Computing.
Presented in the Workshop on Structural Operational Semantics (SOS'05), Lisbon, Portugal, July 10, 2005.

Last modified: Fri 10 Aug 2012 15:00:02 BST