Billede af Hans Hüttel

Vis Scopus-profil

Hans Hüttel

cand.scient (datalogi/matematik), Ph.D. (Edin.)

 https://orcid.org/0000-0002-4603-5407

  • Selma Lagerløfs Vej 300, 2-2-46

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

1989 …2023

Publikationer pr. år

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2022

    A Structure Editor with Type-Safe Copy/Paste

    Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 aug. 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Key Agreement in the Lightning Network Protocol

    Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). Springer, s. 139-155 17 s. (Communications in Computer and Information Science, Bind 1545 CCIS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)
  • 2021

    An Editor Calculus With Undo/Redo

    Kjær, R. R., Lundbergh, M. H., Nielsen, M. M. & Hüttel, H., dec. 2021, Proceedings of 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Schneider, C., Marin, M., Negru, V. & Zaharie, D. (red.). IEEE, s. 66-74 9 s. 9700397. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    75 Downloads (Pure)

  • A type-safe structure editor calculus

    Godiksen, C., Herrmann, T., Hüttel, H., Lauridsen, M. K. & Owliaie, I., 18 jan. 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, s. 1-13 13 s. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Behavioural separation with parallel usages

    Golovanov, I., Hüttel, H., Jakobsen, M. & Kettunen, M., 13 jul. 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (red.). Association for Computing Machinery, s. 51-58 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Going online: Student perspectives in a problem-based learning environment during the pandemic

    Andersen, E., Hüttel, H. & Gnaur, D., 2021, Proceedings of the 20th European Conference on e-Learning, ECEL 2021. Busch, C., Steinicke, M., Frieß, R. & Wendler, T. (red.). Academic Conferences and Publishing International, s. 42-49 8 s. (Proceedings of the European Conference on e-Learning, ECEL).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • HOW DID PBL MANAGE DURING THE TRANSITION TO ONLINE TEACHING DUE TO THE COVID-19 LOCKDOWN

    Hüttel, H., Gnaur, D. & Andersen, E. O., 2021, Transforming PBL Through Hybrid Learning Models: Timely Challenges and Answers in a (Post)-Pandemic Perspective and Beyond. Aalborg Universitetsforlag, s. 198-204 (International Research Symposium on PBL).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2020

    A web-based platform for building PBL competences among students

    Hüttel, H., Gnaur, D., Ryberg, T. & Holgaard, J. E., 1 jan. 2020, Emerging Technologies for Education - 4th International Symposium, SETE 2019, held in Conjunction with ICWL 2019, Revised Selected Papers. Popescu, E., Hao, T., Hsu, T-C., Xie, H., Temperini, M. & Chen, W. (red.). Springer VS, s. 175-182 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11984 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

    Bravetti, M., Francalanza, A., Golovanov, I., Hüttel, H., Jakobsen, M. S., Kettunen, M. K. & Ravara, A., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (red.). Springer, s. 105-124 20 s. (Lecture Notes in Computer Science, Bind 12470).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • How higher education adapted to online teaching at aalborg university after COVID-19: Experiences and perspectives

    Hüttel, H. & Gnaur, D., 2020, Proceedings of the 19th European Conference on e-Learning, ECEL 2020. Busch, C., Steinicke, M. & Wendler, T. (red.). Academic Conferences and Publishing International, s. 243-251 9 s. (Proceedings of the European Conference on e-Learning, ECEL, Bind 2020-October).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Secrecy and authenticity properties of the lightning network protocol

    Hüttel, H. & Staroveski, V., 2020, ICISSP 2020 - Proceedings of the 6th International Conference on Information Systems Security and Privacy. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). SCITEPRESS Digital Library, s. 119-130 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)
  • 2019

    Locations and session types in a language with higher-order reflection

    Tran, M., Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S. L., 22 okt. 2019, AGERE 2019 - Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019. Bergenti, F., Castegren, E., De Koster, J. & Franco, J. (red.). Association for Computing Machinery, s. 31-40 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2018

    A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning

    Hüttel, H., Gnaur, D., Klostergaard, A. H. & Blegmand, G., 4 sep. 2018, Collaboration and Technology: 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings. Rodrigues, A., Fonseca, B. & Preguiça, N. (red.). Springer, s. 177-184 8 s. (Lecture Notes in Computer Science (LNCS), Bind 11001).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Building a new Community Around a Platform for Developing PBL Competences

    Huttel, H. & Gnaur, D., nov. 2018, Proceedings of the 17th European Conference on e-Learning. Ntalianis, K., Andreatis, A. & Sgouropoulou, C. (red.). Reading, UK: Academic Conferences and Publishing International, s. 161-169

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Context-Free Session Types for Applied Pi-Calculus

    Aagaard, J., Hüttel, H., Steen Jakobsen, M. & Kettunen, M., 24 aug. 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.. Open Publishing Association, Bind 276. s. 3-18 16 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    202 Downloads (Pure)
  • 2017

    A Platform for Developing and Maintaining Competences in PBL Supervision

    Gnaur, D. & Huttel, H., dec. 2017, Emerging Technologies for Education: International Symposium on Emerging Technologies for Education. Huang, T-C., Lau, R., Huang, Y-M., Spaniol, M. & Yuen, C-H. (red.). Springer, s. 297-303 6 s. (Lecture Notes in Computer Science, Bind 10676).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Inferring types for parallel programs

    Martins, F., Vasconcelos, V. T. & Hüttel, H., 8 apr. 2017, Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . Vasconcelos, V. T. & Haller, P. (red.). Open Publishing Association, Bind 246. s. 28-36 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 246).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    218 Downloads (Pure)
  • 2016

    Binary Session Types for Psi-Calculi

    Bidragets oversatte titel: Binære sessionstyper for psi-kalkylerHuttel, H., 31 okt. 2016, Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Igarashi, A. (red.). s. 96-115 20 s. (Lecture Notes in Computer Science, Bind 10017).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Type Inference for Session Types in the Pi-Calculus

    Bidragets oversatte titel: Typeinferens for sessionstyper i pi-kalkylenGraversen, E. F., Harbo, J. B., Huttel, H., Bjerregaard, M. O., Poulsen, N. S. & Wahl, S., 2016, Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Hildebrandt, T., Ravara, A., van der Werf, J. M. & Weidlich, M. (red.). Heidelberg: Springer, s. 103-121 18 s. (Lecture Notes in Computer Science, Bind 9421).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)
  • 2015

    Broadcast and Aggregation in BBC

    Hüttel, H. & Kiilerich Pratas, N., 2015, Eighth International Workshop on Programming Language Approaches to Communication- and Concurrency-cEntric Systems. Gay, S. & Alglave, J. (red.). Electronic Proceedings in Theoretical Computer Science, s. 51-61

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
  • 2014

    How A Flipped Learning Environment Affects Learning In A Course On Theoretical Computer Science

    Gnaur, D. & Hüttel, H., 2014, Advances in Web-Based Learning - ICWL 2014 - Lecture Notes in Computer Science: 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings. Popescu, E., Lau, R. W. H., Pata, K., Leung, H. & Laanpere, M. (red.). Springer Publishing Company, Bind 8613. s. 219-228 (Lecture Notes in Computer Science, Bind 8613).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Types for resources in φ-calculi

    Hüttel, H., 1 jan. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8358 LNCS. s. 83-102 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)
  • 2013

    Types for resources in psi-calculi

    Bidragets oversatte titel: Typer for resurser i Ψ-kalkylerHüttel, H., 2013, TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). Abadi, M. & Lluch Lafuente, A. (red.). Springer Publishing Company, Bind 8358. s. 83-102

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2012

    A Secure Relay Protocol for Door Access Control

    Wognsen, E. R., Karlsen, H. S., Calverley, M., Follin, M., Thomsen, B. & Hüttel, H., nov. 2012, Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. Sociedade Brasileira de Computação (red.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, s. 196-209 14 s. (Anais do SBSeg).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Downloads (Pure)

  • Experiences with Web-Based Peer Assessment of Coursework

    Bidragets oversatte titel: Erfaringer med webbaseret fagfællebedømmelse af kursusaktiviteterHüttel, H. & Nørmark, K., 2012, Proceedings of the 4th International Conference on Computer Supported Education. Helfert, M., Martins, M. J. & Cordeiro, J. (red.). Portugal: SCITEPRESS Digital Library, Bind 2. s. 113-116 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    352 Downloads (Pure)
  • 2010

    Computing effects for correspondence types

    Hüttel, H., 2010, Proceedings of FCS'09. Cortier, V. (red.). s. 75-89

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    302 Downloads (Pure)

  • Don't Let The Opponents Grind You Down: Type Inference for a Correspondence Certifying Type System with Opponent Typing

    Dahl, M. & Hüttel, H., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Linear Uniform Receptiveness in a Pi-Calculus with Location Failures

    Hüttel, H., Garm Nielsen, J., Finderup, P. & Svane Knudsen, J., 2010, Proceedings of CATS 2010 - Computing: The Australasian Theory Symposium. Australian Computer Society, Bind 109. (Conferences in Research and Practice in Information Technology , Bind 109).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2009

    Decidable Fragments of a Higher Order Calculus with Locations

    Hüttel, H., Godskesen, J. C., Haagensen, B. & Bundgaard, M., 2009, Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008). Gorla, D. & Hildebrandt, T. (red.). Elsevier, s. 113-138 (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 1).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Type inference for correspondence types

    Hüttel, H., Gordon, A. & Hansen, R. R., 2009, Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier, s. 21-36 15 s. (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 3).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

    Hüttel, H., Kühnrich, M. & Godskesen, J. C., 2009, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008). 229 udg. Elsevier, Bind 2. s. 77-93 16 s. (Electronic Notes in Theoretical Computer Science; Nr. 229, Bind 2).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2008

    Secrecy in Mobile Ad-hoc Networks

    Hüttel, H. & Rafnsson, W., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Institute of Cybernetics at Tallinn University of Technology, s. 54-56 3 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2007

    A Logical Characterisation of Static Equivalence

    Bidragets oversatte titel: En logisk karakterisation af statisk ækvivalensHüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (red.). Pergamon Press, s. 139-159 (Electronic Notes in Theoretical Computer Science; Nr. 173).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)
  • 2006

    A Distributed Pi-Calculus with anonymous moves

    Hüttel, H., Godskesen, J. C. & Kühnrich, M., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Háskólinn í Reykjavík

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Sandboxing in a Distributed Pi-Calculus

    Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (red.). s. 114-128 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    371 Downloads (Pure)
  • 2005

    Recursion Versus Replication in Simple Cryptographic Protocols

    Hüttel, H. & Srba, J., 2005, SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Vojtáš, P., Bieliková, M., Charron-Bost, B. & Sýkora, O. (red.). IEEE Computer Society Press, s. 178-187 10 s. (Lecture Notes in Computer Science; Nr. 3381).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Recursion vs. Replication in Simple Cryptographic Protocols

    Huttel, H. & Srba, J., 2005, Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). s. 175-184 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    Fil
    470 Downloads (Pure)

  • Types for Access Control in a Calculus of Mobile Resources

    Hüttel, H. & Kühnrich, M., 2005, Electronic Notes in Theoretical Computer Science: Proceedings of SecCo'05. 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 2004

    Recursive Ping-Pong Protocols

    Huttel, H. & Srba, J., 2004, Proceedings of 4th International Workshop on Issues in the Theory of Security. s. 129-140 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 2002

    Deciding Framed Bisimilarity

    Huttel, H., 2002, Proceedings of the 4th International Workshop on Verification (INFINITY'02), Brno, Czech Republic, August 24, 2002: FIMU. RS-2002-04 udg. s. 1-20

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Modal Logics for Cryptographic Processes

    Frendrup, U., Huttel, H. & Jensen, N. J., 2002, Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.): Electronic notes in theoretical computer science. 68 udg. Pergamon Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    7 Citationer (Scopus)
  • 1999

    Aliasing Models for Object Migration

    Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. Amestoy, P., Berger, P., Daydé, M., Duff, I., Fraysee, V., Giraud, L. & Ruiz, D. (red.). 1685 udg. Springer, s. 1353-1368 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    5 Citationer (Scopus)

  • Migration = cloning; aliasiing

    Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Proceeding of FOOL6. Springer, Bind 1685. s. 1353-1368 (Lecture Notes in Computer Science; Nr. 1685).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 1998

    Surrogater i Øjeblik: mod migrerering i Obliq

    Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (red.). NS-98-5 udg. Department of Computer Science, Aarhus University, s. 43-50

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Surrogates in Øjeblik: Towards Migration in Obliq

    Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 1997

    Objects, Types and Modal Logics

    Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1997, Proceedings of FOOL4.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Relating Semantic Models for the Object Calculus: Preliminary Report

    Aceto, L., Hüttel, H., Ingolfsdottir, A. & Kleist, J., 1997, Proceedings of EXPRESS'97.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    1 Citationer (Scopus)
  • 1995

    Bisimulations for Asynchronous Mobile Processes

    Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Inferring Effect Types in an Applicative Language with Asynchronous Communication

    Hüttel, H., Hansen, M., Jensen, B. & Kleist, J., 1995, Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702 udg. Dept. of Computer Science, University of Illinois at Urbana-Campaign

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 1994

    Undecidable equivalences for basic parallel processes

    Hüttel, H., 1994, Theoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings. Hagiya, M. & Mitchell, J. C. (red.). Springer, s. 454-464 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 789 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    29 Citationer (Scopus)