( en | de | ru )

 

Disambiguation of "Madalinski, Agnes"

Author of the publication

copydeleteadd this publication to your clipboard
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.

, , and . ACSD, page 57-68. IEEE Computer Society, (2006)

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.

Josef Agnesy

Jens Agneskirchner

Ernani Luiz Agnes

Agnes Fink

Agnes Voit

 

Other publications of authors with the same name

CONFRES: Interactive Coding Conflict Resolver Based on Core Visualisation.. ACSD, page 243-244. IEEE Computer Society, (2003)Diagnosis and Testing: How is Their Relation? Can They Be Combined?, and . ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 145-165. Springer, (2017)Distributed Bounded Predictability., and . SCCC, page 95-99. IEEE Computer Society, (2013)Distributed computation of vector clocks in Petri net unfoldings for test selection., , and . Discret. Event Dyn. Syst., 30 (3): 441-464 (2020)Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings., , and . ACSD, page 57-68. IEEE Computer Society, (2006)Modular construction of finite and complete prefixes of Petri net unfoldings., and . ACSD, page 68-77. IEEE, (2008)Distributed Diagnosability Analysis with Petri Nets., , and . CoRR, (2015)Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings., and . Fundam. Informaticae, 95 (1): 219-244 (2009)Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings., , and . Fundam. Informaticae, 86 (3): 299-323 (2008)Diagnosability verification with Petri net unfoldings., , and . KES Journal, 14 (2): 49-55 (2010)