Helle Hvid Hansen

57 papers A* 2B 8C 3Journal 27Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility. CoRR Helle Hvid Hansen, Wolfgang Poiger
2025	J	`jnl`	Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof. CoRR Manfred Borzechowski, Malvin Gattinger, Helle Hvid Hansen, Revantha Ramanayake, Valentina Trucco Dalmas, Yde Venema
2025	B	`conf`	Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics. CALCO Helle Hvid Hansen, Wolfgang Poiger
2025	A*	`conf`	Thin Coalgebraic Behaviours Are Inductive. LICS Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2025	J	`jnl`	Thin Coalgebraic Behaviours Are Inductive. CoRR Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2025	B	`conf`	Unambiguous Acceptance of Thin Coalgebras. MFPS Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2025	J	`jnl`	WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation. Math. Struct. Comput. Sci. Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz
2024	J	`jnl`	Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. CoRR Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2024	—	`conf`	Correspondence Between Composite Theories and Distributive Laws. CMCS Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2024	J	`jnl`	Correspondence between Composite Theories and Distributive Laws. CoRR Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2024	C	`conf`	Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients. ICTAC Anton Chernev, Helle Hvid Hansen, Clemens Kupke
2024	J	`jnl`	Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. CoRR Anton Chernev, Helle Hvid Hansen, Clemens Kupke
2023	—	`conf`	Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. Tbilisi Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2023	C	`ed.`	Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings WoLLIC Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz
2022	—	`conf`	Algebraic Presentation of Semifree Monads. CMCS Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2022	J	`jnl`	Algebraic Presentation of Semifree Monads. CoRR Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2022	—	`ed.`	Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings CMCS Helle Hvid Hansen, Fabio Zanasi
2022	J	`jnl`	Report on coalgebraic methods in computer science 2022. ACM SIGLOG News Helle Hvid Hansen, Fabio Zanasi
2020	B	`conf`	Logic-Induced Bisimulations. AiML Jim de Groot, Helle Hvid Hansen, Alexander Kurz
2020	J	`jnl`	Logic-Induced Bisimulations. CoRR Jim de Groot, Helle Hvid Hansen, Alexander Kurz
2020	J	`jnl`	Minimisation in Logical Form. CoRR Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
2019	B	`conf`	Arrow's Theorem Through a Fixpoint Argument. TARK Frank M. V. Feys, Helle Hvid Hansen
2019	A*	`conf`	Completeness for Game Logic. LICS Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019	J	`jnl`	Completeness for Game Logic. CoRR Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019	J	`jnl`	Newton series, coinductively: a comparative study of composition. Math. Struct. Comput. Sci. Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
2019	J	`jnl`	Well-definedness and observational equivalence for inductive-coinductive programs. J. Log. Comput. Henning Basold, Helle Hvid Hansen
2018	J	`jnl`	Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. Log. Methods Comput. Sci. Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2018	—	`conf`	Long-Term Values in Markov Decision Processes, (Co)Algebraically. CMCS Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss
2017	B	`conf`	Bisimulation for Weakly Expressive Coalgebraic Modal Logics. CALCO Zeinab Bakhtiari, Helle Hvid Hansen
2017	J	`jnl`	Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. CoRR Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2017	—	`ed.`	Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers TbiLLC Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
2017	—	`conf`	Neighbourhood Contingency Bisimulation. ICLA Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen
2017	J	`jnl`	Parity Games and Automata for Game Logic (Extended Version). CoRR Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2017	—	`conf`	Parity Games and Automata for Game Logic. DALI@TABLEAUX Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2017	J	`jnl`	Stream Differential Equations: Specification Formats and Solution Methods. Log. Methods Comput. Sci. Helle Hvid Hansen, Clemens Kupke, Jan Rutten
2015	J	`jnl`	A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2015	—	`conf`	A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2015	C	`conf`	Newton Series, Coinductively. ICTAC Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
2015	J	`jnl`	Presenting Distributive Laws. Log. Methods Comput. Sci. Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
2015	—	`conf`	Weak Completeness of Coalgebraic Dynamic Logics. FICS Helle Hvid Hansen, Clemens Kupke
2014	—	`conf`	(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
2014	—	`conf`	A Final Coalgebra for k-regular Sequences. Horizons of the Mind Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
2014	J	`jnl`	Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
2014	—	`conf`	Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal
2013	J	`jnl`	A Coinductive Treatment of Infinitary Rewriting. CoRR Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2013	B	`conf`	Presenting Distributive Laws. CALCO Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
2011	J	`jnl`	Pointwise extensions of GSOS-defined operations. Math. Struct. Comput. Sci. Helle Hvid Hansen, Bartek Klin
2010	—	`conf`	Automated Verification of Executable UML Models. FMCO Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos
2010	J	`jnl`	Subsequential transducers: a coalgebraic perspective. Inf. Comput. Helle Hvid Hansen
2010	J	`jnl`	Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. Sci. Ann. Comput. Sci. Helle Hvid Hansen, Jan J. M. M. Rutten
2010	J	`jnl`	Towards model checking executable UML specifications in mCRL2. Innov. Syst. Softw. Eng. Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol
2009	J	`jnl`	Neighbourhood Structures: Bisimilarity and Basic Model Theory Log. Methods Comput. Sci. Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
2008	—	`conf`	Coalgebraising Subsequential Transducers. CMCS Helle Hvid Hansen
2007	B	`conf`	Bisimulation for Neighbourhood Structures. CALCO Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
2006	—	`conf`	Synthesis of Mealy Machines Using Derivatives. CMCS Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten
2004	—	`conf`	A Coalgebraic Perspective on Monotone Modal Logic. CMCS Helle Hvid Hansen, Clemens Kupke
2002	B	`conf`	Axiomatising Nash-Consistent Coalition Logic. JELIA Helle Hvid Hansen, Marc Pauly