( en | de | ru )

 

Disambiguierung von "Charalambides, Minas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parameterized Concurrent Multi-Party Session Types

, , und . FOCLASA, Volume 91 von EPTCS, Seite 16-30. (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.

Minas Pappas

Mark Minas

Minas Logothetis

Sabine Minas

Mark Minas

 

Weitere Publikationen von Autoren mit dem selben Namen

Parameterized Concurrent Multi-Party Session Types, , und . FOCLASA, Volume 91 von EPTCS, Seite 16-30. (2012)Types for Progress in Actor Programs., , und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 315-339. Springer, (2019)Automated inference of atomic sets for safe concurrent execution., , und . PASTE, Seite 1-8. ACM, (2013)Efficient physical operators for cost-based XPath execution., , und . EDBT, Volume 426 von ACM International Conference Proceeding Series, Seite 171-182. ACM, (2010)Parameterized, concurrent session types for asynchronous multi-actor interactions., , und . Sci. Comput. Program., (2016)A query optimization assistant for XPath., , und . EDBT, Seite 550-553. ACM, (2011)Actor programming with static guarantees. University of Illinois Urbana-Champaign, USA, (2018)Cost based plan selection for xpath., , und . SIGMOD Conference, Seite 603-614. ACM, (2009)