Programming Logic and Semantics

Research output

Research output per year 2007 2012 2013 2014 2015 2016 2017 2018 2024

• 74 Article in proceedings
• 39 Journal article
• 25 Conference article
• 11 Book chapter
• 24 More
  • 9 Ph.D. thesis
  • 7 Report
  • 4 Paper
  • 1 Book
  • 1 Conference abstract for conference
  • 1 Editorial
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2013

  Petri Nets in Bigraphs Revisited

  Wang, W., Perrone, G. D. & Hildebrandt, T., 2013.

  Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review