EN | DE
Theoretische Informatik
@string{hp_SergeyGoncharov="http://www8.informatik.uni-erlangen.de/~sergey/"}
@string{hp_LutzSchröder="http://www8.informatik.uni-erlangen.de/schroeder/"}
@string{hp_StefanMilius="http://www8.informatik.uni-erlangen.de/~milius/"}
@string{hp_TadeuszLitak="http://www8.informatik.uni-erlangen.de/~litak/"}
@string{hp_DanielGorín="http://www8.informatik.uni-erlangen.de/~gorin/"}
@string{hp_ThorstenWißmann="http://www8.informatik.uni-erlangen.de/thorsten"}
@string{hp_ChristophRauch="http://www8.informatik.uni-erlangen.de/christoph"}
@string{hp_DanielHausmann="http://www8.informatik.uni-erlangen.de/daniel"}
%
%App

%
% 2017
%


@article{LitakV17:im,
  author    = {Tadeusz Litak and Albert Visser},
  title     = {Lewis meets {B}rouwer: constructive strict implication},
  journal   = {Indagationes Mathematicae},
  volume    = {Accepted to a special issue on "L.E.J. Brouwer, 50 years later", to appear},
  year      = {2017},
  url       = {https://arxiv.org/abs/1708.02143},
  issn = "0019-3577",
  doi = "10.1016/j.indag.2017.10.003",  
}



@article{JipsenL17:ono,
  author    = {Peter Jipsen and Tadeusz Litak},
  title     = {An Algebraic Glimpse at Bunched Implications and Separation Logic},
  journal   = {CoRR},
  volume    = {abs/1709.07063},
  year      = {2017},
  url       = {https://arxiv.org/abs/1709.07063}
}


@inproceedings{GorinEA17,
  author = {Daniel Gor{\'i}n and Malte Meyn and Alexander Naumann and Miriam Polzer and Ulrich Rabenstein and Lutz Schr{\"o}der},
  title =  {Ontological Modelling of a Psychiatric Clinical Practice Guideline},
  booktitle = {Proc.~40th German Conference on Artificial Intelligence (KI 2017)},
  series = {Lect. Notes Comput. Sci},
  year = {2017},
  url = {https://www8.cs.fau.de/_media/research:papers:cpg.pdf},
}

@inproceedings{DorschEA17,
  author = {Ulrich Dorsch and Stefan Milius and Lutz Schr{\"o}der and Thorsten Wi{\ss}mann},
  title = {Efficient Coalgebraic Partition Refinement},
  booktitle = {Proc.~28th International Conference on Concurrency Theory (CONCUR 2017)},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2017},
  comment ={<a href="https://arxiv.org/abs/1705.08362">[Full version]</a>},
}

  

@inproceedings{SeifanEA17,
  author = {Fatemeh Seifan and Lutz Schr{\"o}der  and Dirk Pattinson},
  title = {Uniform Interpolation in Coalgebraic Modal Logic},
  booktitle = {Proc.~7th Conference on Algebra and Coalgebra in Computer Science},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2017},
  comment = {<a href="https://www8.cs.fau.de/_media/research:papers:pullbacks-full.pdf">[preprint]</a>},
} 

 

@inproceedings{LitakPR17,
  author =	{Tadeusz Litak and Miriam Polzer and Ulrich Rabenstein},
  title =	{{Negative Translations and Normal Modality}},
  booktitle =	{2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)},
  pages =	{27:1--27:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-047-7},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{84},
  editor =	{Dale Miller},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7741},
  URN =		{urn:nbn:de:0030-drops-77412},
  doi =		{10.4230/LIPIcs.FSCD.2017.27},
  annote =	{Keywords: negative translations, intuitionistic modal logic, normal modality, double negation},
  note = { <a href = "https://www8.cs.fau.de/_media/litak:dnegfscd2017final.pdf"> [Local copy] </a> }
}

@inproceedings{WildSchroder17,
  author = 	 {Paul Wild and Lutz Schr{\"o}der},
  title = 	 {A Characterization Theorem for a Modal Description Logic},
  year = 	 {2017},
  booktitle = {International Joint Conference on Artificial Intelligence, IJCAI 2017},
  publisher = {IJCAI/AAAI},
  comment = {<a href="https://arxiv.org/abs/1705.06214">[preprint]</a>},
}

@InProceedings{skmw17,
  author = 	 {Lutz Schr\"oder and Dexter Kozen and Stefan Milius and Thorsten Wi\ss{}mann},
  title = 	 {Nominal Automata with Name binding},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)},
  year = 	 {2017},
  editor = 	 {Javier Esparza and Andrzej Murawski},
  volume    = {10203},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages     = {124--142},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  url = 	 {http://arxiv.org/abs/1603.01455},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-54458-7_8">http://dx.doi.org/10.1007/978-3-662-54458-7_8</a>.},
  OPTannote = 	 {}
}

@article{MiliusL17:fi,
  author    = {Stefan Milius and
               Tadeusz Litak},
  title     = {Guard Your Daggers and Traces: Properties
               of Guarded (Co-)recursion},
  year = {2017},             
  volume = {150},
  doi = {10.3233/FI-2017-1475},
  pages = {407--449},
  journal   = {Fundamenta Informaticae},
  url = {http://arxiv.org/abs/1603.05214}, 
  note     = {special issue FiCS'13 edited by  David Baelde,
               Arnaud Carayol, Ralph Matthes and Igor Walukiewicz},
}

@InProceedings{GoncharovSchroederEtAl17,
  author = 	 {Sergey Goncharov and Lutz Schr\"oder and Christoph Rauch and Maciej Pir\'og},
  title = 	 {Unifying Guarded and Unguarded Iteration},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)},
  year = 	 {2017},
  editor = 	 {Javier Esparza and Andrzej Murawski},
  volume    = {10203},
  OPTnumber = 	 {},
  series = 	 {Lect. Notes Comput. Sci. (ArCOSS)},
  pages     = {517--533},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  url = {https://www8.cs.fau.de/_media/research:papers:elgot-retract.pdf},  
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-54458-7_30">http://dx.doi.org/10.1007/978-3-662-54458-7_30</a>.},
  }

@article{LitakPSS17,
  author    = {Tadeusz Litak and
               Dirk Pattinson and
               Katsuhiko Sano and
               Lutz Schr{\"{o}}der},
  title     = {Model Theory and Proof Theory of {CPL}},
  journal   = {Logical Methods in Computer Science},
  year      = {2017},
  note = {accepted to a special  issue  in honor of Ji\v{r}\'i Ad\'amek, to appear},
  url       = {http://arxiv.org/abs/1701.03773},
}

%
% 2016
%

@InProceedings{Enq:Com16,
  author = 	 {Sebastian Enqvist and Fatemeh Seifan and Yde Venema},
  title = 	 {Completeness for Coalgebraic Fixpoint Logic},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)},
  year = 	 {2016},
  editor = 	 {Jean-Marc Talbot and Laurent Regnier},
  volume = 	 {62},
  OPTnumber = 	 {},
  series = 	 {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages = 	 {7:1--7:19},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  OPTpublisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  OPTnote = 	 {},
  url = 	 {http://drops.dagstuhl.de/opus/volltexte/2016/6547/pdf/LIPIcs-CSL-2016-7.pdf}
}

@InProceedings{tsm16,
  author = 	 {Kristof Teichel and Dieter Sibold and Stefan Milius},
  title = 	 {An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Information Systems Security (ICISS)},
  year = 	 {2016},
  editor = 	 {Indrajit Ray and Manoj Singh Gaur and Mauro Conti and Dheeraj Sanghi and V. Kamakoti},
  volume = 	 {10063},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  pages = 	 {3--22},
  doi       = {10.1007/978-3-319-49806-5_1},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-49806-5_1">http://dx.doi.org/10.1007/978-3-319-49806-5_1</a>.},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{GoncharovMiliusEtAl06,
  author    = {Sergey Goncharov and
               Stefan Milius and
               Christoph Rauch},
  title     = {Complete Elgot Monads and Coalgebraic Resumptions},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {325},
  pages     = {147--168},
  year      = {2016},
  url       = {http://dx.doi.org/10.1016/j.entcs.2016.09.036},
 }

@article{GutierrezBasultoEA17,
  author = {V\'ictor Guti\'errez-Basulto and Jean Christoph Jung and Carsten Lutz and Lutz Schr\"oder},
  title = {Probabilistic Description Logics for Subjective Uncertainty},
  journal = {J.\ Artif.\ Intell.\ Res. (JAIR)},
  year = {2017},
  volume = {58},
  pages = {1-66},
  url = {http://jair.org/papers/paper5222.html},
}

@article{MiliusSW16,
  author = {Stefan Milius and Lutz Schr\"oder and Thorsten Wißmann},
  title = {Regular Behaviours with Names},
  journal = {Appl. Cat. Struct.},
  pages = {663--791},
  volume = {24},
  number = {5},
  year = {2016},
  doi  = {10.1007/s10485-016-9457-8},
    url = {http://www8.cs.fau.de/_media/research:papers:reg-beh-names.pdf},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/s10485-016-9457-8">http://dx.doi.org/10.1007/s10485-016-9457-8</a>.},
 
 }


@InProceedings{HausmannEA16,
  author = {Daniel Hausmann and Lutz Schr\"oder and Christoph Egger},
  title = {Global Caching for the Alternation-free Coalgebraic {$\mu$}-calculus},
  booktitle = {Concurrency Theory, CONCUR 2016},
  year = {2016},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/6172/},
  pages = {34:1-34:15},
  volume = {59},
  }

@InProceedings{PattinsonSchroder16,
  author = {Dirk Pattinson and Lutz Schr\"oder},
  title = {Program equivalence is coinductive},
  booktitle = {Logic in Computer Science, LICS 2016},
  year = {2016},
  publisher = {ACM},
  url = {http://www8.cs.fau.de/_media/research:papers:prog-coinduct.pdf},
  pages = {337-346},
  editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}
  }
 
@InProceedings{mpw16,
  author = 	 {Stefan Milius and Dirk Pattinson and Thorsten Wi\ss{}mann},
  title = 	 {A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = 	 {2016},
  editor = 	 {Bart Jacobs and Christof L\"oding},
  volume = 	 {9634},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = 	 {107--125},
  doi       = {10.1007/978-3-662-49630-5_7},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-49630-5_7">http://dx.doi.org/10.1007/978-3-662-49630-5_7</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{camu16,
  author = 	 {Liang-Ting Chen and Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Henning Urbat},
  title = 	 {Profinite Monads, Profinite Equations and {R}eitermann's Theorem},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = 	 {2016},
  editor = 	 {Bart Jacobs and Christof L\"oding},
  volume = 	 {9634},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = 	 {531--547},
   url       = {https://doi.org/10.1007/978-3-662-49630-5_31},
  doi       = {10.1007/978-3-662-49630-5_31},
    comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-49630-5_31">http://dx.doi.org/10.1007/978-3-662-49630-5_31</a>.},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

%
% 2015
%

@InProceedings{tsm15,
  author = 	 {Kristof Teichel and Dieter Sibold and Stefan Milius},
  title = 	 {First Results of a Formal Analysis of the Network Time Security Specification},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Security Standardization Research},
  year = 	 {2015},
  editor = 	 {Liqun Chen and Shin'ichiro Matsuo},
  volume = 	 {9497},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  pages = 	 {218--245},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  doi       = {10.1007/978-3-319-27152-1_12},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-27152-1_12">http://dx.doi.org/10.1007/978-3-319-27152-1_12</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{almms15,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Paul B.~Levy and Lawrence S.~Moss and Stefan Milius and Lurdes Sousa},
  title = 	 {On Final Coalgebras of Power-Set Functors and Saturated Trees},
  journal = 	 {Appl.~Categ.~Structures},
  year = 	 {2015},
  OPTkey = 	 {},
  volume = 	 {23},
  number = 	 {4},
  pages = 	 {609--641},
  month = 	 {August},
  note = 	 {Available online; \url{http://dx.doi.org/10.1007/s10485-014-9372-9}},
  OPTannote = 	 {}
}

@InProceedings{ammu15_lics,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Robert S.R.~Myers and Henning Urbat},
  title = 	 {Varieties of Languages in a Category},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~30th Annual Symposium on Logic in Computer Science (LICS'15)},
  year = 	 {2015},
  editor = 	 {Catuscia Palamidessi},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  pages = 	 {414--425},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  organization = {IEEE Computer Society},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{amu15,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Henning Urbat},
  title = 	 {Syntactic Monoids in a Category},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Coalgebraic and Algebraic Methods in Computer Science (CALCO'15)},
  year = 	 {2015},
  editor = 	 {Lawrence S. Moss and Pawel Sobocinski},
  volume = 	 {35},
  OPTnumber = 	 {},
  series = 	 {LIPICS},
  OPTpages = 	 {1--16},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  note = 	 {CALCO 2015 Best Paper Award},
  OPTannote = 	 {}
}

@Article{mamu15,
  author = 	 {Robert S.~L.~Myers and Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Henning Urbat},
  title = 	 {Coalgebraic Constructions of Canonical Nondeterministic Automata},
  journal = 	 {Theoret.~Comput.~Sci.},
  year = 	 {2015},
  OPTkey = 	 {},
  volume = 	 {604},
  OPTnumber = 	 {},
  pages = 	 {81--101},
  OPTmonth = 	 {},
  note = 	 {\url{http:/dx.doi.org/10.1016/j.tcs.2015.03.035}},
  OPTannote = 	 {}
}

@Article{bmsz15,
  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 = 	 {Theoret.~Comput.~Sci.},
  year = 	 {2015},
  OPTkey = 	 {},
  volume = 	 {604},
  OPTnumber = 	 {},
  pages = 	 {102--126},
  OPTmonth = 	 {},
  note = 	 {\url{http://dx.doi.org/10.1016/j.tcs.2015.03.024}},
  OPTannote = 	 {}
}

@inproceedings{HausmannSchroder15,
  title = {Global Caching for the Flat Coalgebraic
  mu-Calculus},
  author = {Daniel Hausmann and Lutz Schr\"oder},
  booktitle = {Proc. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015},
  publisher = {IEEE Comp. Soc.},
  pages     = {121--130},
  url = {http://www8.cs.fau.de/_media/research:papers:flatfix-gc.pdf},
  year = {2015},
}


@inproceedings{KupkeEA15,
  title = {Reasoning with Global Assumptions in Arithmetic Modal Logics},
  author = {Clemens Kupke and Dirk Pattinson and Lutz Schr\"oder},
  booktitle = {Proc. 20th International Symposium on Fundamentals of Computation Theory, FCT 2015},
  series = {LNCS},
  publisher = {Springer},
  pages     = {367--380},
  volume    = {9210},
  year = {2015},
  url = {http://www8.cs.fau.de/_media/research:papers:arithm-ml-gc.pdf},
}



@inproceedings{PattinsonSchroder15a,
  title = {Sound and Complete Equational Reasoning over Comodels},
  author = {Dirk Pattinson and Lutz Schr\"oder},
  booktitle = {Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015},
  series = {ENTCS},
  volume    = {319},
  pages     = {315--331},
  publisher = {Elsevier},
  url = {http://www8.cs.fau.de/_media/research:papers:comodels-compl.pdf},
  year = {2015},
}

@inproceedings{GoncharovEA15,
title = "Unguarded Recursion on Coinductive Resumptions ",
series = "Electronic Notes in Theoretical Computer Science",
volume = "319",
number = "",
pages = "183 - 198",
year = "2015",
booktitle = "Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)",
issn = "1571-0661",
url = "http://www.sciencedirect.com/science/article/pii/S1571066115000791",
author = "Sergey Goncharov and Christoph Rauch and Lutz Schr\"oder",
comment = { <a href = "https://www8.cs.fau.de/_media/research:papers:mfps15-elgot.pdf"> [preprint] </a>},  
}

@inproceedings{MiliusWissmannRatlambda,
  title = {Finitary Corecursion for the Infinitary Lambda Calculus},
  author = {Stefan Milius and Thorsten Wi\ss{}mann},
  booktitle = {Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015},
  series = {Leibniz International Proceedings in Informatics},
  editor = 	 {Lawrence S. Moss and Pawel Sobocinski},
  volume = {35},
  pages = {336--351},
  year = {2015},
  url = {https://coalg.org/calco15/papers/p21-Wi%C3%9Fmann.pdf},
}

@inproceedings{MiliusEA15,
  title = {Generic Trace Semantics and Graded Monads},
  author = {Stefan Milius and Dirk Pattinson and Lutz Schr\"oder},
  booktitle = {Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015},
  series = {Leibniz International Proceedings in Informatics},
  editor = 	 {Lawrence S. Moss and Pawel Sobocinski},
  volume = {35},
  pages = {253--269},
  year = {2015},
  url = {http://www8.cs.fau.de/_media/research:papers:traces-gm.pdf},  
}

@article{HollidayL17:rsl,
	Author = {Holliday, Wesley H. and Litak, Tadeusz},
	Title = {Complete Additivity and Modal Incompleteness},
        journal = {Review of Symbolic Logic},
	Url = {http://www.escholarship.org/uc/item/8pp4d94t},
	Year = {2017},
	Year1 = {2016-09-29},
        note = {to appear},
	Bdsk-Url-1 = {http://www.escholarship.org/uc/item/8pp4d94t}}

@article{Litak17:lsb,
author="Litak, Tadeusz",
title="Infinite Populations, Choice and Determinacy",
journal="Studia Logica",
year="2017",
month="Jun",
issn="1572-8730",
doi="10.1007/s11225-017-9730-3",
url="https://doi.org/10.1007/s11225-017-9730-3",
note = {special issue on Logics for Social Behaviour edited by A. Palmigiano and M. Pivato},
year = {2017},
comment = {<a href="https://www8.cs.fau.de/_media/:litak:lsb_sl_revision.pdf"> [Local version] </a>}
}


@article{SchroderPL17,
  title = {A van {B}enthem/{R}osen Theorem for Coalgebraic Predicate Logic},
  author = {Lutz Schr\"oder and Dirk Pattinson and Tadeusz Litak},
  journal = {Journal of Logic and Computation},
  volume    = {27},
  number    = {3},
  pages     = {749--773},
  comment = {<a href="http://www8.cs.fau.de/_media/research:papers:cpl-benthem-rosen.pdf">[preprint]</a>},
  url = {https://doi.org/10.1093/logcom/exv043},
  year = {2017},
  }
  
@Article{aumm14,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Henning Urbat and Stefan Milius and Lawrence S.~Moss},
  title = 	 {On Finitary Functors and Their Presentation},
  journal = 	 {J.~Comput.~System Sci.},
  year = 	 {2015},
  OPTkey = 	 {},
  volume = 	 {81},
  number = 	 {5},
  pages = 	 {813--833},
  OPTmonth = 	 {August},
  note = 	 {\url{http://dx.doi.org/10.1016/j.jcss.2014.12.002}},
  OPTannote = 	 {}
}

@article{PattinsonSchroder15,
  author = {Dirk Pattinson and Lutz Schr{\"o}der},
  title = {From the editors},
  journal = {J. Comput. System Sci.},
  volume = {81},
  pages = {797-798},
  year = {2015},
  issue = {5},
  note = {Special Issue, 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012 (Selected Papers)},
  }
  
@inproceedings{kmps15,
  author = 	 {Alexander Kurz and Stefan Milius and Dirk Pattinson and Lutz Schr\"oder},
  title = 	 {Simplified Coalgebraic Trace Equivalence},
  volume =       {8950},
  pages =        {75--90},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year = 	 {2015},
  publisher =    {Springer},
  doi       =    {10.1007/978-3-319-15545-6_8}
  
  series =       {Lect. Notes Comput. Sci.},
  booktitle =    {Software, Services and Systems},
  url =          {http://arxiv.org/abs/1410.2463},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-15545-6_8">http://dx.doi.org/10.1007/978-3-319-15545-6_8</a>.},
 
}

@incollection{Mar:Uni15,
  author = 	 {Johannes Marti and Fatemeh Seifan and Yde Venema},
  title = 	 {{Uniform Interpolation for Coalgebraic Fixpoint Logic}},
  booktitle =    {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
  volume =       {35},
  pages =        {238--252},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year = 	 {2015},
  publisher =    {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series =       {Leibniz International Proceedings in Informatics (LIPIcs)},
  editor = 	 {Lawrence S. Moss and Pawel Sobocinski},
  url =          {http://drops.dagstuhl.de/opus/volltexte/2015/5537/pdf/17.pdf},
 
}

@inproceedings{Enq:Mon15,
 author = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema},
 title = {Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras},
 booktitle = {Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 series = {LICS '15},
 year = {2015},
 isbn = {978-1-4799-8875-4},
 pages = {353--365},
 numpages = {13},
 url = {http://dx.doi.org/10.1109/LICS.2015.41},
 doi = {},
 acmid = {},
 publisher = {IEEE Computer Society},
 address = {},
} 

%
% 2014
%

@inproceedings{CogInfoCom:Chen14, 
author={Ray-Ming Chen}, 
booktitle={Cognitive Infocommunications (CogInfoCom), 2014 5th IEEE Conference on}, 
title={A dynamical model for individual and social cognitive infocommunications over truth values}, 
year={2014}, 
month={Nov}, 
pages={385-389}, 
keywords={belief networks;cognition;belief systems;closed system;community;dynamical belief enhancement;dynamical cognitive process;dynamical model;dynamical social belief;hereditary function;individual cognitive infocommunication;inheritance;logical systems;open system;reinforcement function;social cognitive infocommunication;statement truth value;Cognition;Communities;Computational modeling;Conferences;Media;Open systems;Vectors;Infocommunication;belief system;cognitive process;logical system}, 
doi={10.1109/CogInfoCom.2014.7020484},}

@inproceedings{iwcia:Chen14, 
author={Ray-Ming Chen}, 
booktitle={Computational Intelligence and Applications (IWCIA), 2014 IEEE 7th International Workshop on}, 
title={Uncertain network reasoning for agents via Gaussian radial basis functions}, 
year={2014}, 
month={Nov}, 
pages={47-52}, 
keywords={Gaussian processes;inference mechanisms;interpolation;learning (artificial intelligence);multi-agent systems;radial basis function networks;trees (mathematics);uncertainty handling;Gaussian radial basis functions;RBF;data interpolation;information analysis;information extraction;labeled trees;learning process;multiple agents;natural science;networking;social science;uncertain network reasoning;Gold;Integrated optics;k-means;kurtosis;labeled trees;multiple agents;radial basis functions;uncertain networks}, 
doi={10.1109/IWCIA.2014.6988076}, 
ISSN={1883-3977},}

@inproceedings{fedcsis:Chen14,
  author    = {Ray{-}Ming Chen},
  editor    = {Maria Ganzha and
               Leszek A. Maciaszek and
               Marcin Paprzycki},
  title     = {Full Rough Sets},
  booktitle = {Position Papers of the 2014 Federated Conference on Computer Science
               and Information Systems, FedCSIS 2014, Warsaw, Poland, September 7-10,
               2014.},
  series    = {Annals of Computer Science and Information Systems},
  volume    = {3},
  pages     = {3--11},
  year      = {2014},
  url       = {http://dx.doi.org/10.15439/2014F401},
  doi       = {10.15439/2014F401},
  timestamp = {Tue, 10 Feb 2015 19:22:17 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fedcsis/Chen14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{grc:Chen14,
  author    = {Ray{-}Ming Chen},
  title     = {Subjective characterization of fuzzy target sets based on a fuzzy
               universe},
  booktitle = {2014 {IEEE} International Conference on Granular Computing, GrC 2014,
               Noboribetsu, Japan, October 22-24, 2014},
  pages     = {25--29},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://dx.doi.org/10.1109/GRC.2014.6982801},
  doi       = {10.1109/GRC.2014.6982801},
  timestamp = {Thu, 08 Jan 2015 14:24:04 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/grc/Chen14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{is:Chen14,
  author    = {Ray{-}Ming Chen},
  editor    = {Plamen P. Angelov and
               Krassimir T. Atanassov and
               Lyubka Doukovska and
               Mincho Hadjiski and
               Vladimir Simov Jotsov and
               Janusz Kacprzyk and
               Nikola Kasabov and
               Sotir Sotirov and
               Eulalia Szmidt and
               Slawomir Zadrozny},
  title     = {Characterization of Large Target Sets with Probabilistic Classifiers},
  booktitle = {Intelligent Systems'2014 - Proceedings of the 7th International Conference
               Intelligent Systems {IEEE} IS'2014, September 24-26, 2014, Warsaw,
               Poland, Volume 1: Mathematical Foundations, Theory, Analyses},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {322},
  pages     = {791--800},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-11313-5_69},
  doi       = {10.1007/978-3-319-11313-5_69},
  timestamp = {Tue, 07 Oct 2014 09:19:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/is/Chen14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{is:Chen14a,
  author    = {Ray{-}Ming Chen},
  editor    = {Plamen P. Angelov and
               Krassimir T. Atanassov and
               Lyubka Doukovska and
               Mincho Hadjiski and
               Vladimir Simov Jotsov and
               Janusz Kacprzyk and
               Nikola Kasabov and
               Sotir Sotirov and
               Eulalia Szmidt and
               Slawomir Zadrozny},
  title     = {Data-Based Approximation of Fuzzy Target Sets},
  booktitle = {Intelligent Systems'2014 - Proceedings of the 7th International Conference
               Intelligent Systems {IEEE} IS'2014, September 24-26, 2014, Warsaw,
               Poland, Volume 1: Mathematical Foundations, Theory, Analyses},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {322},
  pages     = {801--810},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-11313-5_70},
  doi       = {10.1007/978-3-319-11313-5_70},
  timestamp = {Tue, 07 Oct 2014 09:19:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/is/Chen14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{ukci:Chen14,
  author    = {Ray{-}Ming Chen},
  title     = {PCA-based algorithmic approximation of crisp target sets},
  booktitle = {14th {UK} Workshop on Computational Intelligence, {UKCI} 2014, Bradford,
               UK, September 8-10, 2014},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://dx.doi.org/10.1109/UKCI.2014.6930182},
  doi       = {10.1109/UKCI.2014.6930182},
  timestamp = {Wed, 29 Oct 2014 12:29:33 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ukci/Chen14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{GoncharovPattinson14,
  author    = {Sergey Goncharov and
               Dirk Pattinson},
  editor    = {Javier Esparza and
               Pierre Fraigniaud and
               Thore Husfeldt and
               Elias Koutsoupias},
  title     = {Coalgebraic Weak Bisimulation from Recursive Equations over Monads},
  booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
               {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
               {II}},
  pages     = {196--207},
  year      = {2014},
  series    = {Lecture Notes in Computer Science},
  volume    = {8573},
  doi       = {10.1007/978-3-662-43951-7_17},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-43951-7_17">http://dx.doi.org/10.1007/978-3-662-43951-7_17</a>.},
}

@InProceedings{GoncharovMiliusEtAl14,
  author = 	 {Sergey Goncharov and Stefan Milius and Alexandra Silva},
  title = 	 {Towards a Coalgebraic {C}homsky Hierarchy (Extended Abstract)},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~8th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS'14)},
  pages = 	 {265-280},
  year = 	 {2014},
  editor = 	 {Josep Diaz and Ivan Lanese and Davide Sangiorgi},
  volume = 	 {8705},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       = {10.1007/978-3-662-44602-7_21},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-44602-7_21">http://dx.doi.org/10.1007/978-3-662-44602-7_21</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{bghm14,
  author = 	 {Henning Basold and Michaela Huhn and Henning G\"unther and Stefan Milius},
  title = 	 {An Open Alternative for {SMT}-based Verification of {SCADE} Models},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14)},
  pages = 	 {124--139},
  year = 	 {2014},
  editor = 	 {F.~Lang and F.~Flammini},
  volume = 	 {8718},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       =    {10.1007/978-3-319-10702-8_9},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment =     {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-10702-8_9">http://dx.doi.org/10.1007/978-3-319-10702-8_9</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{ammu14_2,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Robert S.R. Myers and Henning Urbat},
  title = 	 {On Continuous Nondeterminism and State Minimality},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Mathematical Foundations of Programming Science (MFPS XXX)},
  pages = 	 {3--23},
  year = 	 {2014},
  editor = 	 {Bart Jacobs and Alexandra Silva and Sam Staton},
  volume = 	 {308},
  OPTnumber = 	 {},
  series = 	 {Electron.~Notes Theor.~Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Elsevier},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{ahm14,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Mahdieh Haddadi and Stefan Milius},
  title = 	 {Corecursive Algebras, Corecursive Monads and {B}loom Monads },
  journal = 	 {Log.~Methods Comput.~Sci.},
  year = 	 {2014},
  OPTkey = 	 {},
  volume = 	 {10},
  number = 	 {3:19},
  pages = 	 {51 pp.},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{mamu14,
  author = 	 {Robert S.~L.~Myers and Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Henning Urbat},
  title = 	 {Canonical Nondeterministic Automata},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc. Coalgebraic Methods in Computer Science (CMCS'14)},
  pages = 	 {189--210},
  year = 	 {2014},
  editor = 	 {Marcello~M.~Bonsangue},
  volume = 	 {8446},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       = {10.1007/978-3-662-44124-4_11},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-44124-4_11">http://dx.doi.org/10.1007/978-3-662-44124-4_11</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{bmsz14,
  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},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =    {Proc. Coalgebraic Methods in Computer Science (CMCS'14)},
  pages = 	 {53--74},
  year = 	 {2014},
  editor = 	 {Marcello M.~Bonsangue},
  volume = 	 {8446},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       =    {10.1007/978-3-662-44124-4_4},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-44124-4_4">http://dx.doi.org/10.1007/978-3-662-44124-4_4</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@Article{LitakMH16:jlamp,
title = "Relational lattices: From databases to universal algebra ",
journal = "JLAMP",
volume = "85",
number = "4",
pages = "540--573",
year = "2016",
note = "special issue with selected papers RAMiCS 2014 edited by Peter H\"{o}fner, Peter Jipsen, Wolfram Kahl and Martin E. M\"{u}ller",
issn = "2352-2208",
doi      = {10.1016/j.jlamp.2015.11.008},
url = "http://www.sciencedirect.com/science/article/pii/S2352220815001455",
author = {Tadeusz Litak and Szabolcs Mikul\'{a}s and Jan Hidders},
comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1016/j.jlamp.2015.11.008">http://dx.doi.org/10.1016/j.jlamp.2015.11.008</a>},
keywords = "Relational lattices",
keywords = "Relational algebra",
keywords = "Database theory",
keywords = "Algebraic logic",
keywords = "Lattice theory "
}

  



@InProceedings{LitakMH14:ramics,
  author = 	 {Tadeusz Litak and Szabolcs Mikul\'{a}s and Jan Hidders},
  title = 	 {Relational Lattices},
  booktitle =    {Relational and Algebraic Methods in Computer Science 2014 (RAMiCS)},
  doi =          {10.1007/978-3-319-06251-8_20},
  editor =      {Peter H\"{o}fner and Peter Jipsen and Wolfram Kahl and Martin E. M\"{u}ller},
  series =       {Lecture Notes in Computer Science},
  pages =        {327--343},
  volume =       {8428},
  isbn =         {978-3-319-06250-1},
  url=           {http://dx.doi.org/10.1007/978-3-319-06251-8_20},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year = 	 {2014},
  publisher =    {Springer International Publishing},
  note =         {Superseded by the journal version in the special issue of JLAMP with selected papers of RAMiCS 2014},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-06251-8_20">http://dx.doi.org/10.1007/978-3-319-06251-8_20</a>.},
  OPTannote = 	 {}
}

@InCollection{Litak14:trends,
  author =       {Tadeusz Litak},
  title =        {Constructive modalities with provability smack},
  booktitle  =   {Leo Esakia on duality in modal and intuitionistic logics},
  pages    =     {179--208},
  series =       {Outstanding Contributions to Logic},
  volume =       {4},
  year =         {2014},
  publisher =    {Springer},
  editor =       {Guram Bezhanishvili},
  doi =          {10.1007/978-94-017-8860-1_8},
  url =          {https://arxiv.org/abs/1708.05607},
  comment = {<a href="https://www8.cs.fau.de/ext/litak/esakiaarxivfull.pdf"> [Author's Cut] </a>},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-94-017-8860-1_8">http://dx.doi.org/10.1007/978-94-017-8860-1_8</a>.},
}

@Article{amv14,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Ji\v{r}\'\i\ Velebil},
  title = 	 {Base Modules for Parametrized Iterativity},
  journal = 	 {Theoret.~Comput.~Sci.},
  year = 	 {2014},
  OPTkey = 	 {},
  volume = 	 {523},
  OPTnumber = 	 {},
  pages = 	 {56--85},
  OPTmonth = 	 {},
  note = 	 {doi: 10.1016/j.tcs.2013.12.019},
  OPTannote = 	 {}
}

@InProceedings{ammu14,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Robert S.~Myers and Henning Urbat},
  title = 	 {Generalized {E}ilenberg {T}heorem {I}: {L}ocal {V}arieties of {L}anguage},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  pages = 	 {366--380},
  year = 	 {2014},
  editor = 	 {Anca Muscholl},
  volume = 	 {8412},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       =    {10.1007/978-3-642-54830-7_24},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-54830-7_24">http://dx.doi.org/10.1007/978-3-642-54830-7_24</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{mh14,
  author = 	 {Michaela Huhn and Stefan Milius},
  title = 	 {Observations on formal safety analysis in practice},
  journal = 	 {Sci.~Comput.~Programming},
  year = 	 {2014},
  OPTkey = 	 {},
  volume = 	 {80A},
  OPTnumber = 	 {},
  pages = 	 {150--168},
  OPTmonth = 	 {},
  note = 	 {{A}vailable online at \url{http://dx.doi.org/10.1016/j.scico.2013.01.001}},
  OPTannote = 	 {}
}

%
% 2013
%
@Proceedings{calco13,
  title = 	 {Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings)},
  year = 	 {2013},
  OPTkey = 	 {},
  OPTbooktitle = {},
  editor = 	 {Reiko Heckel and Stefan Milius},
  volume = 	 {8089},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       = {10.1007/978-3-642-40206-7},
  OPTaddress = 	 {},
  month = 	 {September},
  OPTorganization = {},
  publisher = {Springer},
   comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{	  GoncharovSchroder13,
  author	= {Sergey Goncharov and Lutz Schr{\"o}der},
  title		= "A coinductive calculus for asynchronous side-effecting
		  processes ",
  journal	= "Information and Computation ",
  volume	= "231",
  number	= "0",
  pages		= "204 - 232",
  year		= "2013",
  url = {http://www8.informatik.uni-erlangen.de/~sergey/papers/concurr.pdf},
  doi  = {10.1016/j.ic.2013.08.012}
}

@Article{	  BowlerGoncharovEtAl13,
  author	= {Nathan Bowler and Sergey Goncharov and Paul Blain Levy and
		  Lutz Schr{\"o}der},
  title		= {Exploring the Boundaries of Monad Tensorability on Set},
  journal	= {Logical Methods in Computer Science},
  volume	= {9},
  number	= {3},
  year		= {2013},
  url = {http://arxiv.org/pdf/1309.2128},
  doi = {10.2168/LMCS-9(3:22)2013},
}

@InProceedings{GorinSchroder13,
 author = {Daniel Gor{\'i}n and Lutz Schr{\"o}der},
  title = {Simulations and Bisimulations For Coalgebraic Modal Logics},
  booktitle = {Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013},
  editor = {Reiko Heckel and Stefan Milius},
  series = {Lect. Notes Comput. Sci.},
  publisher = {Springer},
  volume    = {8089},
  doi        = {10.1007/978-3-642-40206-7_19},
  year = {2013},
  pages     = {253-266},
  url = {http://arxiv.org/pdf/1303.2467},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-40206-7_19">http://dx.doi.org/10.1007/978-3-642-40206-7_19</a>.},
}

@InProceedings{CarreiroEA13,
  author = {Facundo Carreiro and Daniel Gor{\'i}n and Lutz Schr{\"o}der},
  title = {Coalgebraic Announcement Logics},
  booktitle = {Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013},
  series = {Lect. Notes Comput. Sci.},
  publisher = {Springer},
  pages     = {101-112},
  editor    = {Fedor V. Fomin and
               Rusins Freivalds and
               Marta Z. Kwiatkowska and
               David Peleg},
  volume    = {7966},
  year = {2013},
  url = {http://www8.cs.fau.de/_media/research:papers<:icalp13.pdf},
  doi = {10.1007/978-3-642-39212-2_12},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-39212-2_12">http://dx.doi.org/10.1007/978-3-642-39212-2_12</a>.},
}

@InProceedings{Goncharov13,
  author = {Sergey Goncharov},
  title = {Trace Semantics via Generic Observations},
  year = {2013},
  editor = {Reiko Heckel and Stefan Milius},
  booktitle = {Algebra and Coalgebra in Computer Science (CALCO 2013)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  pdfurl = {http://www8.informatik.uni-erlangen.de/~sergey/papers/trace.pdf},
  doi       = {10.1007/978-3-642-40206-7_13},
  comment = { <a href = "http://www8.informatik.uni-erlangen.de/~sergey/papers/trace.pdf"> [preprint] </a>},  
   comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-40206-7_13">http://dx.doi.org/10.1007/978-3-642-40206-7_13</a>.},
  status = {Reviewed}
}

@incollection{LitakSP13:tbillc,
year={2013},
isbn={978-3-642-36975-9},
booktitle={Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011},
volume={7758},
series={Lecture Notes in Computer Science},
editor={Bezhanishvili, Guram and L\"{o}bner, Sebastian and Marra, Vincenzo and Richter, Frank},
doi={10.1007/978-3-642-36976-6_16},
title={Coalgebraic Predicate Logic: Equipollence Results and Proof Theory},
url={http://dx.doi.org/10.1007/978-3-642-36976-6_16},
publisher={Springer Berlin Heidelberg},
author={Litak, Tadeusz and Pattinson, Dirk and Sano, Katsuhiko},
pages={257--276},
comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-36976-6_16">http://dx.doi.org/10.1007/978-3-642-36976-6_16</a>.}
}

@InProceedings{MiliusL13:fics,
  author    = {Stefan Milius and
               Tadeusz Litak},
  title     = {Guard Your Daggers and Traces: On The Equational Properties
               of Guarded (Co-)recursion},
  booktitle = {FICS},
  year      = {2013},
  pages     = {72-86},
  ee        = {http://dx.doi.org/10.4204/EPTCS.126.6}, 
  editor    = {David Baelde and
               Arnaud Carayol},
  note     = {Proceedings Workshop on Fixed Points in Computer Science,
               FICS 2013, Turino, Italy, September 1st},
  booktitle = {FICS},
  series    = {EPTCS},
  volume    = {126},
  note =  {Superseded by the journal version invited to FI},
  url        = {http://dx.doi.org/10.4204/EPTCS.126}
}


@InProceedings{mbmr13,
  author = 	 {Stefan Milius and Marcello M.~Bonsangue and Robert S.R.~Myers and Jurriaan Rot},
  title = 	 {Rational Operation Models},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~29th conference on Mathematical Foundations of Programming Science (MFPS XXIX)},
  pages = 	 {257--282},
  year = 	 {2013},
  editor = 	 {Michael Mislove},
  volume = 	 {298},
  OPTnumber = 	 {},
  series = 	 {Electron.~Notes~Theor.~Comput.~Sci.},
  doi       = {10.1016/j.entcs.2013.09.017},
  comment = {The final publication is available at  <a href="http://dx.doi.org/10.1016/j.entcs.2013.09.017">http://dx.doi.org/10.1016/j.entcs.2013.09.017</a>.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{mms13,
  author = 	 {Stefan Milius and Lawrence S.~Moss and Daniel Schwencke},
  title = 	 {Abstract GSOS Rules and a Modular Treatment of Recursive Definitions},
  journal = 	 {Log.~Methods Comput.~Sci.},
  year = 	 {2013},
  OPTkey = 	 {},
  volume = 	 {9},
  number = 	 {3:28},
  pages = 	 {52~pp.},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{amms13,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Lawrence S.~Moss and Lurdes Sousa},
  title = 	 {Well-pointed Coalgebras},
  journal = 	 {Log. Methods Comput. Sci.},
  year = 	 {2013},
  OPTkey = 	 {},
  volume = 	 {9},
  number = 	 {3:2},
  pages = 	 {51 pp.},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{amv13,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Ji\v{r}\'\i\ Velebil},
  title = 	 {How Iterative Reflections of Monads are Constructed},
  journal = 	 {Inform.~and Comput.},
  year = 	 {2013},
  OPTkey = 	 {},
  volume = 	 {225},
  OPTnumber = 	 {},
  pages = 	 {83--118},
  OPTmonth = 	 {},
  note = 	 {{A}vailable online at \url{http://dx.doi.org/10.1016/j.ic.2013.02.003}},
  OPTannote = 	 {}
}

@Article{bms13,
  author = 	 {Marcello M.~Bonsangue and Stefan Milius and Alexandra Silva},
  title = 	 {Sound and complete axiomatizations of coalgebraic language equivalence},
  journal = 	 {ACM Trans.~Comput.~Log.},
  year = 	 {2013},
  OPTkey = 	 {},
  volume = 	 {14},
  number = 	 {1:7},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

%
% 2012
%
@InProceedings{abhkms12,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Filippo Bonchi and Barbara K\"onig and Mathias H\"ulsbusch and Stefan Milius and Alexandra Silva},
  title = 	 {A Coalgebraic Perspective on Minimization and Determinization},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  pages = 	 {58--73},
  year = 	 {2012},
  editor = 	 {Lars Birkedal},
  volume = 	 {7213},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  doi       = {10.1007/978-3-642-28729-9_4},
  publisher = {Springer},
 comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-28729-9_4">http://dx.doi.org/10.1007/978-3-642-28729-9_4</a>.}, 
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{mbees12,
  author = 	 {Henning G\"unther and Ramin Hedayati and Helge L\"oding and Stefan Milius and Oliver M\"oller and Jan Peleska and Martin Sulzmann and Axel Zechner},
  title = 	 {A framework for formal verification of systems of synchronous components},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES'12)},
  pages = 	 {145--154},
  year = 	 {2012},
  editor = 	 {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch\"atz},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {fortiss GmbH, M\"unchen},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  note = 	 {{A}vailable at \url{http:\\www.versyko.de}},
  OPTannote = 	 {}
}

@InProceedings{ablm12,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Nathan Bowler and Paul B. Levy and Stefan Milius},
  title = 	 {Coproducts of Monads on {S}et},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~27th Annual Symposium on Logic in Computer Science (LICS'12)},
  OPTpages = 	 {},
  year = 	 {2012},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  organization = {IEEE Computer Society},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{amm12,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Lawrence S.~Moss},
  title = 	 {On Finitary Functors and Their Presentation},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc. Coalgebraic Methods in Computer Science (CMCS'12)},
  OPTpages = 	 {},
  year = 	 {2012},
  editor = 	 {Dirk Pattinson and Lutz Schr\"oder},
  volume = 	 {7399},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  doi       = {10.1007/978-3-642-32784-1_4},
  publisher = {Springer},
   comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-32784-1_4">http://dx.doi.org/10.1007/978-3-642-32784-1_4</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{gmm12,
  author = 	 {Henning G\"unther and Stefan Milius and Oliver M\"oller},
  title = 	 {On the formal verification of systems of synchronous software components},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~SAFECOMP'12},
  pages = 	 {291--304},
  year = 	 {2012},
  editor = 	 {Frank Ortmeier and Peter Daniel},
  volume = 	 {7612},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  doi       = {10.1007/978-3-642-33678-2_25},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-33678-2_25">http://dx.doi.org/10.1007/978-3-642-33678-2_25</a>.},
  note = 	 {{E}xtended version available at \url{http:\\www.versyko.de}},
  OPTannote = 	 {}
}

@InProceedings{bmr12,
  author = 	 {Marcello M.~Bonsangue and Stefan Milius and Jurriaan Rot},
  title = 	 {On the specification of operations on the rational behaviour of systems},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS'12)},
  pages = 	 {3--18},
  year = 	 {2012},
  editor = 	 {Bas Luttik and Michel A.~Reniers},
  volume = 	 {89},
  OPTnumber = 	 {},
  series = 	 {Electron.~Proc.~Theoret.~Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{amms12,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Lawrence S.~Moss and Lurdes Sousa},
  title = 	 {Well-Pointed Coalgebras},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  pages = 	 {89--103},
  year = 	 {2012},
  editor = 	 {Lars Birkedal},
  volume = 	 {7213},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  doi       = {10.1007/978-3-642-28729-9_6},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-28729-9_6">http://dx.doi.org/10.1007/978-3-642-28729-9_6</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@string{lncs = "Lect.\ Notes Comput.\ Sci."}


@article{HertzbergEA13,
  author    = {Christoph Hertzberg and
               Ren{\'e} Wagner and
               Udo Frese and
               Lutz Schr{\"o}der},
  title     = {Integrating generic sensor fusion algorithms with sound
               state representations through encapsulation of manifolds},
  journal   = {Information Fusion},
  volume    = {14},
  number    = {1},
  year      = {2013},
  pages     = {57-77},
  ee        = {http://dx.doi.org/10.1016/j.inffus.2011.08.003},
  doi        = {10.1016/j.inffus.2011.08.003},
  url       = {http://arxiv.org/pdf/1107.1119v1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{LitakPSS12:icalp,
year={2012},
isbn={978-3-642-31584-8},
booktitle={Proc. 39th International Colloquium on Automata, Languages, and Programming, ICALP 2012},
volume={7392},
series={Lecture Notes in Computer Science},
editor={Czumaj, Artur and Mehlhorn, Kurt and Pitts, Andrew and Wattenhofer, Roger},
doi={10.1007/978-3-642-31585-5_29},
title={Coalgebraic Predicate Logic},
doi       = {10.1007/978-3-642-31585-5_29},
publisher={Springer},
comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-31585-5_29">http://dx.doi.org/10.1007/978-3-642-31585-5_29</a>.},
author={Litak, Tadeusz and Pattinson, Dirk and Sano, Katsuhiko and Schr{\"o}der, Lutz},
pages={299--311},
url = {http://www8.informatik.uni-erlangen.de/~schroeder/papers/coalfol.pdf},
}


@InProceedings{GorinSchroder12b,
  author = 	 {Daniel Gor{\'i}n and Lutz Schr{\"o}der},
  title = 	 {Extending {ALCQ} With Bounded Self-Reference},
  booktitle =	 {Proc. Advances in Modal Logic 2012, AiML 2012},
  OPTpages = 	 {},
  year =	 {2012},
  editor =	 {Silvio Ghilardi and Lawrence Moss},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher =	 {College Publications},
  url = {http://www.aiml.net/volumes/volume9/Gorin-Schroeder.pdf},
  pages     = {300-316},
  }




@InProceedings{	  GoncharovSchroder13b,
  author	= {Sergey Goncharov and Lutz Schr{\"o}der},
  title		= {A Relatively Complete Generic Hoare Logic for
		  Order-Enriched Effects},
  booktitle	= {Proc.~28th Annual Symposium on Logic in Computer Science (LICS 2013)},
  year		= {2013},
  pages		= {273-282},
  publisher =	 {IEEE},
  url = {http://www8.informatik.uni-erlangen.de/~sergey/papers/enriched_hoare.pdf},  
  doi =  {10.1109/LICS.2013.33}
}

@InProceedings{KulackaEA13,
  author = 	 {Agnieszka Kulacka and Dirk Pattinson and Lutz Schr{\"o}der},
  title = 	 {Syntactic Labelled Tableaux for Lukasiewicz Fuzzy {ALC}},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013},
  OPTpages = 	 {},
  year =	 {2013},
  pages     = {962--968},
  editor =	 {Francesca Rossi},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IJCAI/AAAI},
  OPTannote = 	 {},
  comment = { <a href = "http://www8.informatik.uni-erlangen.de/_media/research:papers:lukasiewicz-tableau.pdf"> [updated version]</a>},       
  url =          {http://ijcai.org/Proceedings/13/Papers/147.pdf},
}

@article{MossakowskiEA13,
  author    = {Till Mossakowski and
               Markus Roggenbach and
               Lutz Schr{\"o}der},
  title     = {Preface},
  journal   = {Electronic Communications of the ECEASST},
  volume    = {62},
  year      = {2013},
  ee        = {http://journal.ub.tu-berlin.de/eceasst/article/view/874/860},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/download/874/860},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note      = {Special Issue Specification, Transformation, Navigation, Dedicated to Bernd Krieg-Brückner},
}

@inproceedings{Schroder13,
  author    = {Lutz Schr{\"o}der},
  title     = {Preface to CALCO-Tools},
  pages     = {314},
  editor    = {Reiko Heckel and
               Stefan Milius},
  booktitle     = {Proc. 5th International
               Conference on Algebra and Coalgebra in Computer Science, CALCO 2013},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8089},
  year      = {2013},
  isbn      = {978-3-642-40205-0},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40206-7},
  doi       = {10.1007/978-3-642-40206-7_23},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-40206-7_23">http://dx.doi.org/10.1007/978-3-642-40206-7_23</a>.},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GorinEA13,
  author    = {Daniel Gor\'{\i}n and
               Lutz Schr{\"o}der and
               Thorsten Wi{\ss}mann},
  title     = {Reasoning with Bounded Self-reference Using Logical Interpreters},
  pages     = {689-703},
  editor    = {Thomas Eiter and
               Birte Glimm and
               Yevgeny Kazakov and
               Markus Kr{\"o}tzsch},
  booktitle     = {26th International Workshop
               on Description Logics, DL 2013},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {1014},
  year      = {2013},
  url        = {http://ceur-ws.org/Vol-1014/paper_75.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/spe/CasoGG13,
  author    = {Guido de Caso and
               Diego Garbervetsky and
               Daniel Gor\'{\i}n},
  title     = {Integrated program verification tools in education},
  journal   = {Softw., Pract. Exper.},
  volume    = {43},
  number    = {4},
  year      = {2013},
  pages     = {403-418},
  ee        = {http://dx.doi.org/10.1002/spe.2143},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GorinSchroder12,
  author    = {Daniel Gor\'{\i}n and
               Lutz Schr{\"o}der},
  title     = {Narcissists Are Easy, Stepmothers Are Hard},
  pages     = {240-254},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28729-9_16},
  doi        = {10.1007/978-3-642-28729-9_16},
  editor    = {Lars Birkedal},
  booktitle     = {Proc. 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-28729-9_16">http://dx.doi.org/10.1007/978-3-642-28729-9_16</a>.},
  series    = {Lecture Notes in Computer Science},
  volume    = {7213},
  year      = {2012},
  isbn      = {978-3-642-28728-2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://www8.cs.fau.de/_media/research:papers:fossacs12.pdf},
}

@proceedings{PattinsonSchroder12,
  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},
  booktitle = {CMCS},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-32784-1">http://dx.doi.org/10.1007/978-3-642-32784-1</a>.},
  series    = {Lecture Notes in Computer Science},
  volume    = {7399},
  year      = {2012},
  isbn      = {978-3-642-32783-4},
  ee        = {http://dx.doi.org/10.1007/978-3-642-32784-1},
  doi       = {10.1007/978-3-642-32784-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BreitsprecherEA14,
  author    = {Thilo Breitsprecher and
               Mihai Codescu and
               Constantin Jucovschi and
               Michael Kohlhase and
               Lutz Schr\"oder and
               Sandro Wartzack},
  title     = {Semantic Support for Engineering Design Processes},
  year      = 2014,
  booktitle = {Proc. 13th International Design Conference, DESIGN 2014},
  pages = {1723-1732},
  url = {http://www8.cs.fau.de/_media/research:papers:sem-eng.pdf},
}

@inproceedings{BreitsprecherEA14b,
  author    = {Thilo Breitsprecher and
               Mihai Codescu and
               Constantin Jucovschi and
               Michael Kohlhase and
               Lutz Schr\"oder and
               Sandro Wartzack},
  title     = {Towards Ontological Support for Principle Solutions in Mechanical Engineering},
  year      = 2014,
  booktitle = {Proc. 8th International Conference on
Formal Ontology in Information Systems, FOIS 2014},
   series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {267},
  publisher = {{IOS} Press},
  pages     = {427--432},
  editor = {Pawel Garbacz and Oliver Kutz},
  url = {http://www8.cs.fau.de/_media/research:papers:principle-solutions.pdf},
  doi       = {10.3233/978-1-61499-438-1-427},
}

@inproceedings{JungEA14,
  author = {Jean Christoph Jung and Carsten Lutz and Sergey Goncharov and Lutz Schr{\"o}der},
  title = {Monodic Fragments of Probabilistic First-order Logic},
  booktitle = {Proc. 41st International Colloquium on Automata, Languages, and Programming, ICALP 2014},
  year = {2014},
  publisher = {Springer},
  year={2014},
  volume={8573},
  series={Lecture Notes in Computer Science},
  editor={Esparza, Javier and Fraigniaud, Pierre and Husfeldt, Thore and Koutsoupias, Elias},
  pages={256-267},
  doi  = {10.1007/978-3-662-43951-7_22},
  comment = { <a href = "http://www.informatik.uni-bremen.de/tdki/research/papers/2014/JLGS-ICALP14.pdf"> [preprint] </a>},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-43951-7_22">http://dx.doi.org/10.1007/978-3-662-43951-7_22</a>.},  
}

@InProceedings{GorinEA14,
  author = 	 {Daniel Gor{\'\i}n and Dirk Pattinson and Lutz Schr{\"o}der and Florian Widmann and Thorsten Wi\ss{}mann},
  title = 	 {{COOL} -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)},
  booktitle =	 {Proc. 7th Internat.\ Joint Conf.\ on Automated Reasoning, IJCAR 2014},
  year =	 {2014},
  editor =	 {St\'{e}phane Demri and Deepak Kapur and Christoph Weidenbach},
  series =	 {LNCS},
  publisher =	 {Springer},
  pages     = {396--402},
  volume    = {8562},
  doi       = {10.1007/978-3-319-08587-6_31},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-08587-6_31">http://dx.doi.org/10.1007/978-3-319-08587-6_31</a>.},
  url = {http://www8.cs.fau.de/_media/research:papers:cool.pdf},
  }

@InProceedings{GorinSchroder14,
  author = 	 {Daniel Gor{\'\i}n and Lutz Schr{\"o}der},
  title = 	 {Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics},
  booktitle =	 {Proc. Advances in Modal Logic, AiML 2014},
  year =	 {2014},
  editor =	 {Rajeev Gor{\'e} and Barteld Kooi and Agi Kurucz},
  publisher =	 {College Publications},
  pages =        {254-273},
  
  url = {http://www.aiml.net/volumes/volume10/Gorin-Schroeder.pdf},
}