Concepedia

Hans Hüttel

HH

21

Publications

601

Citations

15

H-Index

1991

Active since

Affiliations

Aalborg University(Current)

Danish National Research Foundation

Hans Hüttel is an author at Aalborg University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationMobile ComputingProgram AnalysisSoftware AnalysisFormal Specification

Publications per year

1991–2020

21

Publications

21

Bisimulation Equivalence Is Decidable for All Context-Free Processes

Steffan Wittrup Christensen, Hans Hüttel, Colin Stirling · Information and Computation · 1995 · 115 citations · Full text

Engineering, Automated Reasoning, Verification +8

Actions speak louder than words: proving bisimilarity for context-free processes

Hans Hüttel, Colin Stirling · 2002 · 76 citations

Tableau Decision Method, Engineering, Communication +19

Undecidable Equivalences for Basic Process Algebra

Jan Friso Groote, Hans Hüttel · Information and Computation · 1994 · 72 citations · Full text

Engineering, Automated Reasoning, Formal Methods +5

Deciding Framed Bisimilarity

Hans Hüttel · Electronic Notes in Theoretical Computer Science · 2003 · 48 citations · Full text

Björn Victor, Formal Specification, Engineering +12

Undecidable equivalences for basic parallel processes

Hans Hüttel, Naoki Kobayashi, Takashi Suto · Information and Computation · 2009 · 24 citations · Full text

Engineering, Basic Parallel Processes, Automated Reasoning +8

Rows per page

1–5 of 21