CWI Amsterdam | Research in mathematics and computer science

Full name: Helle Hansen
Formal name: Dr. H.H. Hansen
Function: Project member

Email: H.H.Hansen@cwi.nl
Telephone +31(0)20 592 4073
Room: L213
Research groups:
(SEN3) Foundations of software engineering

Career

2009 - 2014	WPO SEN3 - Foundations of Software Engineering
2008	Project member SEN3 - Foundations of Software Engineering
2004 - 2008	WPO PhD SEN3 - Foundations of Software Engineering

Selected Publications

H.H. Hansen, B. Klin. Pointwise Extensions of GSOS-Defined Operations. Mathematical Structures in Computer Science 21, 321–361, 2011.

H.H. Hansen, J.J.M.M. Rutten. Symbolic synthesis of Mealy machines from arithmetic bitstream functions. Scientific Annals of Computer Science XX, 97–130, 2010.

H.H. Hansen. Subsequential transducers: a coalgebraic perspective. Information and Computation 208, 1368–1397, 2010.

H.H. Hansen, J. Ketema, B. Luttik, M.R. Mousavi, J.C. van de Pol. Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering 6, 83–90, 2010.

H.H. Hansen, C.A. Kupke, E. Pacuit. Neighbourhood Structures: Bisimilarity and Basic Model Theory. Conference on Algebra and Coalgebra in Computer ScienceLogical Methods in Computer Science 5, 2, 2009.

H.H. Hansen. Coalgebraic Modelling: Applications in Automata Theory and Modal Logic. PhD thesis 2009.

H.H. Hansen. Coalgebraising subsequential transducers. Proceedings of the 9th Workshop on Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science 203, 109–129, 2008.

H.H. Hansen, C.A. Kupke, E. Pacuit. Bisimulation for Neighbourhood Structures. Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007), Lecture Notes in Computer Science 4624, 279–293, 2007.

H.H. Hansen. A Note on Subsequential Transducers and Coalgebra. Proceedings of Automata: from Mathematics to Applications (AutoMathA), 2007.

H.H. Hansen, David Costa, J.J.M.M. Rutten. Synthesis of Mealy machines using derivatives. Proceedings of the 8th Workshop on Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science 164, 27–45, 2006.

Other publications (link to repository)