( en | de | ru )

 

Disambiguierung von "Sagonas, Konstantinos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
XSB: A System for Effciently Computing WFS.

, , , , und . LPNMR, Volume 1265 von Lecture Notes in Computer Science, Seite 431-441. Springer, (1997)

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.

Konstantinos Valetopoulos

Konstantinos Spyridakis

Konstantinos Donas

Konstantinos Paraschakis

Konstantinos Rizas

 

Weitere Publikationen von Autoren mit dem selben Namen

CAT: The Copying Approach to Tabling, und . J. Funct. Log. Program., (1999)The development of the HiPE system: design and experience report., , , und . Int. J. Softw. Tools Technol. Transf., 4 (4): 421-436 (2003)ProFuN TG: A tool for programming and managing performance-aware sensor network applications., , , und . LCN Workshops, Seite 751-759. IEEE Computer Society, (2015)A Polyvariant Binding-Time Analysis for Off-line Partial Deduction, , und . CoRR, (2000)Detection of Asynchronous Message Passing Errors Using Static Analysis., und . PADL, Volume 6539 von Lecture Notes in Computer Science, Seite 5-18. Springer, (2011)Message Analysis for Concurrent Languages., , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 73-90. Springer, (2003)Efficiently compiling a functional language on AMD64: the HiPE experience., , und . PPDP, Seite 176-186. ACM, (2005)The Nifty way to call hell from heaven., und . Erlang Workshop, Seite 1-11. ACM, (2016)Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens., , und . FMCAD, Seite 284-293. IEEE, (2022)Static safety guarantees for a low-level multithreaded language with regions., , und . Sci. Comput. Program., (2014)