Autor der Publikation

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.

, , , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 350-365. Springer, (2011)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments., , und . ICITA (1), Seite 264-267. IEEE Computer Society, (2005)Connectivity keeping trees in 2-connected graphs., und . J. Graph Theory, 94 (1): 20-29 (2020)Development of a Multi-Agent Based Generic Traffic Simulator., , , , und . JSAI Workshops, Volume 4012 von Lecture Notes in Computer Science, Seite 249-260. Springer, (2005)Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications., , , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 350-365. Springer, (2011)