Konstantinos Sagonas

发表

Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson, 2006, ACM Trans. Program. Lang. Syst..
Konstantinos Sagonas, Michalis Kokologiannakis, 2017, SPIN.
Huiqing Li, Simon J. Thompson, Kenneth MacKenzie, 2017, 1704.07234.
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2017, J. ACM.
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2017, Models, Algorithms, Logics and Tools.
Peter J. Stuckey, Konstantinos Sagonas, 2004, PPDP '04.
Konstantinos Sagonas, Thiemo Voigt, Andreas Löscher, 2015, 2015 12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON).
Konstantinos Sagonas, Zoltan Somogyi, Konstantinos Sagonas, 2006, PADL.
Konstantinos Sagonas, Tobias Lindahl, 2005, ERLANG '05.
Martin Jacobsson, Konstantinos Sagonas, Atis Elsts, 2015, LCN 2015.
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 2001, Theor. Comput. Sci..
Danny De Schreye, Konstantinos Sagonas, Sofie Verbaeten, 2001, TOCL.
Konstantinos Sagonas, Maria Christakis, Konstantinos Sagonas, 2010, PADL.
Konstantinos Sagonas, Manolis Papadakis, Konstantinos Sagonas, 2011, Erlang Workshop.
I. V. Ramakrishnan, Konstantinos Sagonas, David Scott Warren, 1999, J. Log. Program..
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2010, PLACES.
Martin Jacobsson, Konstantinos Sagonas, Atis Elsts, 2015, 2015 International Conference on Distributed Computing in Sensor Systems.
Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson, 2006, TOPL.
Bart Demoen, Konstantinos Sagonas, Konstantinos Sagonas, 2001, J. Funct. Log. Program..
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2011, TLDI '11.
Simon J. Thompson, Philip W. Trinder, Konstantinos Sagonas, 2012, Trends in Functional Programming.
Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky, 2020, USENIX Security Symposium.
Konstantinos Sagonas, Michalis Kokologiannakis, 2019, International Journal on Software Tools for Technology Transfer.
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 1994, SIGMOD '94.
Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas, 1998, ESOP.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2009, PLACES.
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2007, PADL.
Konstantinos Sagonas, David Klaftenegger, Kjell Winblad, 2014, Euro-Par.
Konstantinos Sagonas, Mihalis Pitidis, 2010, IFL.
Mikael Pettersson, Konstantinos Sagonas, Daniel Luna, 2005, PPDP '05.
Konstantinos Sagonas, David Scott Warren, D. Warren, 1994, ILPS.
Konstantinos Sagonas, Stavros Aronis, Konstantinos Sagonas, 2017, Erlang Workshop.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2010, TLDI '10.
Konstantinos Sagonas, Jesper Wilhelmsson, Konstantinos Sagonas, 2006, Sci. Comput. Program..
Konstantinos Sagonas, Konstantinos Sagonas, 2014 .
Konstantinos Sagonas, Tobias Lindahl, 2006, PPDP '06.
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2015, Acta Informatica.
Konstantinos Sagonas, Jesper Wilhelmsson, Erik Johansson, 2002, ISMM '02.
Konstantinos Sagonas, Kjell Winblad, Konstantinos Sagonas, 2017, J. Parallel Distributed Comput..
C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, 1996 .
Bart Demoen, Konstantinos Sagonas, Michael Codish, 1997, ICLP.
Konstantinos Sagonas, Zoltan Somogyi, 2005 .
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 1996, CADE.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Konstantinos Sagonas, 2012, Erlang '12.
Ioannis E. Venetis, Konstantinos Sagonas, Stavros Aronis, 2012, Erlang '12.
Steven Skiena, C. R. Ramakrishnan, I. V. Ramakrishnan, 1995, POPL '95.
Konstantinos Sagonas, Andreas Löscher, Konstantinos Sagonas, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
Konstantinos Sagonas, David Klaftenegger, Kjell Winblad, 2014, SPAA.
Konstantinos Sagonas, Jesper Wilhelmsson, Konstantinos Sagonas, 2004, ISMM '04.
Konstantinos Sagonas, Salvador Tamarit, Josep Silva, 2013, PEPM '13.
Mats Carlsson, Konstantinos Sagonas, Henrik Nässén, 2001, PPDP '01.
Michael Leuschel, Konstantinos Sagonas, Konstantinos Sagonas, 1998, CSUR.
Konstantinos Sagonas, Per Gustafsson, 2004, ESOP.
Konstantinos Sagonas, Maria Christakis, Konstantinos Sagonas, 2011, PADL.
Konstantinos Sagonas, Kenichi Asai, 2017, Sci. Comput. Program..
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2006, J. Funct. Program..
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2014, POPL.
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 2000, J. Log. Program..
Konstantinos Sagonas, David Klaftenegger, Kjell Winblad, 2014, IEEE Transactions on Parallel and Distributed Systems.
Juliana Freire, Konstantinos Sagonas, David Scott Warren, 1997, LPNMR.
Konstantinos Sagonas, David Klaftenegger, Kjell Winblad, 2013, Erlang '13.
Konstantinos Sagonas, Henning Makholm, 2002, ICLP.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Aggelos Giantsios, 2017, Sci. Comput. Program..
Konstantinos Sagonas, Erik Stenman, 2002, ERLANG '02.
Bengt Jonsson, Konstantinos Sagonas, Kjell Winblad, 2018, SPAA.
Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson, 2003, SAS.
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2019, Proc. ACM Program. Lang..
Konstantinos Sagonas, Thanassis Avgerinos, Thanassis Avgerinos, 2009, Erlang Workshop.
Konstantinos Sagonas, Stavros Aronis, 2012, Trends in Functional Programming.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2011, PLOS '11.
Bengt Jonsson, Konstantinos Sagonas, Stavros Aronis, 2018, TACAS.
Bart Demoen, Konstantinos Sagonas, 1998, ISMM '98.
Alkis Gotovos, Konstantinos Sagonas, Maria Christakis, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Konstantinos Sagonas, Jesper Wilhelmsson, Erik Johansson, 2002, MSP/ISMM.
Martin Jacobsson, Konstantinos Sagonas, Atis Elsts, 2015, 2015 IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops).
Bart Demoen, Konstantinos Sagonas, Konstantinos Sagonas, 1999, LPAR.
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 1996, JICSLP.
Konstantinos Sagonas, Magnus Lång, Konstantinos Sagonas, 2020, ATVA.
Konstantinos Sagonas, David Scott Warren, 1995, ICLP.
Danny De Schreye, Konstantinos Sagonas, Sofie Verbaeten, 1999, PPDP.
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2015, TACAS.
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 1994, SIGMOD '94.
Konstantinos Sagonas, Ricardo Lopes, Vítor Santos Costa, 2007, ICLP.
Konstantinos Sagonas, Scott Lystig Fritchie, Stavros Aronis, 2017, IFM.
Konstantinos Sagonas, David Scott Warren, Theresa Swift, 1996, Logic in Databases.
Mikael Pettersson, Richard Carlsson, Konstantinos Sagonas, 2003, ERLANG '03.
Konstantinos Sagonas, Andreas Löscher, Konstantinos Sagonas, 2017, ISSTA.
Konstantinos Sagonas, Per Gustafsson, 2002, ERLANG '02.
Danny De Schreye, Michael Leuschel, Bern Martens, 1997, LOPSTR.
Mikael Pettersson, Konstantinos Sagonas, Erik Johansson, 2000, PPDP '00.
Ori Lahav, Viktor Vafeiadis, Konstantinos Sagonas, 2017, Proc. ACM Program. Lang..
Konstantinos Sagonas, Konstantinos Kallas, 2018, IFL.
Mikael Pettersson, Konstantinos Sagonas, Erik Johansson, 2002, FLOPS.
Bart Demoen, Konstantinos Sagonas, Michael Codish, 1998, International Journal on Software Tools for Technology Transfer.
Konstantinos Sagonas, Kjell Winblad, 2016, LCPC.
Konstantinos Sagonas, Stavros Aronis, 2011, Erlang '11.
Konstantinos Sagonas, Jesper Wilhelmsson, Konstantinos Sagonas, 2006, ISMM '06.
Bart Demoen, Konstantinos Sagonas, 1999, J. Funct. Log. Program..
Alkis Gotovos, Konstantinos Sagonas, Maria Christakis, 2011, Erlang '11.
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2008 .
Leonidas Lampropoulos, Konstantinos Sagonas, Konstantinos Sagonas, 2012, WWV.
Bart Demoen, Konstantinos Sagonas, Konstantinos Sagonas, 1999, Future Gener. Comput. Syst..
Michael Leuschel, Bern Martens, Konstantinos Sagonas, 1997, LOPSTR.
Konstantinos Sagonas, Per Gustafsson, Konstantinos Sagonas, 2005, ERLANG '05.
Konstantinos Sagonas, Tobias Lindahl, Miguel Jimenez, 2007, ERLANG '07.
Bart Demoen, Konstantinos Sagonas, Ruben Vandeginste, 2002, PADL.
Konstantinos Sagonas, Kjell Winblad, Konstantinos Sagonas, 2015, 2015 14th International Symposium on Parallel and Distributed Computing.
Bart Demoen, Konstantinos Sagonas, 2000, Future Gener. Comput. Syst..
Konstantinos Sagonas, Thanassis Avgerinos, 2009, PPDP '09.
Konstantinos Sagonas, Theresa Swift, Konstantinos Sagonas, 1998, TOPL.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Prodromos Gerakios, 2014, Sci. Comput. Program..
I. V. Ramakrishnan, Konstantinos Sagonas, David Scott Warren, 1995, ICLP.
Konstantinos Sagonas, Erik Stenman, Erik Stenman, 2003, Softw. Pract. Exp..
Konstantinos Sagonas, Yiannis Tsiouris, Chris Stavrakakis, 2012, Erlang '12.
Bengt Jonsson, Konstantinos Sagonas, 2003, International Journal on Software Tools for Technology Transfer.
Konstantinos Sagonas, Nikolaos S. Papaspyrou, Aggelos Giantsios, 2015, PPDP.
Konstantinos Sagonas, Erik Johansson, 2002, PADL.
Bart Demoen, Konstantinos Sagonas, 2000, PADL.
Konstantinos Sagonas, Daniel Luna, 2008, ERLANG '08.
Konstantinos Sagonas, Andreas Löscher, 2016, Erlang Workshop.
Mikael Pettersson, Konstantinos Sagonas, Erik Johansson, 2003, International Journal on Software Tools for Technology Transfer.
Mikael Pettersson, Konstantinos Sagonas, Daniel Luna, 2004, ERLANG '04.
Bengt Jonsson, Konstantinos Sagonas, Kjell Winblad, 2021, ACM Trans. Parallel Comput..
Stefanos Kaxiras, Alberto Ros, Per Ekemark, 2021, 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA).
Bart Demoen, Konstantinos Sagonas, 1998 .
Konstantinos Sagonas, David S. Warren, Terrance Swift, 1994 .
Konstantinos Sagonas, Maria Christakis, Konstantinos Sagonas, 2011 .
I. V. Ramakrishnan, Konstantinos Sagonas, David S. Warren, 1995 .