Konstantinos Mamouras
AuthID: R-00F-QTS
1
TÃTULO: Completeness and incompleteness in nominal Kleene algebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 91
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 91
INDEXADO EM: DBLP
2
TÃTULO: Probabilistic NetKAT
AUTORES: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLICAÇÃO: 2016, FONTE: 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
AUTORES: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLICAÇÃO: 2016, FONTE: 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
TÃTULO: Nominal Kleene Coalgebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, VOLUME: 9135
AUTORES: Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, VOLUME: 9135
4
TÃTULO: Completeness and Incompleteness in Nominal Kleene Algebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, VOLUME: 9348
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, VOLUME: 9348