PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Virbitskaite, Irina B."

Author of the publication

copydeleteadd this publication to your clipboard
Preserving Behavior in Transition Systems from Event Structure Models.

, and . CS&P, volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Irina Kurkowski University of Stuttgart

Irina Mostovenko University of Stuttgart

B. Schlecht

Irina Kistner University of Stuttgart

Irina Löffler University of Stuttgart

 

Other publications of authors with the same name

Comparing Semantics Under Strong Timing of Petri Nets., and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 376-384. Springer, (2014)A Categorical View of Timed Weak Bisimulation., and . TAMC, volume 6108 of Lecture Notes in Computer Science, page 443-454. Springer, (2010)A Partial Order Method for the Verification of Time Petri Nets., and . FCT, volume 1684 of Lecture Notes in Computer Science, page 547-558. Springer, (1999)Timed Equivalences for Timed Event Structures., and . PaCT, volume 3606 of Lecture Notes in Computer Science, page 16-26. Springer, (2005)On the Category of Event Structures with Dense Time., and . FCT, volume 2138 of Lecture Notes in Computer Science, page 287-298. Springer, (2001)Analysis of Timed Concurrent Models Based on Testing Equivalence., , and . Fundam. Inform., 43 (1-4): 1-20 (2000)Observational Equivalences for Timed Stable Event Structures., and . Fundam. Inform., 72 (1-3): 1-19 (2006)Causality-Based Testing in Time Petri Nets., , and . Ershov Informatics Conference, volume 11964 of Lecture Notes in Computer Science, page 252-261. Springer, (2019)Open Maps and Trace Semantics for Timed Partial Order Models., and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 248-259. Springer, (2003)Preserving Behavior in Transition Systems from Event Structure Models., and . CS&P, volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)