Alexander Kurz

Cited by

	All	Since 2017
Citations	2577	869
h-index	32	17
i10-index	55	30

200

100

150

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120229 25 61 43 62 57 36 110 121 84 69 123 135 125 136 153 165 148 191 154 181 114 146 83

Public access

View all

12 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
Corina CirsteaUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Vlasta SikimićUniversity of TübingenVerified email at uni-tuebingen.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
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 RotUniversity College London & Radboud 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	195*	2001
Stone coalgebras C Kupke, A Kurz, Y Venema Theoretical Computer Science 327 (1), 109-134, 2004	175*	2004
Logics for coalgebras and applications to computer science A Kurz BoD–Books on Demand, 2001	165	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	112	2011
Duality for logics of transition systems MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2005	86	2005
Algebraic semantics for coalgebraic logics C Kupke, A Kurz, D Pattinson Electronic Notes in Theoretical Computer Science 106, 219-241, 2004	76	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	66	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	63	2016
Completeness for the coalgebraic cover modality C Kupke, A Kurz, Y Venema Logical Methods in Computer Science 8 (3:2), 1-76, 2012	63*	2012
A Co-Variety-Theorem for Modal Logic. A Kurz Advances in Modal Logic 2, 367-380, 1998	58	1998
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	55	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
Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006	54	2006
Epistemic updates on algebras AA Palmigiano, AA Kurz Logical Methods in Computer Science 9, 2013	50	2013
Ultrafilter extensions for coalgebras C Kupke, A Kurz, D Pattinson International Conference on Algebra and Coalgebra in Computer Science, 263-277, 2005	50	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	47	2016
Strongly complete logics for coalgebras A Kurz, J Rosický Logical Methods in Computer Science 8 (3:14), 1-32, 2012	47*	2012
Observational logic, constructor-based logic, and their duality M Bidoit, R Hennicker, A Kurz Theoretical Computer Science 298 (3), 471-510, 2003	47	2003
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	46	2013
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot International Conference on Algebra and Coalgebra in Computer Science, 95-109, 2013	44	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