Search filters

List of works by Oana Andrei

A Higher-Order Graph Calculus for Autonomic Computing

scientific article published in 2009

A Model and Analysis of the AKAP Scaffold

A Port Graph Calculus for Autonomic Computing and Invariant Verification

scientific article published in November 2009

A Rewriting Calculus for Multigraphs with Ports

scientific article published in November 2008

A rewriting logic framework for operational semantics of membrane systems

scientific article published in April 2007

Expressing Control Mechanisms of Membranes by Rewriting Strategies

scientific article published in 2006

Graph Rewriting and Strategies for Modeling Biochemical Networks

scientific article published in September 2007

On Students’ Experiences with Algorithm Tracing using Pair Programming

scientific article published on 13 September 2023

Operational Semantics and Rewriting Logic in Membrane Computing

scientific article published in May 2006

Patterns for Maude Metalanguage Applications

scientific article published in June 2009

Probabilistic Model Checking of DTMC Models of User Activity Patterns

Runtime Verification for Biochemical Programs

scientific article published in December 2013

Strategy-Based Proof Calculus for Membrane Systems

scientific article published in June 2009

Structural Operational Semantics of P Systems

scientific article published in 2006

The Development of Students' Professional Competencies on a Work-Based Software Engineering Program

scientific article published on 07 March 2024

Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein

article

Paulina is supported by:

About Paulina

Help