Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Louchka Popova-Zeugmann
2010 – today
- 2013
[c2]Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz: A Holistic State Equation for Timed Petri Nets. CS&P 2013: 448-456- 2012
- [j11]Louchka Popova-Zeugmann, Elisabeth Pelz: Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. Fundam. Inform. 120(3-4): 341-357 (2012)
- [e1]Louchka Popova-Zeugmann (Ed.): Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. CEUR Workshop Proceedings 928, CEUR-WS.org 2012
- 2011
- [j10]Louchka Popova-Zeugmann: Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks. Natural Computing 10(3): 1017-1043 (2011)
- 2010
- [j9]Jörg Peter Bachmann, Louchka Popova-Zeugmann: Time-independent Liveness in Time Petri Nets. Fundam. Inform. 102(1): 1-17 (2010)
2000 – 2009
- 2009
- [j8]Jan-Thierry Wegener, Louchka Popova-Zeugmann: Petri Nets with Time Windows: A Comparison to Classical Petri Nets. Fundam. Inform. 93(1-3): 337-352 (2009)
- 2005
- [j7]Louchka Popova-Zeugmann, Monika Heiner, Ina Koch: Time Petri Nets for Modelling and Analysis of Biochemical Networks. Fundam. Inform. 67(1-3): 149-162 (2005)
- [j6]Louchka Popova-Zeugmann, Matthias Werner: Extreme Runtimes of Schedules Modelled by Time Petri Nets. Fundam. Inform. 67(1-3): 163-174 (2005)
- 2004
- [j5]Matthias Werner, Louchka Popova-Zeugmann, Jan Richling: A Method to Prove Non-Reachability in Priority Duration Petri Nets. Fundam. Inform. 61(3-4): 351-368 (2004)
- 2003
- [j4]Louchka Popova-Zeugmann, Matthias Werner, Jan Richling: Using State Equation to Prove Non-Reachability in Timed Petrinets. Fundam. Inform. 55(2): 187-202 (2003)
- 2002
- [j3]Jan Richling, Louchka Popova-Zeugmann, Matthias Werner: Verification of Non-functional Properties of a Composable Architecture with Petrinets. Fundam. Inform. 51(1-2): 185-200 (2002)
- [c1]Jan Richling, Matthias Werner, Louchka Popova-Zeugmann: Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. ICRA 2002: 4065-4070
1990 – 1999
- 1999
- [j2]Louchka Popova-Zeugmann, Dirk Schlatter: Analyzing Paths in Time Petri Nets. Fundam. Inform. 37(3): 311-327 (1999)
- 1991
- [j1]Louchka Popova-Zeugmann: On Time Petri Nets. Elektronische Informationsverarbeitung und Kybernetik 27(4): 227-244 (1991)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team