( en | de | ru )

 

Disambiguierung von "Fiedor, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.

, , , , , , , , , und . HCVS@ETAPS, Volume 344 von EPTCS, Seite 79-90. (2021)

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.

Wladyslaw Fiedor

Christiane Fiedor

Annette Stephanie Fiedor

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level., und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 35-41. Springer, (2012)Dynamic Validation of Contracts in Concurrent Code., , , und . EUROCAST, Volume 9520 von Lecture Notes in Computer Science, Seite 555-564. Springer, (2015)Discovering Concurrency Errors., , , und . Lectures on Runtime Verification, Volume 10457 von Lecture Notes in Computer Science, Springer, (2018)Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming., , , , , , , , , und . HCVS@ETAPS, Volume 344 von EPTCS, Seite 79-90. (2021)On Monitoring C/C++ Transactional Memory Programs., , , und . MEMICS, Volume 8934 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2014)Unite: an adapter for transforming analysis tools to web services via OSLC., , , , , und . ESEC/SIGSOFT FSE, Seite 1408-1418. ACM, (2022)Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level., und . PADTAD, Seite 36-46. ACM, (2012)A Novel Approach to Modechart Verification of Real-Time Systems., , und . EUROCAST (1), Volume 6927 von Lecture Notes in Computer Science, Seite 559-567. Springer, (2011)A Uniform Classification of Common Concurrency Errors., , , und . EUROCAST (1), Volume 6927 von Lecture Notes in Computer Science, Seite 519-526. Springer, (2011)Integrating OSLC Services into Eclipse., , , , und . EUROCAST, Volume 13789 von Lecture Notes in Computer Science, Seite 240-249. Springer, (2022)