Alexander Kurz

Cited by

	All	Since 2018
Citations	2645	723
h-index	32	16
i10-index	54	28

220

110

165

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 26 62 32 76 57 37 108 113 77 70 123 139 125 147 151 173 153 202 153 174 111 136 133 16

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Giuseppe GrecoVrije Universiteit AmsterdamVerified email at vu.nl
Adriana BalanPolitehnica University of BucharestVerified email at mathem.pub.ro
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Sabine FrittellaINSA Centre Val de LoireVerified email at insa-cvl.fr
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Vlasta SikimićUniversity of TübingenVerified email at uni-tuebingen.de
Corina CirsteaUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Fer-Jan de VriesDepartment of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Paula SeveriUniversity of LeicesterVerified email at leicester.ac.uk
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Chris KapulkinUniversity of Western OntarioVerified email at uwo.ca
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Vincenzo CianciaISTI-CNRVerified email at isti.cnr.it
Mohammad Hammoudeh, Saudi Aram...King Fahd University of Petroleum and MineralsVerified email at kfupm.edu.sa

Alexander Kurz

Chapman University

Verified email at chapman.edu - Homepage

logic category theory theoretical computer science programming languages formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Specifying coalgebras with modal logic A Kurz Theoretical Computer Science 260 (1-2), 119-138, 2001	197*	2001
Stone coalgebras C Kupke, A Kurz, Y Venema Theoretical Computer Science 327 (1), 109-134, 2004	177*	2004
Logics for coalgebras and applications to computer science A Kurz BoD–Books on Demand, 2001	166	2001
Modal Logics are Coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal 54 (1), 31-41, 2011	113	2011
Duality for logics of transition systems MM Bonsangue, A Kurz Foundations of Software Science and Computational Structures: 8th …, 2005	85	2005
Algebraic semantics for coalgebraic logics C Kupke, A Kurz, D Pattinson Electronic Notes in Theoretical Computer Science 106, 219-241, 2004	77	2004
Bitopological duality for distributive lattices and Heyting algebras G Bezhanishvili, N Bezhanishvili, D Gabelaia, A Kurz Mathematical Structures in Computer Science 20 (3), 359-393, 2010	69	2010
Multi-type display calculus for dynamic epistemic logic S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic Journal of Logic and Computation 26 (6), 2017-2065, 2016	66	2016
Completeness for the coalgebraic cover modality C Kupke, A Kurz, Y Venema Logical Methods in Computer Science 8 (3:2), 1-76, 2012	65*	2012
A Co-Variety-Theorem for Modal Logic. A Kurz Advances in Modal Logic 2, 367-380, 1998	61	1998
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	57	2016
Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano arXiv preprint arXiv:1805.09144, 2018	55	2018
Presenting functors by operations and equations MM Bonsangue, A Kurz Foundations of Software Science and Computation Structures: 9th …, 2006	54	2006
Epistemic updates on algebras AA Palmigiano, AA Kurz Logical Methods in Computer Science 9, 2013	52	2013
Ultrafilter extensions for coalgebras C Kupke, A Kurz, D Pattinson CALCO 3629, 263-277, 2005	51	2005
Observational logic, constructor-based logic, and their duality M Bidoit, R Hennicker, A Kurz Theoretical Computer Science 298 (3), 471-510, 2003	50	2003
A proof-theoretic semantic analysis of dynamic epistemic logic S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić Journal of Logic and Computation 26 (6), 1961-2015, 2016	49	2016
Strongly complete logics for coalgebras A Kurz, J Rosický Logical Methods in Computer Science 8 (3:14), 1-32, 2012	49*	2012
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013 …, 2013	47	2013
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013	43	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors