Andrei Dorman

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Operational Semantics

Evolutionary Algorithm

Human Interaction

Rewriting Rules

Top Venues

Sci. Ann. Comput. Sci.

Roma Tre University, Rome, Italy (PHD)

Education History

Roma Tre University, Rome, Italy

PHD

Publications

Andrei Dorman, Damiano Mazza
A Hierarchy of Expressiveness in Concurrent Interaction Nets. CONCUR (2013)
Andrei Dorman, Tobias Heindel, Barbara König
Structured Operational Semantics for Graph Rewriting. Sci. Ann. Comput. Sci. 22 (1) (2012)
Andrei Dorman, Tobias Heindel
Structured Operational Semantics for Graph Rewriting ICE (2011)