( en | de | ru )

 

Disambiguierung von "Larsen, Ken Friis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An embedded DSL for stochastic processes: research article.

, , und . FHPC@ICFP, Seite 93-102. ACM, (2012)

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.

Erich Friis

Svend-Holger Friis

Ken Lau

Ken Endo

Erich Friis

 

Weitere Publikationen von Autoren mit dem selben Namen

Typing XHTML Web Applications in ML., und . PADL, Volume 3057 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2004)Compositional contract specification for REA, , , und . Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10, (2007)An embedded DSL for stochastic processes: research article., , und . FHPC@ICFP, Seite 93-102. ACM, (2012)Incremental execution of transformation specifications., , und . POPL, Seite 26-38. ACM, (2004)Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware., , , und . RC, Volume 14680 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2024)Encryption and Reversible Computations - Work-in-progress Paper., , und . RC, Volume 11106 von Lecture Notes in Computer Science, Seite 331-338. Springer, (2018)Classifying VAT Legislation for Automation, , , und . 3gERP workshop, Frederiksberg, Denmark, (2008)Position Paper: Towards A New High-Level Architecture For ERP Systems, , und . 3gERP workshop, Frederiksberg, Denmark, (2007)A MuDDy Experience-ML Bindings to a BDD Library.. DSL, Volume 5658 von Lecture Notes in Computer Science, Seite 45-57. Springer, (2009)Generic multiset programming for language-integrated querying., und . ICFP-WGP, Seite 49-60. ACM, (2010)