Konstantinos Sagonas

发表

D. Warren, S. Rao, Konstantinos Sagonas, 1997 .
Konstantinos Sagonas, Prodromos Gerakios, N. Papaspyrou, 2008 .
Konstantinos Sagonas, Kjell Winblad, 2014, Erlang Workshop.
Konstantinos Sagonas, David S. Warren, Terrance Swift, 1994 .
Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson, 2006, ACM Trans. Program. Lang. Syst..
Konstantinos Sagonas, Maria Christakis, Konstantinos Sagonas, 2011 .
Konstantinos Sagonas, David Scott Warren, D. Warren, 1994, ILPS.
I. V. Ramakrishnan, Konstantinos Sagonas, David Scott Warren, 1995, ICLP.
Konstantinos Sagonas, Konstantinos Sagonas, 2014 .
Konstantinos Sagonas, Maria Christakis, Konstantinos Sagonas, 2010, PADL.
David Scott Warren, Theresa Swift, Konstantinos F. Sagonas, 1993, Workshop on Programming with Logic Databases , ILPS.
C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, 1996 .
Konstantinos Sagonas, Konstantinos Kallas, 2018, Proceedings of the 30th Symposium on Implementation and Application of Functional Languages.
Konstantinos Sagonas, Kjell Winblad, 2015 .
I. V. Ramakrishnan, Konstantinos Sagonas, David Scott Warren, 1999, J. Log. Program..
I. V. Ramakrishnan, Konstantinos Sagonas, David S. Warren, 1995 .
Konstantinos Sagonas, Kjell Winblad, Konstantinos Sagonas, 2017, J. Parallel Distributed Comput..
Konstantinos Sagonas, Kjell Winblad, Konstantinos Sagonas, 2015, 2015 14th International Symposium on Parallel and Distributed Computing.
Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky, 2020, USENIX Security Symposium.
Konstantinos Sagonas, Erik Stenman, Erik Stenman, 2003, Softw. Pract. Exp..
Konstantinos Sagonas, Bart Demoen, Ruben Vandeginste, 2002, PADL.
Konstantinos Sagonas, Thanassis Avgerinos, Thanassis Avgerinos, 2009, Erlang Workshop.
Bart Demoen, Konstantinos Sagonas, Konstantinos Sagonas, 2000 .
Bart Demoen, Konstantinos Sagonas, Konstantinos Sagonas, 1999, LPAR.
Juliana Freire, Konstantinos Sagonas, David Scott Warren, 1997, LPNMR.
Konstantinos Sagonas, Zoltan Somogyi, Konstantinos Sagonas, 2006, PADL.
Danny De Schreye, Konstantinos Sagonas, Sofie Verbaeten, 1999, PPDP.
Stefanos Kaxiras, Alberto Ros, Per Ekemark, 2021, 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA).
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2015, Acta Informatica.
Bart Demoen, Konstantinos Sagonas, Konstantinos Sagonas, 2001, J. Funct. Log. Program..
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2007, PADL.
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2005, ERLANG '05.
Mikael Pettersson, Konstantinos Sagonas, Erik Johansson, 2000, PPDP '00.
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2008 .
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2006, J. Funct. Program..
Sven-Olof Nyström, Mikael Pettersson, Erik Johansson, 1999 .
Michael Leuschel, Konstantinos Sagonas, Konstantinos Sagonas, 1998, CSUR.
Konstantinos Sagonas, David Klaftenegger, Kjell Winblad, 2014, IEEE Transactions on Parallel and Distributed Systems.
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2019, Proc. ACM Program. Lang..
Ori Lahav, Viktor Vafeiadis, Konstantinos Sagonas, 2017, Proc. ACM Program. Lang..
B. Jonsson, Konstantinos Sagonas, P. Abdulla, 2016, Acta Informatica.
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2014, POPL.
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2017, J. ACM.
Konstantinos Sagonas, Tobias Lindahl, Miguel Jimenez, 2007, ERLANG '07.
Konstantinos Sagonas, Maria Christakis, Konstantinos Sagonas, 2011, PADL.
B. Jonsson, Konstantinos Sagonas, P. Fiterau-Brostean, 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST).
Konstantinos Sagonas, Jesper Wilhelmsson, Konstantinos Sagonas, 2006, ISMM '06.
Bernd Fischer, Konstantinos Sagonas, Moeketsi Raselimo, 2020, SLE.
Bengt Jonsson, Konstantinos Sagonas, Stavros Aronis, 2018, TACAS.
Konstantinos Sagonas, Jesper Wilhelmsson, Konstantinos Sagonas, 2006, Sci. Comput. Program..
Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson, 2006, TOPL.
Konstantinos Sagonas, Jesper Wilhelmsson, Konstantinos Sagonas, 2004, ISMM '04.
Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson, 2003, SAS.
Konstantinos Sagonas, Jesper Wilhelmsson, Erik Johansson, 2002, ISMM '02.
Konstantinos Sagonas, Andreas Löscher, Konstantinos Sagonas, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
Konstantinos Sagonas, Andreas Löscher, Konstantinos Sagonas, 2017, ISSTA.
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2017, Models, Algorithms, Logics and Tools.
Konstantinos Sagonas, Stavros Aronis, Konstantinos Sagonas, 2017, Erlang Workshop.
Alkis Gotovos, Konstantinos Sagonas, Maria Christakis, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Huiqing Li, Simon J. Thompson, Kenneth MacKenzie, 2017, 1704.07234.
K. Mackenzie, S. Thompson, Stephen Adams, 2017, ACM Trans. Program. Lang. Syst..
Bart Demoen, Konstantinos Sagonas, Konstantinos Sagonas, 1999, Future Gener. Comput. Syst..
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 1994, SIGMOD '94.
Konstantinos Sagonas, Manolis Papadakis, Konstantinos Sagonas, 2011, Erlang Workshop.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Konstantinos Sagonas, 2012, Erlang '12.
Leonidas Lampropoulos, Konstantinos Sagonas, Konstantinos Sagonas, 2012, WWV.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2014, Sci. Comput. Program..
Konstantinos Sagonas, Ricardo Lopes, Vítor Santos Costa, 2007, ICLP.
Konstantinos Sagonas, Theresa Swift, Konstantinos Sagonas, 1998, TOPL.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2011, TLDI '11.
Simon J. Thompson, Philip W. Trinder, Konstantinos Sagonas, 2012, Trends in Functional Programming.
Konstantinos Sagonas, Magnus Lång, Konstantinos Sagonas, 2020, ATVA.
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 2000, J. Log. Program..
D. Warren, Konstantinos Sagonas, J. Freire, 1997, LPNMR.
Michael Kifer, Juliana Freire, David Scott Warren, 2003 .