From post

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.

 

Другие публикации лиц с тем же именем

Safe locking for multi-threaded Java with exceptions., , , и . J. Log. Algebraic Methods Program., 81 (3): 257-283 (2012)A modular reasoning system using uninterpreted predicates for code reuse., , , и . J. Log. Algebraic Methods Program., (2018)Proving Correctness of Parallel Implementations of Transition System Specifications., , , и . CoRR, (2023)Behavior Trees and State Machines in Robotics Applications., , , , и . CoRR, (2022)Digital Twin Reconfiguration Using Asset Models., , , , , и . ISoLA (4), том 13704 из Lecture Notes in Computer Science, стр. 71-88. Springer, (2022)DPL: A Language for GDPR Enforcement., , и . CSF, стр. 112-129. IEEE, (2022)Godot: All the Benefits of Implicit and Explicit Futures (Artifact)., , , , и . Dagstuhl Artifacts Ser., 5 (2): 01:1-01:2 (2019)User-defined schedulers for real-time concurrent objects., , , , и . ISSE, 9 (1): 29-43 (2013)Object-Oriented Specification and Open Distributed Systems., и . Essays in Memory of Ole-Johan Dahl, том 2635 из Lecture Notes in Computer Science, стр. 137-164. Springer, (2004)Tracking Behavioral Constraints during Object-Oriented Software Evolution., , и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 253-268. Springer, (2012)