( en | de | ru )

 

Disambiguierung von "Ingólfsdóttir, Anna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A monitoring tool for linear-time μHML.

, , , , , und . Sci. Comput. Program., (Januar 2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Anna Ingólfsdóttir

Heike Anna Brücker

Dirk Annacker

Thomas Annan

Carola Annas

 

Weitere Publikationen von Autoren mit dem selben Namen

The complexity of identifying characteristic formulae., , , und . J. Log. Algebraic Methods Program., (2020)The algorithmics of bisimilarity., , und . Advanced Topics in Bisimulation and Coinduction, Volume 52 von Cambridge tracts in theoretical computer science, Cambridge University Press, (2012)An axiomatization of verdict equivalence over regular monitors., , , und . CoRR, (2020)On the axiomatisability of priority III: Priority strikes again., , , , , und . Theor. Comput. Sci., (2020)When Are Prime Formulae Characteristic?, , , und . CoRR, (2024)Testing Equivalence vs. Runtime Monitoring., , , , und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 28-44. Springer, (2019)Bidirectional Runtime Enforcement of First-Order Branching-Time Properties., , , und . CoRR, (2022)On the Axiomatisability of Parallel Composition., , , , und . CoRR, (2021)On the Axiomatizability of Priority III: The Return of Sequential Composition., , , , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 145-157. CEUR-WS.org, (2019)Genetic Linkage Analysis Algorithms and Their Implementation., und . Trans. Comp. Sys. Biology, (2005)