Helle Hvid Hansen

	2011
11		Helle Hvid Hansen, Bartek Klin: Pointwise extensions of GSOS-defined operations. Mathematical Structures in Computer Science 21(2): 321-361 (2011)
	2010
10		Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos: Automated Verification of Executable UML Models. FMCO 2010: 225-250
9		Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol: Towards model checking executable UML specifications in mCRL2. ISSE 6(1-2): 83-90 (2010)
8		Helle Hvid Hansen: Subsequential transducers: a coalgebraic perspective. Inf. Comput. 208(12): 1368-1397 (2010)
7		Helle Hvid Hansen, Jan J. M. M. Rutten: Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. Sci. Ann. Comp. Sci. 20: 97-130 (2010)
	2009
6		Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Neighbourhood Structures: Bisimilarity and Basic Model Theory Logical Methods in Computer Science 5(2): (2009)
	2008
5		Helle Hvid Hansen: Coalgebraising Subsequential Transducers. Electr. Notes Theor. Comput. Sci. 203(5): 109-129 (2008)
	2007
4		Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293
	2006
3		Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten: Synthesis of Mealy Machines Using Derivatives. Electr. Notes Theor. Comput. Sci. 164(1): 27-45 (2006)
	2004
2		Helle Hvid Hansen, Clemens Kupke: A Coalgebraic Perspective on Monotone Modal Logic. Electr. Notes Theor. Comput. Sci. 106: 121-143 (2004)
	2002
1		Helle Hvid Hansen, Marc Pauly: Axiomatising Nash-Consistent Coalition Logic. JELIA 2002: 394-406

Coauthor Index

1	David Costa	[3]
2	Jeroen Ketema	[9] [10]
3	Bartek Klin	[11]
4	Clemens Kupke	[2] [4] [6]
5	Bas Luttik (S. P. Luttik)	[9] [10]
6	Mohammad Reza Mousavi	[9] [10]
7	Eric Pacuit	[4] [6]
8	Marc Pauly	[1]
9	Jaco van de Pol	[9] [10]
10	Jan J. M. M. Rutten	[3] [7]
11	Osmar Marchi dos Santos	[10]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page