Konstantinos Mamouras
AuthID: R-00F-QTS
1
TITLE: Completeness and incompleteness in nominal Kleene algebra
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLISHED: 2017, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 91
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLISHED: 2017, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 91
INDEXED IN: 
DBLP
DBLP2
TITLE: Probabilistic NetKAT
AUTHORS: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, VOLUME: 9632
AUTHORS: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, VOLUME: 9632
3
TITLE: Nominal Kleene Coalgebra
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, VOLUME: 9135
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, VOLUME: 9135
4
TITLE: Completeness and Incompleteness in Nominal Kleene Algebra
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, VOLUME: 9348
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, VOLUME: 9348
