( en | de | ru )

 

Disambiguierung von "Santolucito, Mark"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesizing functional reactive programs.

, , , und . Haskell@ICFP, Seite 162-175. ACM, (2019)

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.

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Mark Meisel

 

Weitere Publikationen von Autoren mit dem selben Namen

Designing a community to support long-term interest in programming for middle school children., , , , , , , und . IDC, Seite 304-307. ACM, (2012)Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report., und . ACM SIGSOFT Softw. Eng. Notes, 45 (2): 23-24 (2020)Synthesizing functional reactive programs., , , und . Haskell@ICFP, Seite 162-175. ACM, (2019)Programming by Example: Efficient, but Not "Helpful"., , , und . PLATEAU@SPLASH, Volume 67 von OASIcs, Seite 3:1-3:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Grammar Filtering for Syntax-Guided Synthesis., , , , und . AAAI, Seite 1611-1618. AAAI Press, (2020)Version space learning for verification on temporal differentials.. ISSTA, Seite 428-431. ACM, (2017)cardComposer: A Functional Programming Card Game., und . ITiCSE (2), Seite 635-636. ACM, (2021)Can reactive synthesis and syntax-guided synthesis be friends?, , , und . PLDI, Seite 229-243. ACM, (2022)The FMCAD 2021 Student Forum.. FMCAD, Seite 1. IEEE, (2021)Probabilistic Automated Language Learning for Configuration Files., , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 80-87. Springer, (2016)