| Publication | Date of Publication | Type |
|---|
| Slimming down Petri boxes: compact Petri net models of control flows | 2024-08-13 | Paper |
| Coupling asynchrony and interrupts: Place Chart Nets | 2022-12-09 | Paper |
| Avoiding exponential explosion in Petri net models of control flows | 2022-08-19 | Paper |
Asynchrony and persistence in reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems
IEEE Transactions on Computers | 2020-10-02 | Paper |
Oliver Heaviside's electromagnetic theory
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-02-27 | Paper |
Deriving Petri nets from finite transition systems
IEEE Transactions on Computers | 2018-07-09 | Paper |
Fault-Tolerant Techniques to Minimize the Impact of Crosstalk on Phase Encoded Communication Channels
IEEE Transactions on Computers | 2017-11-10 | Paper |
Conditional Partial Order Graphs: Model, Synthesis, and Application
IEEE Transactions on Computers | 2017-07-27 | Paper |
Mixed Radix Reed-Muller Expansions
IEEE Transactions on Computers | 2017-07-12 | Paper |
Synthesis of Processor Instruction Sets from High-Level ISA Specifications
IEEE Transactions on Computers | 2017-06-20 | Paper |
Modeling and Tools for Power Supply Variations Analysis in Networks-on-Chip
IEEE Transactions on Computers | 2017-06-20 | Paper |
Persistent and nonviolent steps and the design of GALS systems
Fundamenta Informaticae | 2016-05-11 | Paper |
Step persistence in the design of GALS systems
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Flat arbiters
Fundamenta Informaticae | 2012-07-04 | Paper |
Synthesis of nets with step firing policies
Fundamenta Informaticae | 2009-11-30 | Paper |
| Analysis of static data flow structures | 2009-02-12 | Paper |
| Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings | 2009-01-28 | Paper |
Synthesis of Nets with Step Firing Policies
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
| Automating synthesis of asynchronous communication mechanisms | 2007-07-30 | Paper |
| scientific article; zbMATH DE number 5042671 (Why is no real title available?) | 2006-07-26 | Paper |
| Buffered asynchronous communication mechanisms | 2006-07-26 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Cryptographic Hardware and Embedded Systems - CHES 2004
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2112982 (Why is no real title available?) | 2004-11-01 | Paper |
| scientific article; zbMATH DE number 2088656 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1820087 (Why is no real title available?) | 2003-11-12 | Paper |
Analysing superscalar processor architectures with coloured Petri nets
International Journal on Software Tools for Technology Transfer. STTT | 2003-04-02 | Paper |
| scientific article; zbMATH DE number 1696445 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1304999 (Why is no real title available?) | 1999-06-17 | Paper |
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
Integration | 1997-02-27 | Paper |
