Alexander Kurz

Cited by

	All	Since 2018
Citations	2700	833
h-index	32	17
i10-index	56	31

200

100

150

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 25 62 41 69 57 39 111 102 77 71 120 140 119 120 143 174 148 188 147 165 98 130 151 141

Public access

View all

10 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 upb.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ćEindhoven University of TechnologyVerified email at tue.nl
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 KapulkinAssociate Professor; University 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, Aramco Cy...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	195*	2001
Stone coalgebras C Kupke, A Kurz, Y Venema Theoretical Computer Science 327 (1), 109-134, 2004	176*	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	117	2011
Duality for logics of transition systems MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2005	86	2005
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	80	2010
Algebraic semantics for coalgebraic logics C Kupke, A Kurz, D Pattinson Electronic Notes in Theoretical Computer Science 106, 219-241, 2004	79	2004
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	62*	2012
A Co-Variety-Theorem for Modal Logic. A Kurz Advances in Modal Logic 2, 367-380, 1998	62	1998
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	61	2016
Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano arXiv preprint arXiv:1805.09144, 2018	54	2018
Epistemic updates on algebras AA Kurz, AA Palmigiano Logical Methods in Computer Science 9, 2013	54	2013
Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006	54	2006
Ultrafilter extensions for coalgebras C Kupke, A Kurz, D Pattinson Algebra and Coalgebra in Computer Science: First International Conference …, 2005	54	2005
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	51	2016
Strongly complete logics for coalgebras A Kurz, J Rosický Logical Methods in Computer Science 8 (3:14), 1-32, 2012	51	2012
Observational logic, constructor-based logic, and their duality M Bidoit, R Hennicker, A Kurz Theoretical Computer Science 298 (3), 471-510, 2003	51	2003
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	49	2013
The Goldblatt-Thomason theorem for coalgebras A Kurz, J Rosický Algebra and Coalgebra in Computer Science: Second International Conference …, 2007	46	2007

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