Alexander Kurz 个人学术档案

引用次数

	总计	2019 年至今
引用	2782	756
h 指数	33	16
i10 指数	54	29

200

100

150

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 25 62 39 69 57 42 105 102 74 83 119 142 124 118 159 162 147 196 146 146 93 131 132 168 85

开放获取的出版物数量

查看全部

11 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Alessandra PalmigianoVrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
Dirk PattinsonAustralian National University在 anu.edu.au 的电子邮件经过验证
Giuseppe GrecoVrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
Adriana BalanPolitehnica University of Bucharest在 upb.ro 的电子邮件经过验证
Marcello BonsangueProfessor of Computer Science, Leiden University在 liacs.leidenuniv.nl 的电子邮件经过验证
Sabine FrittellaINSA Centre Val de Loire在 insa-cvl.fr 的电子邮件经过验证
Emilio TuostoGran Sasso Science Institute在 gssi.it 的电子邮件经过验证
Vlasta SikimićEindhoven University of Technology在 tue.nl 的电子邮件经过验证
Corina CirsteaUniversity of Southampton在 ecs.soton.ac.uk 的电子邮件经过验证
Michel BidoitLSV, CNRS & ENS Cachan, France在 lsv.ens-cachan.fr 的电子邮件经过验证
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of Sciences在 cs.cas.cz 的电子邮件经过验证
Helle Hvid HansenAssociate Professor at University of Groningen在 rug.nl 的电子邮件经过验证
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg在 cs.fau.de 的电子邮件经过验证
Paula SeveriUniversity of Leicester在 leicester.ac.uk 的电子邮件经过验证
David GabelaiaResearcher, Razmadze Mathematical Institute在 rmi.ge 的电子邮件经过验证
Chris KapulkinAssociate Professor; University of Western Ontario在 uwo.ca 的电子邮件经过验证
Jurriaan RotRadboud University在 cs.ru.nl 的电子邮件经过验证
Vincenzo CianciaISTI-CNR在 isti.cnr.it 的电子邮件经过验证
Mohammad Hammoudeh, Aramco Cy...King Fahd University of Petroleum and Minerals在 kfupm.edu.sa 的电子邮件经过验证
M. Andrew MoshierProfessor Mathematics and Computer Science在 chapman.edu 的电子邮件经过验证

关注

Alexander Kurz

Chapman University

在 chapman.edu 的电子邮件经过验证 - 首页

logic category theory theoretical computer science programming languages formal methods


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	190	2004
Logics for coalgebras and applications to computer science A Kurz BoD–Books on Demand, 2001	168	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	89	2010
Duality for logics of transition systems MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2005	85	2005
Algebraic semantics for coalgebraic logics C Kupke, A Kurz, D Pattinson Electronic Notes in Theoretical Computer Science 106, 219-241, 2004	78	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	68	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
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	62	2016
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	54	2005
Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006	53	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
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	50	2013
Strongly complete logics for coalgebras A Kurz, J Rosický Logical Methods in Computer Science 8 (3:14), 1-32, 2012	50	2012
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot Logical Methods in Computer Science 11, 2015	49	2015

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用