Hans Hüttel

Vis Scopus-profil

Fastnet9940 8888, 3175 4520
E-mailhanscs.aaudk

Selma Lagerløfs Vej 300, 2-2-46
9220 Aalborg Ø
Danmark
Selma Lagerlöfs Vej 300, Cassiopeia
9220 Aalborg
Danmark

Publikationer pr. år

54 Konferenceartikel i proceeding
15 Tidsskriftartikel
8 Konferenceartikel i tidsskrift
5 Rapport
Mere

8 resultater

Filter

2022
A Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S., 6 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, s. 43-59 17 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
2 Citationer (Scopus)

17 Downloads (Pure)
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Saioc, G. V. & Hüttel, H., 19 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, s. 51-66 16 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
2017

Using Session Types for Reasoning About Boundedness in the Pi-Calculus
Huttel, H., 2017, I: Electronic Proceedings in Theoretical Computer Science. 222, s. 67-82 15 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Using session types for reasoning about boundedness in the π-calculus
Hüttel, H., 31 aug. 2017, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 255, s. 67-82 16 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
153 Downloads (Pure)
2011

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols
Dahl, M., Kobayashi, N., Sun, Y. & Hüttel, H., 2011, I: Lecture Notes in Computer Science. 6996, s. 75-89 15 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

2 Citationer (Scopus)
Typed ψ-calculi
Hüttel, H., 2011, I: Lecture Notes in Computer Science. 6901, s. 265-279 15 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

11 Citationer (Scopus)
2009
Parametrised Constants and Replication for Spatial Mobility
Hüttel, H. & Haagensen, B., 2009, I: Lecture Notes in Computer Science. 5521, s. 123-142
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
2003
Deciding framed bisimilarity
Huttel, H., feb. 2003, I: Electronic Notes in Theoretical Computer Science. 68, 6, s. 1-18 18 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
11 Citationer (Scopus)

Hans Hüttel

Publikationer

Søgeresultater