BibTeX records: Alexandra Silva 0001

download as .bib file

@article{DBLP:journals/fuin/JeanninKS17a,
  author    = {Jean{-}Baptiste Jeannin and
               Dexter Kozen and
               Alexandra Silva},
  title     = {CoCaml: Functional Programming with Regular Coinductive Types},
  journal   = {Fundam. Inform.},
  volume    = {150},
  number    = {3-4},
  pages     = {347--377},
  year      = {2017},
  url       = {https://doi.org/10.3233/FI-2017-1473},
  doi       = {10.3233/FI-2017-1473},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/JeanninKS17a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/SmolkaKFK017,
  author    = {Steffen Smolka and
               Praveen Kumar and
               Nate Foster and
               Dexter Kozen and
               Alexandra Silva},
  title     = {Cantor meets scott: semantic foundations for probabilistic networks},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {557--571},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009843},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/SmolkaKFK017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/MoermanS0KS17,
  author    = {Joshua Moerman and
               Matteo Sammartino and
               Alexandra Silva and
               Bartek Klin and
               Michal Szynwelski},
  title     = {Learning nominal automata},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {613--625},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009879},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/MoermanS0KS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/2017,
  editor    = {Ahmed Bouajjani and
               Alexandra Silva},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10321},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7},
  doi       = {10.1007/978-3-319-60225-7},
  isbn      = {978-3-319-60224-0},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/HeerdtS017,
  author    = {Gerco van Heerdt and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {{CALF:} Categorical Automata Learning Framework},
  journal   = {CoRR},
  volume    = {abs/1704.05676},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.05676},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/HeerdtS017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KappeBL0Z17,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Bas Luttik and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
  journal   = {CoRR},
  volume    = {abs/1704.07199},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.07199},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/KappeBL0Z17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/HeerdtS017a,
  author    = {Gerco van Heerdt and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {Learning Automata with Side-Effects},
  journal   = {CoRR},
  volume    = {abs/1704.08055},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.08055},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/HeerdtS017a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/EndrullisHHP017,
  author    = {J{\"{o}}rg Endrullis and
               Helle Hvid Hansen and
               Dimitri Hendriks and
               Andrew Polonsky and
               Alexandra Silva},
  title     = {Coinductive Foundations of Infinitary Rewriting and Infinitary Equational
               Logic},
  journal   = {CoRR},
  volume    = {abs/1706.00677},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.00677},
  timestamp = {Mon, 03 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/EndrullisHHP017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Beohar0K017,
  author    = {Harsh Beohar and
               Barbara K{\"{o}}nig and
               Sebastian K{\"{u}}pper and
               Alexandra Silva},
  title     = {Conditional Transition Systems with Upgrades},
  journal   = {CoRR},
  volume    = {abs/1706.02526},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.02526},
  timestamp = {Mon, 03 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Beohar0K017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/BarbosaCS16,
  author    = {Lu{\'{\i}}s Soares Barbosa and
               Alcino Cunha and
               Alexandra Silva},
  title     = {Quien sabe por Algebra, sabe scientificamente: {A} tribute to Jos{\'{e}}
               Nuno Oliveira},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {85},
  number    = {5},
  pages     = {805},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jlamp.2016.07.002},
  doi       = {10.1016/j.jlamp.2016.07.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jlp/BarbosaCS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/BonchiBCR016,
  author    = {Filippo Bonchi and
               Marcello M. Bonsangue and
               Georgiana Caltais and
               Jan Rutten and
               Alexandra Silva},
  title     = {A coalgebraic view on decorated traces},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {7},
  pages     = {1234--1268},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000449},
  doi       = {10.1017/S0960129514000449},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mscs/BonchiBCR016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siglog/000116,
  author    = {Alexandra Silva},
  title     = {Report on the {POPL} mentoring workshop {(PLMW} 2016)},
  journal   = {{SIGLOG} News},
  volume    = {3},
  number    = {2},
  pages     = {82--83},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2948896.2948909},
  doi       = {10.1145/2948896.2948909},
  timestamp = {Mon, 18 Jul 2016 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/siglog/000116},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KrebbersPS16,
  author    = {Robbert Krebbers and
               Louis Parlant and
               Alexandra Silva},
  title     = {Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  pages     = {309--324},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016deboer},
  url       = {https://doi.org/10.1007/978-3-319-30734-3_21},
  doi       = {10.1007/978-3-319-30734-3_21},
  timestamp = {Thu, 01 Jun 2017 18:57:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/KrebbersPS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/Silva16,
  author    = {Alexandra Silva},
  title     = {Coalgebraic Learning},
  booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
               August 29 - September 1, 2016, Marseille, France},
  pages     = {5:1--5:1},
  year      = {2016},
  crossref  = {DBLP:conf/csl/2016},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2016.5},
  doi       = {10.4230/LIPIcs.CSL.2016.5},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csl/Silva16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/FosterKMR016,
  author    = {Nate Foster and
               Dexter Kozen and
               Konstantinos Mamouras and
               Mark Reitblatt and
               Alexandra Silva},
  title     = {Probabilistic NetKAT},
  booktitle = {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},
  pages     = {282--309},
  year      = {2016},
  crossref  = {DBLP:conf/esop/2016},
  url       = {https://doi.org/10.1007/978-3-662-49498-1_12},
  doi       = {10.1007/978-3-662-49498-1_12},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esop/FosterKMR016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/SmolkaKFK016,
  author    = {Steffen Smolka and
               Praveen Kumar and
               Nate Foster and
               Dexter Kozen and
               Alexandra Silva},
  title     = {Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic
               Network Programming},
  journal   = {CoRR},
  volume    = {abs/1607.05830},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.05830},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/SmolkaKFK016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/MoermanS0KS16,
  author    = {Joshua Moerman and
               Matteo Sammartino and
               Alexandra Silva and
               Bartek Klin and
               Michal Szynwelski},
  title     = {Learning Nominal Automata},
  journal   = {CoRR},
  volume    = {abs/1607.06268},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.06268},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MoermanS0KS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Beohar0KS16,
  author    = {Harsh Beohar and
               Barbara K{\"{o}}nig and
               Sebastian K{\"{u}}pper and
               Alexandra Silva},
  title     = {A coalgebraic treatment of conditional transition systems with upgrades},
  journal   = {CoRR},
  volume    = {abs/1612.05002},
  year      = {2016},
  url       = {http://arxiv.org/abs/1612.05002},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Beohar0KS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Jacobs0S15,
  author    = {Bart Jacobs and
               Alexandra Silva and
               Ana Sokolova},
  title     = {Trace semantics via determinization},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {81},
  number    = {5},
  pages     = {859--879},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jcss.2014.12.005},
  doi       = {10.1016/j.jcss.2014.12.005},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jcss/Jacobs0S15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jisis/OliveiraSB15,
  author    = {Nuno Oliveira and
               Alexandra Silva and
               Lu{\'{\i}}s Soares Barbosa},
  title     = {IMC\({}_{\mbox{Reo}}\): interactive Markov chains for Stochastic Reo},
  journal   = {J. Internet Serv. Inf. Secur.},
  volume    = {5},
  number    = {1},
  pages     = {3--28},
  year      = {2015},
  url       = {http://isyou.info/jisis/vol5/no1/jisis-2015-vol5-no1-01.pdf},
  timestamp = {Thu, 02 Feb 2017 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jisis/OliveiraSB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/CarboneL0S15,
  author    = {Marco Carbone and
               Ivan Lanese and
               Alexandra Silva and
               Ana Sokolova},
  title     = {Preface for the special issue on Interaction and Concurrency Experience
               2012},
  journal   = {Sci. Comput. Program.},
  volume    = {100},
  pages     = {1},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.11.002},
  doi       = {10.1016/j.scico.2014.11.002},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/CarboneL0S15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siglog/000115,
  author    = {Alexandra Silva},
  title     = {A short introduction to the coalgebraic method},
  journal   = {{SIGLOG} News},
  volume    = {2},
  number    = {2},
  pages     = {16--27},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2766189.2766193},
  doi       = {10.1145/2766189.2766193},
  timestamp = {Mon, 18 Jul 2016 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/siglog/000115},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BonchiM0Z15,
  author    = {Filippo Bonchi and
               Stefan Milius and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {Killing epsilons with a dagger: {A} coalgebraic study of systems with
               algebraic label structure},
  journal   = {Theor. Comput. Sci.},
  volume    = {604},
  pages     = {102--126},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2015.03.024},
  doi       = {10.1016/j.tcs.2015.03.024},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BonchiM0Z15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KozenM015,
  author    = {Dexter Kozen and
               Konstantinos Mamouras and
               Alexandra Silva},
  title     = {Completeness and Incompleteness in Nominal Kleene Algebra},
  booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
               Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
               2015, Proceedings},
  pages     = {51--66},
  year      = {2015},
  crossref  = {DBLP:conf/RelMiCS/2015},
  url       = {https://doi.org/10.1007/978-3-319-24704-5_4},
  doi       = {10.1007/978-3-319-24704-5_4},
  timestamp = {Thu, 15 Jun 2017 21:40:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/KozenM015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/000115,
  author    = {Alexandra Silva},
  title     = {Applications of Automata and Concurrency Theory in Networks (Invited
               Paper)},
  booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
               Madrid, Spain, September 1.4, 2015},
  pages     = {42--43},
  year      = {2015},
  crossref  = {DBLP:conf/concur/2015},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.42},
  doi       = {10.4230/LIPIcs.CONCUR.2015.42},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/000115},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KozenMP015,
  author    = {Dexter Kozen and
               Konstantinos Mamouras and
               Daniela Petrisan and
               Alexandra Silva},
  title     = {Nominal Kleene Coalgebra},
  booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
               {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  pages     = {286--298},
  year      = {2015},
  crossref  = {DBLP:conf/icalp/2015-2},
  url       = {https://doi.org/10.1007/978-3-662-47666-6_23},
  doi       = {10.1007/978-3-662-47666-6_23},
  timestamp = {Tue, 23 May 2017 01:08:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/KozenMP015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/FosterKM0T15,
  author    = {Nate Foster and
               Dexter Kozen and
               Matthew Milano and
               Alexandra Silva and
               Laure Thompson},
  title     = {A Coalgebraic Decision Procedure for NetKAT},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {343--355},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {http://doi.acm.org/10.1145/2676726.2677011},
  doi       = {10.1145/2676726.2677011},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/FosterKM0T15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rta/EndrullisHHP015,
  author    = {J{\"{o}}rg Endrullis and
               Helle Hvid Hansen and
               Dimitri Hendriks and
               Andrew Polonsky and
               Alexandra Silva},
  title     = {A Coinductive Framework for Infinitary Rewriting and Equational Reasoning},
  booktitle = {26th International Conference on Rewriting Techniques and Applications,
               {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
  pages     = {143--159},
  year      = {2015},
  crossref  = {DBLP:conf/rta/2015},
  url       = {https://doi.org/10.4230/LIPIcs.RTA.2015.143},
  doi       = {10.4230/LIPIcs.RTA.2015.143},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rta/EndrullisHHP015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/EndrullisHHP015,
  author    = {J{\"{o}}rg Endrullis and
               Helle Hvid Hansen and
               Dimitri Hendriks and
               Andrew Polonsky and
               Alexandra Silva},
  title     = {A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
               (Extended Version)},
  journal   = {CoRR},
  volume    = {abs/1505.01128},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.01128},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/EndrullisHHP015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Jacobs0S14,
  author    = {Bart Jacobs and
               Alexandra Silva and
               Sam Staton},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {308},
  pages     = {1--2},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2014.10.001},
  doi       = {10.1016/j.entcs.2014.10.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/Jacobs0S14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/MoonSKA14,
  author    = {Young{-}Joo Moon and
               Alexandra Silva and
               Christian Krause and
               Farhad Arbab},
  title     = {A compositional model to reason about end-to-end QoS in Stochastic
               Reo connectors},
  journal   = {Sci. Comput. Program.},
  volume    = {80},
  pages     = {3--24},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2011.11.007},
  doi       = {10.1016/j.scico.2011.11.007},
  timestamp = {Thu, 13 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/MoonSKA14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tocl/BonchiBHPRS14,
  author    = {Filippo Bonchi and
               Marcello M. Bonsangue and
               Helle Hvid Hansen and
               Prakash Panangaden and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Algebra-coalgebra duality in Brzozowski's minimization algorithm},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {15},
  number    = {1},
  pages     = {3:1--3:29},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2490818},
  doi       = {10.1145/2490818},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tocl/BonchiBHPRS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JacobsS14,
  author    = {Bart Jacobs and
               Alexandra Silva},
  title     = {Initial Algebras of Terms with Binding and Algebraic Structure},
  booktitle = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
               to Jim Lambek on the Occasion of His 90th Birthday},
  pages     = {211--234},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014lambek},
  url       = {https://doi.org/10.1007/978-3-642-54789-8_12},
  doi       = {10.1007/978-3-642-54789-8_12},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/JacobsS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JacobsS14a,
  author    = {Bart Jacobs and
               Alexandra Silva},
  title     = {Automata Learning: {A} Categorical Perspective},
  booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
               to Prakash Panangaden on the Occasion of His 60th Birthday},
  pages     = {384--406},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014panangaden},
  url       = {https://doi.org/10.1007/978-3-319-06880-0_20},
  doi       = {10.1007/978-3-319-06880-0_20},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/JacobsS14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BonchiM0Z14,
  author    = {Filippo Bonchi and
               Stefan Milius and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {How to Kill Epsilons with a Dagger - {A} Coalgebraic Take on Systems
               with Algebraic Label Structure},
  booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
               Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
               April 5-6, 2014, Revised Selected Papers},
  pages     = {53--74},
  year      = {2014},
  crossref  = {DBLP:conf/cmcs/2014},
  url       = {https://doi.org/10.1007/978-3-662-44124-4_4},
  doi       = {10.1007/978-3-662-44124-4_4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cmcs/BonchiM0Z14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/GoncharovM014,
  author    = {Sergey Goncharov and
               Stefan Milius and
               Alexandra Silva},
  title     = {Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)},
  booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
               Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
  pages     = {265--280},
  year      = {2014},
  crossref  = {DBLP:conf/ifipTCS/2014},
  url       = {https://doi.org/10.1007/978-3-662-44602-7_21},
  doi       = {10.1007/978-3-662-44602-7_21},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifipTCS/GoncharovM014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/OliveiraSB14,
  author    = {Nuno Oliveira and
               Alexandra Silva and
               Lu{\'{\i}}s Soares Barbosa},
  title     = {Quantitative analysis of Reo-based service coordination},
  booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
               Korea - March 24 - 28, 2014},
  pages     = {1247--1254},
  year      = {2014},
  crossref  = {DBLP:conf/sac/2014},
  url       = {http://doi.acm.org/10.1145/2554850.2555025},
  doi       = {10.1145/2554850.2555025},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/OliveiraSB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/GoncharovMS14,
  author    = {Sergey Goncharov and
               Stefan Milius and
               Alexandra Silva},
  title     = {Towards a Coalgebraic Chomsky Hierarchy},
  journal   = {CoRR},
  volume    = {abs/1401.5277},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.5277},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GoncharovMS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BonchiMSZ14,
  author    = {Filippo Bonchi and
               Stefan Milius and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {How to Kill Epsilons with a Dagger - {A} Coalgebraic Take on Systems
               with Algebraic Label Structure},
  journal   = {CoRR},
  volume    = {abs/1402.4062},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.4062},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BonchiMSZ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1046,
  author    = {Alexandra Silva and
               Filippo Bonchi and
               Marcello M. Bonsangue and
               Jan J. M. M. Rutten},
  title     = {Generalizing determinization from automata to coalgebras},
  journal   = {Logical Methods in Computer Science},
  volume    = {9},
  number    = {1},
  year      = {2013},
  url       = {https://doi.org/10.2168/LMCS-9(1:9)2013},
  doi       = {10.2168/LMCS-9(1:9)2013},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1302-1046},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eatcs/SilvaS13,
  author    = {Alexandra Silva and
               Pawel Sobocinski},
  title     = {Report on {CALCO} 2013},
  journal   = {Bulletin of the {EATCS}},
  volume    = {111},
  year      = {2013},
  url       = {http://eatcs.org/beatcs/index.php/beatcs/article/view/195},
  timestamp = {Thu, 19 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eatcs/SilvaS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BonsangueCGLRS13,
  author    = {Marcello M. Bonsangue and
               Georgiana Caltais and
               Eugen{-}Ioan Goriac and
               Dorel Lucanu and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Automatic equivalence proofs for non-deterministic coalgebras},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {9},
  pages     = {1324--1345},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2012.07.001},
  doi       = {10.1016/j.scico.2012.07.001},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BonsangueCGLRS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tamm/KozenS13,
  author    = {Dexter Kozen and
               Alexandra Silva},
  title     = {On Moessner's Theorem},
  journal   = {The American Mathematical Monthly},
  volume    = {120},
  number    = {2},
  pages     = {131--139},
  year      = {2013},
  url       = {https://doi.org/10.4169/amer.math.monthly.120.02.131},
  doi       = {10.4169/amer.math.monthly.120.02.131},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tamm/KozenS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tocl/BonsangueMS13,
  author    = {Marcello M. Bonsangue and
               Stefan Milius and
               Alexandra Silva},
  title     = {Sound and Complete Axiomatizations of Coalgebraic Language Equivalence},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {14},
  number    = {1},
  pages     = {7:1--7:52},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2422085.2422092},
  doi       = {10.1145/2422085.2422092},
  timestamp = {Mon, 09 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tocl/BonsangueMS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BonchiCPS13,
  author    = {Filippo Bonchi and
               Georgiana Caltais and
               Damien Pous and
               Alexandra Silva},
  title     = {Brzozowski's and Up-To Algorithms for Must Testing},
  booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
               2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
  pages     = {1--16},
  year      = {2013},
  crossref  = {DBLP:conf/aplas/2013},
  url       = {https://doi.org/10.1007/978-3-319-03542-0_1},
  doi       = {10.1007/978-3-319-03542-0_1},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aplas/BonchiCPS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/calco/SilvaW13,
  author    = {Alexandra Silva and
               Bram Westerbaan},
  title     = {A Coalgebraic View of {\(\epsilon\)}-Transitions},
  booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
               {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  pages     = {267--281},
  year      = {2013},
  crossref  = {DBLP:conf/calco/2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7_20},
  doi       = {10.1007/978-3-642-40206-7_20},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/calco/SilvaW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/JeanninKS13,
  author    = {Jean{-}Baptiste Jeannin and
               Dexter Kozen and
               Alexandra Silva},
  title     = {Language Constructs for Non-Well-Founded Computation},
  booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  pages     = {61--80},
  year      = {2013},
  crossref  = {DBLP:conf/esop/2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6_4},
  doi       = {10.1007/978-3-642-37036-6_4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esop/JeanninKS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1994,
  author    = {Marcello M. Bonsangue and
               Georgiana Caltais and
               Eugen{-}Ioan Goriac and
               Dorel Lucanu and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Automatic Equivalence Proofs for Non-deterministic Coalgebras},
  journal   = {CoRR},
  volume    = {abs/1303.1994},
  year      = {2013},
  url       = {http://arxiv.org/abs/1303.1994},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1303-1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/EndrullisHHPS13,
  author    = {J{\"{o}}rg Endrullis and
               Helle Hvid Hansen and
               Dimitri Hendriks and
               Andrew Polonsky and
               Alexandra Silva},
  title     = {A Coinductive Treatment of Infinitary Rewriting},
  journal   = {CoRR},
  volume    = {abs/1306.6224},
  year      = {2013},
  url       = {http://arxiv.org/abs/1306.6224},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/EndrullisHHPS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cuza/BliudzeBCS12,
  author    = {Simon Bliudze and
               Roberto Bruni and
               Marco Carbone and
               Alexandra Silva},
  title     = {Towards Interaction Reliability in Concurrent Applications},
  journal   = {Sci. Ann. Comp. Sci.},
  volume    = {22},
  number    = {1},
  pages     = {1--4},
  year      = {2012},
  url       = {https://doi.org/10.7561/SACS.2012.1.1},
  doi       = {10.7561/SACS.2012.1.1},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cuza/BliudzeBCS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cuza/Silva12,
  author    = {Alexandra Silva},
  title     = {Position Automata for Kleene Algebra with Tests},
  journal   = {Sci. Ann. Comp. Sci.},
  volume    = {22},
  number    = {2},
  pages     = {367--394},
  year      = {2012},
  url       = {http://www.infoiasi.ro/bin/Annals/Article?v=XXII2&a=3},
  timestamp = {Sat, 14 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cuza/Silva12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/BonchiBCRS12,
  author    = {Filippo Bonchi and
               Marcello M. Bonsangue and
               Georgiana Caltais and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Final Semantics for Decorated Traces},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {286},
  pages     = {73--86},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.entcs.2012.08.006},
  doi       = {10.1016/j.entcs.2012.08.006},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BonchiBCRS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/BonchiBBRS12,
  author    = {Filippo Bonchi and
               Marcello M. Bonsangue and
               Michele Boreale and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {A coalgebraic perspective on linear weighted automata},
  journal   = {Inf. Comput.},
  volume    = {211},
  pages     = {77--105},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.12.002},
  doi       = {10.1016/j.ic.2011.12.002},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/BonchiBBRS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BonsangueCS12,
  author    = {Marcello M. Bonsangue and
               Dave Clarke and
               Alexandra Silva},
  title     = {A model of context-dependent component connectors},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {6},
  pages     = {685--706},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2011.01.006},
  doi       = {10.1016/j.scico.2011.01.006},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BonsangueCS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KozenS12,
  author    = {Dexter Kozen and
               Alexandra Silva},
  title     = {Left-Handed Completeness},
  booktitle = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  pages     = {162--178},
  year      = {2012},
  crossref  = {DBLP:conf/RelMiCS/2012},
  url       = {https://doi.org/10.1007/978-3-642-33314-9_11},
  doi       = {10.1007/978-3-642-33314-9_11},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/KozenS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BonchiBRS12,
  author    = {Filippo Bonchi and
               Marcello M. Bonsangue and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Brzozowski's Algorithm (Co)Algebraically},
  booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
               the Occasion of His 60th Birthday},
  pages     = {12--23},
  year      = {2012},
  crossref  = {DBLP:conf/birthday/2012kozen},
  url       = {https://doi.org/10.1007/978-3-642-29485-3_2},
  doi       = {10.1007/978-3-642-29485-3_2},
  timestamp = {Tue, 23 May 2017 01:06:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/BonchiBRS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/JacobsSS12,
  author    = {Bart Jacobs and
               Alexandra Silva and
               Ana Sokolova},
  title     = {Trace Semantics via Determinization},
  booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
               {CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
               31 - April 1, 2012, Revised Selected Papers},
  pages     = {109--129},
  year      = {2012},
  crossref  = {DBLP:conf/cmcs/2012},
  url       = {https://doi.org/10.1007/978-3-642-32784-1_7},
  doi       = {10.1007/978-3-642-32784-1_7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cmcs/JacobsSS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekBHKMS12,
  author    = {Jir{\'{\i}} Ad{\'{a}}mek and
               Filippo Bonchi and
               Mathias H{\"{u}}lsbusch and
               Barbara K{\"{o}}nig and
               Stefan Milius and
               Alexandra Silva},
  title     = {A Coalgebraic Perspective on Minimization and Determinization},
  booktitle = {Foundations of Software Science and Computational Structures - 15th
               International Conference, {FOSSACS} 2012, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
               Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {58--73},
  year      = {2012},
  crossref  = {DBLP:conf/fossacs/2012},
  url       = {https://doi.org/10.1007/978-3-642-28729-9_4},
  doi       = {10.1007/978-3-642-28729-9_4},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/AdamekBHKMS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2012kozen,
  editor    = {Robert L. Constable and
               Alexandra Silva},
  title     = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
               the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {7230},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29485-3},
  doi       = {10.1007/978-3-642-29485-3},
  isbn      = {978-3-642-29484-6},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2012kozen},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1212-3458,
  editor    = {Marco Carbone and
               Ivan Lanese and
               Alexandra Silva and
               Ana Sokolova},
  title     = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
               Stockholm, Sweden, 16th June 2012},
  series    = {{EPTCS}},
  volume    = {104},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.104},
  doi       = {10.4204/EPTCS.104},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1212-3458},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cuza/MokhtarBBST11,
  author    = {Sonia Ben Mokhtar and
               Simon Bliudze and
               Roberto Bruni and
               Alexandra Silva and
               Angelo Troina},
  title     = {Concurrency and Interaction in Complex Systems},
  journal   = {Sci. Ann. Comp. Sci.},
  volume    = {21},
  number    = {1},
  pages     = {1--4},
  year      = {2011},
  url       = {http://www.infoiasi.ro/bin/Annals/Article?v=XXI1&a=6},
  timestamp = {Sat, 14 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cuza/MokhtarBBST11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/SilvaS11,
  author    = {Alexandra Silva and
               Ana Sokolova},
  title     = {Sound and Complete Axiomatization of Trace Semantics for Probabilistic
               Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {276},
  pages     = {291--311},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.09.027},
  doi       = {10.1016/j.entcs.2011.09.027},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/SilvaS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/SilvaBBR11,
  author    = {Alexandra Silva and
               Filippo Bonchi and
               Marcello M. Bonsangue and
               Jan J. M. M. Rutten},
  title     = {Quantitative Kleene coalgebras},
  journal   = {Inf. Comput.},
  volume    = {209},
  number    = {5},
  pages     = {822--849},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.ic.2010.09.007},
  doi       = {10.1016/j.ic.2010.09.007},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/SilvaBBR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/JacobsNRS11,
  author    = {Bart Jacobs and
               Milad Niqui and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Preface},
  journal   = {Theor. Comput. Sci.},
  volume    = {412},
  number    = {38},
  pages     = {4967--4968},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.tcs.2011.06.001},
  doi       = {10.1016/j.tcs.2011.06.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/JacobsNRS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/Silva11,
  author    = {Alexandra Silva},
  title     = {A Specification Language for Reo Connectors},
  booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  pages     = {368--376},
  year      = {2011},
  crossref  = {DBLP:conf/fsen/2011},
  url       = {https://doi.org/10.1007/978-3-642-29320-7_26},
  doi       = {10.1007/978-3-642-29320-7_26},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/Silva11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-0144,
  editor    = {Alexandra Silva and
               Simon Bliudze and
               Roberto Bruni and
               Marco Carbone},
  title     = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
               Reykjavik, Iceland, 9th June 2011},
  series    = {{EPTCS}},
  volume    = {59},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.59},
  doi       = {10.4204/EPTCS.59},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1108-0144},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2803,
  author    = {Marcello M. Bonsangue and
               Stefan Milius and
               Alexandra Silva},
  title     = {Sound and complete axiomatizations of coalgebraic language equivalence},
  journal   = {CoRR},
  volume    = {abs/1104.2803},
  year      = {2011},
  url       = {http://arxiv.org/abs/1104.2803},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1104-2803},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3769,
  author    = {Alexandra Silva and
               Marcello M. Bonsangue and
               Jan J. M. M. Rutten},
  title     = {Non-Deterministic Kleene Coalgebras},
  journal   = {Logical Methods in Computer Science},
  volume    = {6},
  number    = {3},
  year      = {2010},
  url       = {http://arxiv.org/abs/1007.3769},
  timestamp = {Sat, 14 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1007-3769},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/JacobsNRS10,
  author    = {Bart Jacobs and
               Milad Niqui and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {264},
  number    = {2},
  pages     = {1--2},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.entcs.2010.07.010},
  doi       = {10.1016/j.entcs.2010.07.010},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/JacobsNRS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/SilvaR10,
  author    = {Alexandra Silva and
               Jan J. M. M. Rutten},
  title     = {A coinductive calculus of binary trees},
  journal   = {Inf. Comput.},
  volume    = {208},
  number    = {5},
  pages     = {578--593},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.ic.2008.08.006},
  doi       = {10.1016/j.ic.2008.08.006},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/SilvaR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SilvaBBR10,
  author    = {Alexandra Silva and
               Filippo Bonchi and
               Marcello M. Bonsangue and
               Jan J. M. M. Rutten},
  title     = {Generalizing the powerset construction, coalgebraically},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  pages     = {272--283},
  year      = {2010},
  crossref  = {DBLP:conf/fsttcs/2010},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.272},
  doi       = {10.4230/LIPIcs.FSTTCS.2010.272},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/SilvaBBR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BonsangueCGLRS10,
  author    = {Marcello M. Bonsangue and
               Georgiana Caltais and
               Eugen{-}Ioan Goriac and
               Dorel Lucanu and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {A Decision Procedure for Bisimilarity of Generalized Regular Expressions},
  booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
               on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
               Revised Selected Papers},
  pages     = {226--241},
  year      = {2010},
  crossref  = {DBLP:conf/sbmf/2010},
  url       = {https://doi.org/10.1007/978-3-642-19829-8_15},
  doi       = {10.1007/978-3-642-19829-8_15},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sbmf/BonsangueCGLRS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5094,
  author    = {Young{-}Joo Moon and
               Alexandra Silva and
               Christian Krause and
               Farhad Arbab},
  title     = {A Compositional Semantics for Stochastic Reo Connectors},
  booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
               Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
               4th September 2010.},
  pages     = {93--107},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1007-4993},
  url       = {https://doi.org/10.4204/EPTCS.30.7},
  doi       = {10.4204/EPTCS.30.7},
  timestamp = {Thu, 13 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1007-5094},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1010-5308,
  editor    = {Simon Bliudze and
               Roberto Bruni and
               Davide Grohmann and
               Alexandra Silva},
  title     = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
               Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
               2010},
  series    = {{EPTCS}},
  volume    = {38},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.38},
  doi       = {10.4204/EPTCS.38},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1010-5308},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiBRS09,
  author    = {Filippo Bonchi and
               Marcello M. Bonsangue and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Deriving Syntax and Axioms for Quantitative Regular Behaviours},
  booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  pages     = {146--162},
  year      = {2009},
  crossref  = {DBLP:conf/concur/2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8_11},
  doi       = {10.1007/978-3-642-04081-8_11},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/BonchiBRS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BonsangueCS09,
  author    = {Marcello M. Bonsangue and
               Dave Clarke and
               Alexandra Silva},
  title     = {Automata for Context-Dependent Connectors},
  booktitle = {Coordination Models and Languages, 11th International Conference,
               {COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  pages     = {184--203},
  year      = {2009},
  crossref  = {DBLP:conf/coordination/2009},
  url       = {https://doi.org/10.1007/978-3-642-02053-7_10},
  doi       = {10.1007/978-3-642-02053-7_10},
  timestamp = {Wed, 24 May 2017 08:27:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/BonsangueCS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonsangueRS09,
  author    = {Marcello M. Bonsangue and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {A Kleene Theorem for Polynomial Coalgebras},
  booktitle = {Foundations of Software Science and Computational Structures, 12th
               International Conference, {FOSSACS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  pages     = {122--136},
  year      = {2009},
  crossref  = {DBLP:conf/fossacs/2009},
  url       = {https://doi.org/10.1007/978-3-642-00596-1_10},
  doi       = {10.1007/978-3-642-00596-1_10},
  timestamp = {Tue, 23 May 2017 01:08:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/BonsangueRS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonsangueRS09,
  author    = {Marcello M. Bonsangue and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {An Algebra for Kripke Polynomial Coalgebras},
  booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
               Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
  pages     = {49--58},
  year      = {2009},
  crossref  = {DBLP:conf/lics/2009},
  url       = {https://doi.org/10.1109/LICS.2009.18},
  doi       = {10.1109/LICS.2009.18},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/BonsangueRS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/amast/BarbosaOS08,
  author    = {Lu{\'{\i}}s Soares Barbosa and
               Jos{\'{e}} Nuno Oliveira and
               Alexandra Silva},
  title     = {Calculating Invariants as Coreflexive Bisimulations},
  booktitle = {Algebraic Methodology and Software Technology, 12th International
               Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  pages     = {83--99},
  year      = {2008},
  crossref  = {DBLP:conf/amast/2008},
  url       = {https://doi.org/10.1007/978-3-540-79980-1_7},
  doi       = {10.1007/978-3-540-79980-1_7},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/amast/BarbosaOS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonsangueRS08,
  author    = {Marcello M. Bonsangue and
               Jan J. M. M. Rutten and
               Alexandra Silva},
  title     = {Coalgebraic Logic and Synthesis of Mealy Machines},
  booktitle = {Foundations of Software Science and Computational Structures, 11th
               International Conference, {FOSSACS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  pages     = {231--245},
  year      = {2008},
  crossref  = {DBLP:conf/fossacs/2008},
  url       = {https://doi.org/10.1007/978-3-540-78499-9_17},
  doi       = {10.1007/978-3-540-78499-9_17},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/BonsangueRS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wollic/SilvaR07,
  author    = {Alexandra Silva and
               Jan J. M. M. Rutten},
  title     = {Behavioural Differential Equations and Coinduction for Binary Trees},
  booktitle = {Logic, Language, Information and Computation, 14th International Workshop,
               WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  pages     = {322--336},
  year      = {2007},
  crossref  = {DBLP:conf/wollic/2007},
  url       = {https://doi.org/10.1007/978-3-540-73445-1_23},
  doi       = {10.1007/978-3-540-73445-1_23},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wollic/SilvaR07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SilvaV06,
  author    = {Alexandra Silva and
               Joost Visser},
  title     = {Strong types for relational databases},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
               Portland, Oregon, USA, September 17, 2006},
  pages     = {25--36},
  year      = {2006},
  crossref  = {DBLP:conf/haskell/2006},
  url       = {http://doi.acm.org/10.1145/1159842.1159846},
  doi       = {10.1145/1159842.1159846},
  timestamp = {Sat, 14 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/SilvaV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2017,
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3009837},
  doi       = {10.1145/3009837},
  isbn      = {978-1-4503-4660-3},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016deboer,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marcello M. Bonsangue and
               Einar Broch Johnsen},
  title     = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30734-3},
  doi       = {10.1007/978-3-319-30734-3},
  isbn      = {978-3-319-30733-6},
  timestamp = {Thu, 01 Jun 2017 18:57:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2016deboer},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/2016,
  editor    = {Jean{-}Marc Talbot and
               Laurent Regnier},
  title     = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
               August 29 - September 1, 2016, Marseille, France},
  series    = {LIPIcs},
  volume    = {62},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-022-4},
  isbn      = {978-3-95977-022-4},
  timestamp = {Tue, 30 Aug 2016 15:47:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csl/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2016,
  editor    = {Peter Thiemann},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9632},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49498-1},
  doi       = {10.1007/978-3-662-49498-1},
  isbn      = {978-3-662-49497-4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esop/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2015,
  editor    = {Wolfram Kahl and
               Michael Winter and
               Jos{\'{e}} Nuno Oliveira},
  title     = {Relational and Algebraic Methods in Computer Science - 15th International
               Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
               2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9348},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24704-5},
  doi       = {10.1007/978-3-319-24704-5},
  isbn      = {978-3-319-24703-8},
  timestamp = {Thu, 15 Jun 2017 21:40:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2015,
  editor    = {Luca Aceto and
               David de Frutos{-}Escrig},
  title     = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
               Madrid, Spain, September 1.4, 2015},
  series    = {LIPIcs},
  volume    = {42},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-91-0},
  isbn      = {978-3-939897-91-0},
  timestamp = {Wed, 02 Sep 2015 14:06:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2015-2,
  editor    = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
               Kazuo Iwama and
               Naoki Kobayashi and
               Bettina Speckmann},
  title     = {Automata, Languages, and Programming - 42nd International Colloquium,
               {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9135},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-47666-6},
  doi       = {10.1007/978-3-662-47666-6},
  isbn      = {978-3-662-47665-9},
  timestamp = {Tue, 23 May 2017 01:08:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/2015-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rta/2015,
  editor    = {Maribel Fern{\'{a}}ndez},
  title     = {26th International Conference on Rewriting Techniques and Applications,
               {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
  series    = {LIPIcs},
  volume    = {36},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-85-9},
  isbn      = {978-3-939897-85-9},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rta/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014lambek,
  editor    = {Claudia Casadio and
               Bob Coecke and
               Michael Moortgat and
               Philip Scott},
  title     = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
               to Jim Lambek on the Occasion of His 90th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {8222},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54789-8},
  doi       = {10.1007/978-3-642-54789-8},
  isbn      = {978-3-642-54788-1},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2014lambek},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014panangaden,
  editor    = {Franck van Breugel and
               Elham Kashefi and
               Catuscia Palamidessi and
               Jan Rutten},
  title     = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
               to Prakash Panangaden on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {8464},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06880-0},
  doi       = {10.1007/978-3-319-06880-0},
  isbn      = {978-3-319-06879-4},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2014panangaden},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2014,
  editor    = {Marcello M. Bonsangue},
  title     = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
               Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
               April 5-6, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8446},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44124-4},
  doi       = {10.1007/978-3-662-44124-4},
  isbn      = {978-3-662-44123-7},
  timestamp = {Fri, 26 May 2017 00:50:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cmcs/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2014,
  editor    = {Josep D{\'{\i}}az and
               Ivan Lanese and
               Davide Sangiorgi},
  title     = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
               Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8705},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44602-7},
  doi       = {10.1007/978-3-662-44602-7},
  isbn      = {978-3-662-44601-0},
  timestamp = {Fri, 19 May 2017 01:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifipTCS/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2014,
  editor    = {Yookun Cho and
               Sung Y. Shin and
               Sang{-}Wook Kim and
               Chih{-}Cheng Hung and
               Jiman Hong},
  title     = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
               Korea - March 24 - 28, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2554850},
  isbn      = {978-1-4503-2469-4},
  timestamp = {Sun, 20 Jul 2014 11:32:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aplas/2013,
  editor    = {Chung{-}chieh Shan},
  title     = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
               2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8301},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03542-0},
  doi       = {10.1007/978-3-319-03542-0},
  isbn      = {978-3-319-03541-3},
  timestamp = {Fri, 19 May 2017 01:25:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aplas/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/calco/2013,
  editor    = {Reiko Heckel and
               Stefan Milius},
  title     = {Algebra and Coalgebra in Computer Science - 5th International Conference,
               {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8089},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7},
  doi       = {10.1007/978-3-642-40206-7},
  isbn      = {978-3-642-40205-0},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/calco/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2013,
  editor    = {Matthias Felleisen and
               Philippa Gardner},
  title     = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7792},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6},
  doi       = {10.1007/978-3-642-37036-6},
  isbn      = {978-3-642-37035-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esop/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2012,
  editor    = {Wolfram Kahl and
               Timothy G. Griffin},
  title     = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7560},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33314-9},
  doi       = {10.1007/978-3-642-33314-9},
  isbn      = {978-3-642-33313-2},
  timestamp = {Fri, 26 May 2017 00:49:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2012kozen,
  editor    = {Robert L. Constable and
               Alexandra Silva},
  title     = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
               the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {7230},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29485-3},
  doi       = {10.1007/978-3-642-29485-3},
  isbn      = {978-3-642-29484-6},
  timestamp = {Tue, 23 May 2017 01:06:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2012kozen},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2012,
  editor    = {Dirk Pattinson and
               Lutz Schr{\"{o}}der},
  title     = {Coalgebraic Methods in Computer Science - 11th International Workshop,
               {CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
               31 - April 1, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7399},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32784-1},
  doi       = {10.1007/978-3-642-32784-1},
  isbn      = {978-3-642-32783-4},
  timestamp = {Fri, 26 May 2017 00:50:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cmcs/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2012,
  editor    = {Lars Birkedal},
  title     = {Foundations of Software Science and Computational Structures - 15th
               International Conference, {FOSSACS} 2012, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
               Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7213},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28729-9},
  doi       = {10.1007/978-3-642-28729-9},
  isbn      = {978-3-642-28728-2},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsen/2011,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7141},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29320-7},
  doi       = {10.1007/978-3-642-29320-7},
  isbn      = {978-3-642-29319-1},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2010,
  editor    = {Kamal Lodaya and
               Meena Mahajan},
  title     = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  series    = {LIPIcs},
  volume    = {8},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10007},
  isbn      = {978-3-939897-23-1},
  timestamp = {Tue, 26 Feb 2013 10:47:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2010,
  editor    = {Jim Davies and
               Leila Silva and
               Adenilso da Silva Sim{\~{a}}o},
  title     = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
               on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6527},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19829-8},
  doi       = {10.1007/978-3-642-19829-8},
  isbn      = {978-3-642-19828-1},
  timestamp = {Fri, 26 May 2017 00:48:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sbmf/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1007-4993,
  editor    = {Mohammad Reza Mousavi and
               Gwen Sala{\"{u}}n},
  title     = {Proceedings Ninth International Workshop on the Foundations of Coordination
               Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
               4th September 2010},
  series    = {{EPTCS}},
  volume    = {30},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.30},
  doi       = {10.4204/EPTCS.30},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1007-4993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2009,
  editor    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5710},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8},
  doi       = {10.1007/978-3-642-04081-8},
  isbn      = {978-3-642-04080-1},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coordination/2009,
  editor    = {John Field and
               Vasco Thudichum Vasconcelos},
  title     = {Coordination Models and Languages, 11th International Conference,
               {COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5521},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02053-7},
  doi       = {10.1007/978-3-642-02053-7},
  isbn      = {978-3-642-02052-0},
  timestamp = {Wed, 24 May 2017 08:27:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2009,
  editor    = {Luca de Alfaro},
  title     = {Foundations of Software Science and Computational Structures, 12th
               International Conference, {FOSSACS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5504},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00596-1},
  doi       = {10.1007/978-3-642-00596-1},
  isbn      = {978-3-642-00595-4},
  timestamp = {Tue, 23 May 2017 01:08:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/2009,
  title     = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
               Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5230546},
  isbn      = {978-0-7695-3746-7},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/amast/2008,
  editor    = {Jos{\'{e}} Meseguer and
               Grigore Rosu},
  title     = {Algebraic Methodology and Software Technology, 12th International
               Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5140},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79980-1},
  doi       = {10.1007/978-3-540-79980-1},
  isbn      = {978-3-540-79979-5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/amast/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2008,
  editor    = {Roberto M. Amadio},
  title     = {Foundations of Software Science and Computational Structures, 11th
               International Conference, {FOSSACS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4962},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78499-9},
  doi       = {10.1007/978-3-540-78499-9},
  isbn      = {978-3-540-78497-5},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wollic/2007,
  editor    = {Daniel Leivant and
               Ruy J. G. B. de Queiroz},
  title     = {Logic, Language, Information and Computation, 14th International Workshop,
               WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4576},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73445-1},
  doi       = {10.1007/978-3-540-73445-1},
  isbn      = {978-3-540-73443-7},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wollic/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/haskell/2006,
  editor    = {Andres L{\"{o}}h},
  title     = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
               Portland, Oregon, USA, September 17, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-489-8},
  timestamp = {Wed, 31 Oct 2007 15:01:41 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier