Author of the publication

Undecidability of accordance for open systems with unbounded message queues.

, , and . Inf. Process. Lett., 114 (12): 663-669 (2014)

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.

 

Other publications of authors with the same name

The Recursive Disk Metaphor - A Glyph-based Approach for Software Visualization., and . IVAPP, page 171-176. SciTePress, (2015)Trace- and failure-based semantics for responsiveness., , and . Acta Inf., 51 (8): 499-552 (2014)BPMN for Healthcare Processes., and . ZEUS, volume 705 of CEUR Workshop Proceedings, page 65-72. CEUR-WS.org, (2011)A Survey on Approaches for Timed Services., and . ZEUS, volume 847 of CEUR Workshop Proceedings, page 66-73. CEUR-WS.org, (2012)Towards an Open Source Stack to Create a Unified Data Source for Software Analysis and Visualization., , , , and . VISSOFT, page 107-111. IEEE, (2018)GETAVIZ: Generating Structural, Behavioral, and Evolutionary Views of Software Systems for Empirical Evaluation., , , , and . VISSOFT, page 114-118. IEEE, (2017)The Role of NWP Filter for the Satellite Based Detection of Cumulonimbus Clouds., , and . Remote Sensing, 10 (3): 386 (2018)The Role of the Effective Cloud Albedo for Climate Monitoring and Analysis., , , , and . Remote Sensing, 3 (11): 2305-2320 (2011)A New Database of Global and Direct Solar Radiation Using the Eastern Meteosat Satellite, Models and Validation., , and . Remote Sensing, 6 (9): 8165-8189 (2014)Calibration and Verification of Remote Sensing Instruments and Observations.. Remote Sensing, 6 (6): 5692-5695 (2014)