Author of the publication

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

An Integrated Approach for the Construction of Distributed Applications.. Open Distributed Processing, volume C-1 of IFIP Transactions, page 337-349. North-Holland, (1991)The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas., and . CSL, volume 152 of LIPIcs, page 29:1-29:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Multimedia streaming services: specification, implementation, and retrieval., and . Multimedia Information Retrieval, page 247-254. ACM, (2003)Engineering a pure Dirac regime in ZrTe$_5$, , , , , , , , , and 6 other author(s). SciPost Phys., 14 (066): 066 (Apr 11, 2023)Mobile Learning mit kontextbezogenen mobilen Diensten: Umsetzung in konkreten Szenarien und erste Erfahrungen., , and . DeLFI WOrkshops, volume 1443 of CEUR Workshop Proceedings, page 222-231. CEUR-WS.org, (2015)A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct., , , and . Log. Methods Comput. Sci., (2024)Ultra-thin chips and related applications, a new paradigm in silicon technology., , , , , and . ESSCIRC, page 28-35. IEEE, (2009)Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking., and . CoRR, (2024)Robust Alternating-Time Temporal Logic., , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 796-813. Springer, (2023)Implementing configuration management policies for distributed applications., and . Distributed Systems Engineering, 3 (2): 86-95 (1996)