H. Hansen

发表

Helle Hvid Hansen, Clemens Kupke, Eric Pacuit, 2009, Log. Methods Comput. Sci..
Y. Venema, H. Hansen, Johannes Marti, 2019 .
H. Hansen, J. Endrullis, Alois Rosset, 2022, CMCS.
H. Hansen, R. Leal, 2010 .
Helle Hvid Hansen, Clemens Kupke, H. Hansen, 2004, CMCS.
Helle Hvid Hansen, Lawrence S. Moss, Frank M. V. Feys, 2018, CMCS.
Helle Hvid Hansen, Frank M. V. Feys, H. Hansen, 2019, TARK.
Marcello M. Bonsangue, Jan J. M. M. Rutten, Helle Hvid Hansen, 2014, Horizons of the Mind.
Helle Hvid Hansen, Yde Venema, Johannes Marti, 2018, DALI@TABLEAUX.
Helle Hvid Hansen, Yde Venema, Johannes Marti, 2017, ArXiv.
Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal, 2014, IFIP TCS.
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit, 2007, CALCO.
Helle Hvid Hansen, Marc Pauly, H. Hansen, 2002, JELIA.
Gijsbert Korevaar, Zofia Lukszo, H. Hansen, 2019, Energies.
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit, 2003 .
Helle Hvid Hansen, Hans van Ditmarsch, Zeinab Bakhtiari, 2017, ICLA.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2014, ACM Trans. Comput. Log..
Bas Luttik, Osmar Marchi dos Santos, Jaco van de Pol, 2010, FMCO.
Alexandra Silva, Helle Hvid Hansen, Andrew Polonsky, 2017, Log. Methods Comput. Sci..
Alexandra Silva, Helle Hvid Hansen, Andrew Polonsky, 2013, ArXiv.
Jan J. M. M. Rutten, Helle Hvid Hansen, David Costa, 2006, CMCS.
H. Hansen, R. Re, A. Palmigiano, 2015 .
Jan J. M. M. Rutten, Helle Hvid Hansen, Clemens Kupke, 2014, Log. Methods Comput. Sci..
Alexandra Silva, Helle Hvid Hansen, Prakash Panangaden, 2020, ArXiv.
Jurriaan Rot, Marcello M. Bonsangue, Helle Hvid Hansen, 2013, CALCO.
Gijsbert Korevaar, Helle Hvid Hansen, Zofia Lukszo, 2021 .
Helle Hvid Hansen, H. Hansen, 2010, Inf. Comput..
Helle Hvid Hansen, H. Hansen, 2008, CMCS.
Helle Hvid Hansen, Henning Basold, H. Hansen, 2019, J. Log. Comput..