Edit Profile (opens in new tab) Hansen, Helle Hvid Compute Distance To: Compute Author ID: hansen.helle-hvid Published as: Hansen, Helle Hvid; Hansen, Helle H. External Links: MGP Documents Indexed: 28 Publications since 2002 2 Contributions as Editor Co-Authors: 31 Co-Authors with 28 Joint Publications 709 Co-Co-Authors all top 5 Co-Authors 2 single-authored 8 Kupke, Clemens 8 Rutten, Jan J. M. M. 4 Basold, Henning 4 Bonsangue, Marcello Maria 3 Endrullis, Jörg 3 Kurz, Alexander 3 Silva, Alexandra 2 Feys, Frank M. V. 2 Hendriks, Dimitri 2 Pacuit, Eric 2 Pin, Jean-Eric 2 Polonsky, Andrew 2 Rot, Jurriaan 1 Bakhtiari, Zeinab 1 Bonchi, Filippo 1 Costa, David Goldstein 1 De Groot, Jim 1 Klin, Bartek 1 Leal, Raul Andres 1 Marti, Johannes 1 Moss, Lawrence S. 1 Murray, Sarah E. 1 Panangaden, Prakash 1 Pauly, Marc 1 Rosset, Aloïs 1 Sadrzadeh, Mehrnoosh 1 van Ditmarsch, Hans Pieter 1 Venema, Yde 1 Winter, Joost 1 Zanasi, Fabio 1 Zeevat, Henk W. all top 5 Serials 4 Logical Methods in Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 Lecture Notes in Computer Science 1 Information and Computation 1 Journal of Logic and Computation 1 ACM Transactions on Computational Logic 1 Scientific Annals of Computer Science all top 5 Fields 24 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 10 Category theory; homological algebra (18-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 131 times in 109 Documents Cited by ▼ Year ▼ Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric 29 2009 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 20 2014 A coalgebraic perspective on monotone modal logic. Zbl 1271.03029Hansen, Helle Hvid; Kupke, Clemens 18 2004 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 9 2015 Presenting distributive laws. Zbl 1394.68238Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan 7 2013 Bisimulation for neighbourhood structures. Zbl 1172.03314Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric 6 2007 Neighbourhood contingency bisimulation. Zbl 1485.03063Bakhtiari, Zeinab; van Ditmarsch, Hans; Hansen, Helle Hvid 5 2017 Strong completeness for iteration-free coalgebraic dynamic logics. Zbl 1418.03085Hansen, Helle Hvid; Kupke, Clemens; Leal, Raul Andres 5 2014 Subsequential transducers: a coalgebraic perspective. Zbl 1209.68297Hansen, Helle Hvid 4 2010 Stream differential equations: specification formats and solution methods. Zbl 1451.68181Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan 4 2017 Axiomatising Nash-consistent coalition logic. Zbl 1013.68207Hansen, Helle Hvid; Pauly, Marc 3 2002 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 3 2018 Presenting distributive laws. Zbl 1448.68324Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan 3 2015 Weak completeness of coalgebraic dynamic logics. Zbl 1476.03036Hansen, Helle Hvid; Kupke, Clemens 3 2015 (Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan 3 2014 Synthesis of Mealy machines using derivatives. Zbl 1276.68111Hansen, Helle Hvid; Costa, David; Rutten, Jan 3 2006 Pointwise extensions of GSOS-defined operations. Zbl 1237.18004Hansen, Helle Hvid; Klin, Bartek 1 2011 Newton series, coinductively. Zbl 1407.68316Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2015 Long-term values in Markov decision processes, (co)algebraically. Zbl 06962933Feys, Frank M. V.; Hansen, Helle Hvid; Moss, Lawrence S. 1 2018 A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost 1 2014 Coalgebraising subsequential transducers. Zbl 1279.18002Hansen, Helle Hvid 1 2008 Parity games and automata for game logic. Zbl 1499.03024Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde 1 2018 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 3 2018 Long-term values in Markov decision processes, (co)algebraically. Zbl 06962933Feys, Frank M. V.; Hansen, Helle Hvid; Moss, Lawrence S. 1 2018 Parity games and automata for game logic. Zbl 1499.03024Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde 1 2018 Neighbourhood contingency bisimulation. Zbl 1485.03063Bakhtiari, Zeinab; van Ditmarsch, Hans; Hansen, Helle Hvid 5 2017 Stream differential equations: specification formats and solution methods. Zbl 1451.68181Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan 4 2017 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 9 2015 Presenting distributive laws. Zbl 1448.68324Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan 3 2015 Weak completeness of coalgebraic dynamic logics. Zbl 1476.03036Hansen, Helle Hvid; Kupke, Clemens 3 2015 Newton series, coinductively. Zbl 1407.68316Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 20 2014 Strong completeness for iteration-free coalgebraic dynamic logics. Zbl 1418.03085Hansen, Helle Hvid; Kupke, Clemens; Leal, Raul Andres 5 2014 (Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan 3 2014 A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost 1 2014 Presenting distributive laws. Zbl 1394.68238Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan 7 2013 Pointwise extensions of GSOS-defined operations. Zbl 1237.18004Hansen, Helle Hvid; Klin, Bartek 1 2011 Subsequential transducers: a coalgebraic perspective. Zbl 1209.68297Hansen, Helle Hvid 4 2010 Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric 29 2009 Coalgebraising subsequential transducers. Zbl 1279.18002Hansen, Helle Hvid 1 2008 Bisimulation for neighbourhood structures. Zbl 1172.03314Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric 6 2007 Synthesis of Mealy machines using derivatives. Zbl 1276.68111Hansen, Helle Hvid; Costa, David; Rutten, Jan 3 2006 A coalgebraic perspective on monotone modal logic. Zbl 1271.03029Hansen, Helle Hvid; Kupke, Clemens 18 2004 Axiomatising Nash-consistent coalition logic. Zbl 1013.68207Hansen, Helle Hvid; Pauly, Marc 3 2002 all cited Publications top 5 cited Publications all top 5 Cited by 133 Authors 8 De Groot, Jim 8 van Benthem, Johan F. A. K. 7 Hansen, Helle Hvid 7 Pattinson, Dirk 6 Bonchi, Filippo 6 Kupke, Clemens 6 Rot, Jurriaan 6 Zanasi, Fabio 5 Bezhanishvili, Nick 5 Rutten, Jan J. M. M. 5 Schröder, Lutz 5 Silva, Alexandra 4 Bonsangue, Marcello Maria 4 Sobociński, Paweł 3 Basold, Henning 3 Celani, Sergio Arturo 3 Endrullis, Jörg 3 Fan, Jie 3 Klin, Bartek 3 Otto, Martin 3 Pacuit, Eric 3 Panangaden, Prakash 3 Venema, Yde 2 Balle, Borja 2 Ballester-Bolinches, Adolfo 2 Brengos, Tomasz 2 Ciardelli, Ivano A. 2 Cohen, Liron 2 Colcombet, Thomas 2 Cosme-Llópez, Enric 2 Czajka, Łukasz 2 de Vrijer, Roel 2 Enqvist, Sebastian 2 Hasuo, Ichiro 2 Hendriks, Dimitri 2 Klop, Jan Willem 2 Kurz, Alexander 2 Lombardi, Carlos 2 Peressotti, Marco 2 Petrisan, Daniela Luan 2 Piedeleu, Robin 2 Polonsky, Andrew 2 Pous, Damien 2 Ríos, Alejandro 2 van Ditmarsch, Hans Pieter 2 Wang, Yanjing 2 Yu, Junhua 1 Abramsky, Samson 1 Adámek, Jiří 1 Aiguier, Marc 1 Bakhtiari, Zeinab 1 Barbosa, Luís Soares 1 Bezhanishvili, Guram 1 Boulanger, Frédéric 1 Broersen, Jan M. 1 Cîrstea, Corina 1 Ding, Yifeng 1 Doberkat, Ernst-Erich 1 Fernández Duque, David 1 Fervari, Raul 1 Furusawa, Hitoshi 1 Gabelaia, David 1 Ganty, Pierre 1 Gao, Nan 1 Gehrke, Mai 1 Ghosh, Sujata 1 Gilbert, David Robert 1 Gourdeau, Pascale 1 Gruska, Jozef 1 Gu, Tao 1 Gumm, Heinz-Peter 1 Gutiérrez, Elena 1 Hausmann, Daniel 1 Jacobs, Bart 1 Jipsen, Peter 1 Kanso, Bilal 1 Karhumaki, Juhani 1 Kawahara, Yasuo 1 Kaznatcheev, Artem 1 Komendantskaya, Ekaterina 1 Külshammer, Julian 1 Kvamme, Sondre 1 Leal, Raul Andres 1 Li, Lvzhou 1 Liu, Fenrong 1 Liu, Jixin 1 Lorini, Emiliano 1 Madlener, Ken 1 Maffezioli, Paolo 1 Marsden, Dan 1 Marti, Johannes 1 Mastop, Rosja 1 Meissner, Silke 1 Menchon, Ma. Paula 1 Menchón, Paula 1 Meyer, John-Jules Charles 1 Miculan, Marino 1 Milius, Stefan 1 Moshier, M. Andrew 1 Moss, Lawrence S. ...and 33 more Authors all top 5 Cited in 23 Serials 12 Logical Methods in Computer Science 9 Theoretical Computer Science 9 Information and Computation 6 Studia Logica 5 Journal of Logical and Algebraic Methods in Programming 4 Journal of Philosophical Logic 3 Annals of Pure and Applied Logic 3 The Review of Symbolic Logic 2 Notre Dame Journal of Formal Logic 2 Synthese 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Logic, Language and Information 1 Acta Informatica 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Topology and its Applications 1 Order 1 Archive for Mathematical Logic 1 Communications in Contemporary Mathematics 1 Logic and Logical Philosophy 1 Theory and Practice of Logic Programming all top 5 Cited in 15 Fields 70 Computer science (68-XX) 55 Mathematical logic and foundations (03-XX) 25 Category theory; homological algebra (18-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 3 General topology (54-XX) 2 General algebraic systems (08-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Operator theory (47-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year