Hans Hüttel

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

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

    9220 Aalborg Ø

    Danmark

19952019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Keywords

  • Datalogi
  • proceskalkyler og deres matematiske teori

Fingeraftryk Fingeraftryk er baseret på at anvende teksten fra personernes videnskabelige dokumenter til at skabe et indeks med vægtede ord, som definerer de vigtigste emner fra hver enkelt forsker.

  • 18 Lignende profiler
Calculus Matematik
Replication Matematik
Recursion Matematik
Cryptographic Protocols Matematik
Mobile ad hoc networks Teknik og materialevidenskab
Network protocols Teknik og materialevidenskab
Correspondence Matematik
Reachability Analysis Matematik

Netværk Klik på punkterne for at se detaljerne.

Projekter 1999 2018

Publikationer 1995 2019

PBL og matematik

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

Publikation: Konferencebidrag uden forlag/tidsskriftPosterFormidling

Åben adgang

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 proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). Reading, UK: Academic Conferences and Publishing International, s. 161-169

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
π-calculus
Type Systems
Equivalence
Constant term
Bisimulation
Åben adgang
Fil
Blended Learning
classroom
Teaching
video
teacher