Alexander Kurz

Cited by

	All	Since 2019
Citations	2821	794
h-index	33	16
i10-index	54	31

200

100

150

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 25 62 39 69 57 43 105 102 74 83 119 142 124 118 159 162 147 196 146 146 94 131 131 161 130

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 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
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
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
Paula SeveriUniversity of LeicesterVerified email at leicester.ac.uk
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Chris KapulkinAssociate Professor; University of Western OntarioVerified email at uwo.ca
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
M. Andrew MoshierProfessor Mathematics and Computer ScienceVerified email at chapman.edu
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	193	2004
Logics for coalgebras and applications to computer science A Kurz BoD–Books on Demand, 2001	169	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	121	2011
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	92	2010
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	80	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	69	2016
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	64	2016
Completeness for the coalgebraic cover modality C Kupke, A Kurz, Y Venema Logical Methods in Computer Science 8 (3:2), 1-76, 2012	64*	2012
A Co-Variety-Theorem for Modal Logic. A Kurz Advances in Modal Logic 2, 367-380, 1998	61	1998
Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano arXiv preprint arXiv:1805.09144, 2018	56	2018
Epistemic updates on algebras AA Kurz, AA Palmigiano Logical Methods in Computer Science 9, 2013	55	2013
Ultrafilter extensions for coalgebras C Kupke, A Kurz, D Pattinson Algebra and Coalgebra in Computer Science: First International Conference …, 2005	55	2005
Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006	54	2006
Observational logic, constructor-based logic, and their duality M Bidoit, R Hennicker, A Kurz Theoretical Computer Science 298 (3), 471-510, 2003	52	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	51	2016
Strongly complete logics for coalgebras A Kurz, J Rosický Logical Methods in Computer Science 8 (3:14), 1-32, 2012	51	2012
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot Logical Methods in Computer Science 11, 2015	50	2015
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	50	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