( 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 Schweizer

 

Weitere Publikationen von Autoren mit dem selben Namen

Vehicle Platooning Simulations with Functional Reactive Programming., , , und . CoRR, (2018)Learning CI Configuration Correctness for Early Build Feedback., , , , und . SANER, Seite 1006-1017. IEEE, (2022)Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers., und . SIGCSE, Seite 135-141. ACM, (2020)Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities., , , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 105-123. Springer, (2021)Live Programming By Example., , und . CHI Extended Abstracts, ACM, (2019)Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis., , und . CoRR, (2024)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)Designing a community to support long-term interest in programming for middle school children., , , , , , , und . IDC, Seite 304-307. ACM, (2012)Temporal Stream Logic: Synthesis beyond the Bools., , , und . CoRR, (2017)