• Published

  From Explicit to Symbolic Types for Communication Protocols in CCS

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

• Published

  Flow Logic for Process Calculi

  Publication: Research - peer-review › Journal article – Annual report year: 2012

• Published

  Pathway analysis of IMC

  Publication: Research › Conference abstract in proceedings – Annual report year: 2009

View all »

• A C M Computing Surveys

  ISSNs: 0360-0300

  Association for Computing Machinery, Inc., United States

  FI (2012): 2, ISI indexed (2012): yes

  Central database

  Journal

• Nordic Journal of Computing

  ISSNs: 1236-6064

  University of Helsinki Department of Computer Science, Finland

  FI (2012): 1, ISI indexed (2012): no

  Central database

  Journal

• Lecture Notes in Computer Science

  ISSNs: 0302-9743, 0302-9743

  Springer, Germany

  FI (2012): 1, ISI indexed (2012): no

  Central database

  Journal: Book series

View all »

• Completed

  Specification and Programming Lanquages for Biological Systems

  Project: PhD

• Springer, 0-387

  Central database

  Publisher

• Elsevier

  Local database

  Publisher

• Springer-Verlag

  Local database

  Publisher

View all »