Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander Kurz" ( http://dblp.L3S.de/Authors/Alexander_Kurz )

URL (Homepage):  http://www.cs.le.ac.uk/people/akurz/  Author page on DBLP  Author page in RDF  Community of Alexander Kurz in ASPL-2

Publication years (Num. hits)
1998-2003 (15) 2004-2007 (16) 2008-2011 (21) 2012 (1)
Publication types (Num. hits)
article(35) inproceedings(17) proceedings(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(15) CALCO(7) Mathematical Structures in Com...(6) FoSSaCS(5) Theor. Comput. Sci.(5) CoRR(4) Advances in Modal Logic(3) Applied Categorical Structures(1) BCS Int. Acad. Conf.(1) Comput. J.(1) Inf. Comput.(1) J. Log. Comput.(1) LICS(1) SIGACT News(1) WADT(1)
Authors
Alexander Kurz(53) Dirk Pattinson(7) Yde Venema(7) Clemens Kupke(5) Daniela Petrisan(5) Jirí Rosický(4) Rolf Hennicker(4) Adriana Balan(3) Jiri Velebil(3) Marcello M. Bonsangue(3) Alessandra Palmigiano(2) Corina Cîrstea(2) Emilio Tuosto(2) Lutz Schröder(2) Michel Bidoit(2) Nick Bezhanishvili(2) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 53 publication records. Showing 53 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alexander Kurz, Tomoyuki Suzuki 0001, Emilio Tuosto On Nominal Regular Languages with Binders. Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Adriana Balan, Alexander Kurz On coalgebras over algebras. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jiri Velebil, Alexander Kurz Equational presentations of functors and monads. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ernst-Erich Doberkat, Alexander Kurz Foreword: special issue on coalgebraic logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema Modal Logics are Coalgebraic. Search on Bibsonomy Comput. J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Tomoyuki Suzuki 0001, Emilio Tuosto Towards Nominal Formal Languages Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Kissig, Alexander Kurz Generic Trace Logics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Adriana Balan, Alexander Kurz Finitary Functors: From Set to Preord and Poset. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil Relation Liftings on Preorders and Posets. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Daniela Petrisan On universal algebra over nominal sets. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz Bitopological duality for distributive lattices and Heyting algebras. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Daniela Petrisan Presenting functors on many-sorted varieties and applications. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adriana Balan, Alexander Kurz On Coalgebras over Algebras. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancia, Alexander Kurz, Ugo Montanari Families of Symmetries as Efficient Models of Resource Binding. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Alessandra Palmigiano, Yde Venema Coalgebra and Logic: A Brief Overview. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Daniela Petrisan, Jiri Velebil Algebraic Theories over Nominal Sets Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Alexander Kurz, Yde Venema Coalgebraic Lindströom Theorems. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Alexander Kurz, Raul Andres Leal Equational Coalgebraic Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.) Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Daniela Petrisan Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz, Yde Venema Completeness of the finitary Moss logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema Modal Logics are Coalgebraic. Search on Bibsonomy BCS Int. Acad. Conf. The full citation details ... 2008 DBLP  BibTeX  RDF
1Marcello M. Bonsangue, Alexander Kurz Pi-Calculus in Logical Form. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Jirí Rosický The Goldblatt-Thomason Theorem for Coalgebras. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Neil Ghani, Alexander Kurz Higher Dimensional Trees, Algebraically. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nick Bezhanishvili, Alexander Kurz Free Modal Algebras: A Coalgebraic Perspective. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alexander Kurz Logic Column 15: Coalgebras and Their Logics Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Alexander Kurz Coalgebras and their logics. Search on Bibsonomy SIGACT News The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Alexander Kurz Presenting Functors by Operations and Equations. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Dirk Pattinson Coalgebraic modal logic of finite rank. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Jirí Rosický Operations and equations for coalgebras. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Jirí Rosický Weak Factorizations, Fractions and Homotopies. Search on Bibsonomy Applied Categorical Structures The full citation details ... 2005 DBLP  DOI  BibTeX  RDF weak factorization system, category of fractions, homotopy, bisimilarity
1Clemens Kupke, Alexander Kurz, Dirk Pattinson Ultrafilter Extensions for Coalgebras. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Alexander Kurz Duality for Logics of Transition Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz, Yde Venema Stone coalgebras. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas T. Hildebrandt, Alexander Kurz Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz, Dirk Pattinson Algebraic Semantics for Coalgebraic Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Alessandra Palmigiano Coalgebras and Modal Expansions of Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michel Bidoit, Rolf Hennicker, Alexander Kurz Observational logic, constructor-based logic, and their duality. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz, Yde Venema Stone Coalgebras. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Rolf Hennicker On institutions for modular coalgebraic specifications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Dirk Pattinson Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Kurz Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Jirí Rosický Modal Predicates and Co-equations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Kurz Notions of Behaviour and Reachable-Part and Their Institutions. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Kurz Logics Admitting Final Semantics. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alexander Kurz Specifying coalgebras with modal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alexander Kurz Modal Rules are Co-Implications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michel Bidoit, Rolf Hennicker, Alexander Kurz On the Duality between Observability and Reachability. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Dirk Pattinson Notes on Coalgebras, Cofibrations and Concurrency. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rolf Hennicker, Alexander Kurz (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alexander Kurz Specifying Coalgebras with Modal Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alexander Kurz A Co-Variety-Theorem for Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.