Helle Hvid Hansen

Cited by

	All	Since 2019
Citations	1029	456
h-index	16	12
i10-index	28	14

120

2004200520062007200820092010201120122013201420152016201720182019202020212022202320245 3 11 18 24 27 44 42 23 30 54 75 34 89 74 81 69 71 101 72 62

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jan RuttenCWIVerified email at cwi.nl
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Jörg EndrullisVU University AmsterdamVerified email at endrullis.de
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Henning BasoldLIACS - Leiden UniversityVerified email at liacs.leidenuniv.nl
Alexander KurzChapman UniversityVerified email at chapman.edu
Eric PacuitUniversity of Maryland, College ParkVerified email at umd.edu
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Zeinab BakhtiariLORIA, CNRS-Université de LorraineVerified email at inria.fr
Johannes MartiUniversity of ZurichVerified email at ifi.uzh.ch
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonVerified email at ucl.ac.uk
Jean-Eric PinCNRSVerified email at liafa.univ-paris-diderot.fr
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk
Hans van DitmarschCNRSVerified email at irit.fr

Helle Hvid Hansen

Associate Professor at University of Groningen

Verified email at rug.nl - Homepage

modal logic coalgebra algebra automata games


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Monotonic modal logics HH Hansen Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 2003	159*	2003
Neighbourhood structures: Bisimilarity and basic model theory HH Hansen, C Kupke, E Pacuit Logical Methods in Computer Science 5 (issue 2), paper 2, 2009	118	2009
A coalgebraic perspective on monotone modal logic HH Hansen, C Kupke Electronic Notes in Theoretical Computer Science 106, 121-143, 2004	90	2004
Towards model checking executable UML specifications in mCRL2 HH Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol Innovations in Systems and Software Engineering 6, 83-90, 2010	67	2010
Algebra-coalgebra duality in Brzozowski's minimization algorithm F Bonchi, MM Bonsangue, HH Hansen, P Panangaden, JJMM Rutten, ... ACM Transactions on Computational Logic (TOCL) 15 (1), 1-29, 2014	66	2014
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot Logical Methods in Computer Science 11, 2015	51	2015
Stream differential equations: specification formats and solution methods HH Hansen, C Kupke, J Rutten Logical Methods in Computer Science 13 (1), paper 3, 2017	38	2017
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva 26th International Conference on Rewriting Techniques and Applications (RTA …, 2015	36	2015
Automated verification of executable UML models H Hvid Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol, ... Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012	35	2012
Synthesis of mealy machines using derivatives HH Hansen, D Costa, J Rutten Electronic Notes in Theoretical Computer Science 164 (1), 27-45, 2006	28	2006
Bisimulation for neighbourhood structures HH Hansen, C Kupke, E Pacuit Algebra and Coalgebra in Computer Science: Second International Conference …, 2007	25	2007
Completeness for game logic S Enqvist, HH Hansen, C Kupke, J Marti, Y Venema 2019 34th annual ACM/IEEE symposium on Logic in Computer Science (LICS), 1-13, 2019	22	2019
Tableau games for coalition logic and alternating-time temporal logic HH Hansen Master's thesis, Universiteit van Amsterdam, 2004	21*	2004
Agent-based modeling of a thermal energy transition in the built environment GC Nava Guerrero, G Korevaar, HH Hansen, Z Lukszo Energies 12 (5), 856, 2019	20	2019
Axiomatising Nash-consistent coalition logic HH Hansen, M Pauly European Workshop on Logics in Artificial Intelligence, 394-406, 2002	18	2002
Weak completeness of coalgebraic dynamic logics HH Hansen, C Kupke Fixed Points in Computer Science (FICS 2015) 191, 90 - 104, 2015	16	2015
A coinductive treatment of infinitary rewriting J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva arXiv preprint arXiv:1306.6224, 2013	15	2013
Symbolic synthesis of Mealy machines from arithmetic bitstream functions HH Hansen, J Rutten Scientific Annals of Computer Science 20 (97), 2010, 2010	14	2010
Minimisation in logical form N Bezhanishvili, MM Bonsangue, HH Hansen, D Kozen, C Kupke, ... Samson Abramsky on Logic and Structure in Computer Science and Beyond, 89-127, 2023	13	2023
The effect of group decisions in heat transitions: An agent-based approach HH Hansen, G Korevaar, Z Lukszo Energy policy 156, 112306, 2021	12	2021

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