Volgen
Helle Hvid Hansen
Helle Hvid Hansen
Associate Professor at University of Groningen
Geverifieerd e-mailadres voor rug.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Monotonic modal logics
HH Hansen
Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 2003
151*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
1002009
A coalgebraic perspective on monotone modal logic
HH Hansen, C Kupke
Electronic Notes in Theoretical Computer Science 106, 121-143, 2004
892004
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
632014
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
612010
Presenting distributive laws
MM Bonsangue, HH Hansen, A Kurz, J Rot
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
432013
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
372015
Automated Verification of Executable UML Models.
HH Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol, ...
FMCO 6957, 225-250, 2010
322010
Stream differential equations: specification formats and solution methods
HH Hansen, C Kupke, J Rutten
Logical Methods in Computer Science 13 (1), paper 3, 2017
292017
Synthesis of Mealy machines using derivatives
HH Hansen, D Costa, J Rutten
Electronic Notes in Theoretical Computer Science 164 (1), 27-45, 2006
282006
Tableau games for coalition logic and alternating-time temporal logic
HH Hansen
Master's thesis, Universiteit van Amsterdam, 2004
22*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
192019
Bisimulation for neighbourhood structures
HH Hansen, C Kupke, E Pacuit
CALCO, 279-293, 2007
192007
Axiomatising Nash-consistent coalition logic
HH Hansen, M Pauly
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
172002
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
162019
A coinductive treatment of infinitary rewriting
J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva
arXiv preprint arXiv:1306.6224, 2013
152013
Weak completeness of coalgebraic dynamic logics
HH Hansen, C Kupke
Fixed Points in Computer Science (FICS 2015) 191, 90 - 104, 2015
14*2015
Pointwise extensions of GSOS-defined operations
HH Hansen, B Klin
Mathematical Structures in Computer Science 21 (2), 321-361, 2011
122011
Symbolic synthesis of Mealy machines from arithmetic bitstream functions
HH Hansen, J Rutten
Scientific Annals of Computer Science 20 (97), 2010, 2010
12*2010
Bisimulation for weakly expressive coalgebraic modal logics
Z Bakhtiari, H Hvid Hansen
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017
112017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20