( en | de | ru )

 

Disambiguierung von "van de Pol, Jaco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism.

, und . ECOOP, Volume 263 von LIPIcs, Seite 18:1-18:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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.

Silvia De Pol

Jaco Vangronsveld

Hartmut Jaco

Klaus Jaco

Johanna Pol

 

Weitere Publikationen von Autoren mit dem selben Namen

Concurrent Chaining Hash Maps for Software Model Checking., und . FMCAD, Seite 46-54. IEEE, (2019)Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin., und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 417-430. Springer, (2018)Distributed Branching Bisimulation Minimization by Inductive Signatures, und . PDMC, Volume 14 von EPTCS, Seite 32-46. (2009)Bug Hunting with False Negatives., , , und . IFM, Volume 4591 von Lecture Notes in Computer Science, Seite 98-117. Springer, (2007)Sylvan: multi-core framework for decision diagrams., und . Int. J. Softw. Tools Technol. Transf., 19 (6): 675-696 (2017)Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges., , und . Int. J. Softw. Tools Technol. Transf., 16 (5): 481-491 (2014)Simulation as a Correct Transformation of Rewrite Systems., und . MFCS, Volume 1295 von Lecture Notes in Computer Science, Seite 249-258. Springer, (1997)Sound black-box checking in the LearnLib., und . Innov. Syst. Softw. Eng., 15 (3-4): 267-287 (2019)Simulated Time for Testing Railway Interlockings with TTCN-3., , , , und . FATES, Volume 3997 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2005)A Bounded Retransmission Protocol for Large Data Packets., und . AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 536-550. Springer, (1996)