Hans Hüttel - RankMe

62 papers A* 2B 7C 4Misc 1Journal 16Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations. PEPM Sean Kristian Remond Harbo, Hans Hüttel
2025	C	`conf`	A Type Safe Calculus for Generating Syntax-Directed Editors. PEPM Benjamin Bennetzen, Nikolaj Rossander Kristensen, Andreas Tor Mortensen, Peter Buus Steffensen, Sune Skaanning Engtorp, Hans Hüttel
2025	J	`jnl`	A generalised editor calculus (Short Paper). CoRR Benjamin Bennetzen, Peter Buus Steffensen, Hans Hüttel, Nikolaj Rossander Kristensen, Andreas Tor Mortensen
2025	J	`jnl`	On Program Synthesis and Large Language Models. Commun. ACM Hans Hüttel
2024	—	`conf`	A Type System for Data Flow and Alias Analysis in ReScript. FROM Nicky Ask Lund, Hans Hüttel
2024	J	`jnl`	A generic type system for higher-order Ψ-calculi. Inf. Comput. Hans Hüttel, Stian Lybech, Alexander Rønning Bendixen, Bjarke Bredow Bojesen
2024	J	`jnl`	A type system for data flow and alias analysis in ReScript. CoRR Nicky Ask Lund, Hans Hüttel
2024	—	`conf`	Functional Array Programming in an Extended Pi-Calculus. EXPRESS/SOS Hans Hüttel, Lars Jensen, Chris Oliver Paulsen, Julian Teule
2022	—	`conf`	A Generic Type System for Higher-Order Ψ-calculi. EXPRESS/SOS Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech
2022	—	`conf`	A Structure Editor with Type-Safe Copy/Paste. IFL Hans Hüttel, Anja Elisasen Lumholtz Nielsen, Nana Gjerulf Sandberg, Christoffer Lind Andersen, Peter Mikkelsen
2022	—	`conf`	A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. FROM Georgian-Vlad Saioc, Hans Hüttel
2021	—	`conf`	A type-safe structure editor calculus. PEPM@POPL Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie
2021	Misc	`conf`	An Editor Calculus With Undo/Redo. SYNASC Rasmus Rendal Kjær, Magnus Holm Lundbergh, Magnus Mantzius, Hans Hüttel
2021	—	`conf`	Behavioural separation with parallel usages. FTfJP@ECOOP Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
2020	B	`conf`	Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
2020	J	`jnl`	Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
2020	—	`conf`	Key Agreement in the Lightning Network Protocol. ICISSP (Revised Selected Papers) Hans Hüttel, Vilim Staroveski
2020	C	`conf`	Secrecy and Authenticity Properties of the Lightning Network Protocol. ICISSP Hans Hüttel, Vilim Staroveski
2020	J	`jnl`	Using session types for reasoning about boundedness in the π-calculus. Acta Informatica Hans Hüttel
2019	—	`conf`	A Web-Based Platform for Building PBL Competences Among Students. SETE@ICWL Hans Hüttel, Dorina Gnaur, Thomas Ryberg, Jette Egelund Holgaard
2019	J	`jnl`	A Web-Based Platform for Competence Development in PBL Supervision. Int. J. e Collab. Hans Hüttel, Dorina Gnaur
2019	—	`conf`	Locations and session types in a language with higher-order reflection. AGERE!@SPLASH Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech
2018	—	`conf`	A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning. CRIWG Hans Hüttel, Dorina Gnaur, Andreas Hairing Klostergaard, Gideon Blegmand
2018	—	`conf`	Context-Free Session Types for Applied Pi-Calculus. EXPRESS/SOS Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
2017	—	`conf`	A Platform for Developing and Maintaining Competences in PBL Supervision. SETE@ICWL Dorina Gnaur, Hans Hüttel
2017	—	`conf`	Inferring Types for Parallel Programs. PLACES@ETAPS Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
2017	—	`conf`	Using Session Types for Reasoning About Boundedness in the Pi-Calculus. EXPRESS/SOS Hans Hüttel
2016	B	`conf`	Binary Session Types for Psi-Calculi. APLAS Hans Hüttel
2016	J	`jnl`	Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
2015	—	`conf`	Broadcast and aggregation in BBC. PLACES Hans Hüttel, Nuno Pratas
2015	—	`conf`	Type Inference for Session Types in the π-calculus. WS-FM Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl
2014	—	`conf`	How a Flipped Learning Environment Affects Learning in a Course on Theoretical Computer Science. ICWL Dorina Gnaur, Hans Hüttel
2013	—	`conf`	Types for Resources in ψ-calculi. TGC Hans Hüttel
2012	—	`conf`	Experiences with Web-based Peer Assessment of Coursework. CSEDU (2) Hans Hüttel, Kurt Nørmark
2011	B	`conf`	Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. ATVA Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel
2011	B	`conf`	Typed ψ-calculi. CONCUR Hans Hüttel
2010	—	`conf`	Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. CATS Peter Finderup, Hans Hüttel, Jakob Svane Knudsen, Johannes Garm Nielsen
2010	—	`book`	Transitions and Trees - An Introduction to Structural Operational Semantics. Hans Hüttel
2009	C	`conf`	Parametrised Constants and Replication for Spatial Mobility. COORDINATION Bjørn Haagensen, Hans Hüttel
2009	J	`jnl`	Undecidable equivalences for basic parallel processes. Inf. Comput. Hans Hüttel, Naoki Kobayashi, Takashi Suto
2008	—	`conf`	Decidable Fragments of a Higher Order Calculus with Locations. EXPRESS Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel
2008	—	`conf`	Type Inference for Correspondence Types. SecCo@CONCUR Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
2008	—	`conf`	Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. FOCLASA@ICALP Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich
2007	B	`conf`	A Logical Characterisation of Static Equivalence. MFPS Hans Hüttel, Michael D. Pedersen
2006	J	`jnl`	Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reason. Hans Hüttel, Jirí Srba
2005	B	`conf`	Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM Hans Hüttel, Jirí Srba
2005	—	`conf`	Types for Access Control in a Calculus of Mobile Resources. SecCO@CONCUR Hans Hüttel, Morten Kühnrich
2002	J	`jnl`	Aliasing Models for Mobile Objects. Inf. Comput. Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
2002	—	`conf`	Deciding Framed Bisimilarity. INFINITY Hans Hüttel
2002	—	`conf`	Modal Logics for Cryptographic Processes. EXPRESS Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen
1999	—	`conf`	Aliasing Models for Object Migration. Euro-Par Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
1998	J	`jnl`	Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. J. Log. Comput. Hans Hüttel, Colin Stirling
1997	—	`conf`	Relating semantic models for the object calculus. EXPRESS Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist
1995	J	`jnl`	Bisimulation Equivalence is Decidable for All Context-Free Processes Inf. Comput. Søren Christensen, Hans Hüttel, Colin Stirling
1994	—	`conf`	Undecidable Equivalences for Basic Parallel Processes. TACS Hans Hüttel
1994	J	`jnl`	Undecidable Equivalences for Basic Process Algebra Inf. Comput. Jan Friso Groote, Hans Hüttel
1993	J	`jnl`	Decidability issues for infinite-state processes- a survey. Bull. EATCS Søren Christensen, Hans Hüttel
1992	B	`conf`	Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR Søren Christensen, Hans Hüttel, Colin Stirling
1991	A*	`conf`	Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes LICS Hans Hüttel, Colin Stirling
1991	A*	`conf`	Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. CAV Hans Hüttel
1990	J	`jnl`	SnS Can be Modally Characterized. Theor. Comput. Sci. Hans Hüttel
1989	—	`conf`	The Use of Static Constructs in A Modal Process Logic. Logic at Botik Hans Hüttel, Kim Guldstrand Larsen