Sage Journals: Discover world-class research

Retricted access

Research article

First published 2003-5

Using State Equation to Prove Non-Reachability in Timed Petrinets

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Retricted access

Research article

First published 2004-7

A Method to Prove Non-Reachability in Priority Duration Petri Nets

Matthias Werner, Louchka Popova-Zeugmann, Jan Richling

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets

Kimmo Varpaaniemi, Leo Ojala

Fundamenta Informaticae

Retricted access

Research article

First published 2012-11

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays

Louchka Popova-Zeugmann, Elisabeth Pelz

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

Solvability of the Halting and Reachability Problem for Binary 2-tag Systems

Liesbeth De Mol

Fundamenta Informaticae

Retricted access

Research article

First published 2011-3

Applications of hybrid reachability analysis to robotic aerial vehicles

Jeremy H. Gillula, Gabriel M. Hoffmann, Haomiao Huang [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2019-7

Non-equatorial space elevator design approach

Z-K Wang, Y-H Fan, N-G Cui [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2009-5

Flat Parametric Counter Automata

Marius Bozga, Radu Iosif, Yassine Lakhnech

Fundamenta Informaticae

Retricted access

Research article

First published 2015-3

Computation of control related states of bottom k th-order system (with a non-sharing resource place) of Petri nets

Daniel Yuh Chao, Tsung Hsien Yu

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2006-2-1

Information flow security in dynamic contexts

Riccardo Focardi, Sabina Rossi

Journal of Computer Security

Search results