Hans Hüttel

cand.scient (computing/maths), PhD (Edin.)

  • Selma Lagerløfs Vej 300, 5-2-34

    9220 Aalborg Ø

    Denmark

19952019
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Computer Science
  • process calculi and their underlying theories

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 17 Similar Profiles
Calculus Mathematics
Replication Mathematics
Recursion Mathematics
Cryptographic Protocols Mathematics
Mobile ad hoc networks Engineering & Materials Science
Network protocols Engineering & Materials Science
Correspondence Mathematics
Reachability Analysis Mathematics

Network Dive into details by clicking on the dots.

Projects 1999 2018

Research Output 1995 2019

PBL og matematik

Hüttel, H., Rasmussen, J. G., Rasmussen, M. G. & Søndergaard, B. D., 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

Open Access

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. (eds.). Springer, p. 177-184 8 p. (Lecture Notes in Computer Science (LNCS), Vol. 11001).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Teaching
Problem-Based Learning

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. (eds.). Reading, UK: Academic Conferences and Publishing International, p. 161-169

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

81 Downloads (Pure)

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, Vol. 276. p. 3-18 16 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
π-calculus
Type Systems
Equivalence
Constant term
Bisimulation
Open Access
File
Blended Learning
classroom
Teaching
video
teacher