Research output per year
Research output per year
Personal profile
Curriculum
My research is in Formal process models and semantics for concurrent, distributed and mobile systems, and their strategic applications to the development of new process languages and technologies for trustworthy, process- and service-oriented information systems, involving both computers, humans and their surrounding context. (Flyer from 2013 presenting my research and projects.)
My specifically, my research contributes to:
- Process languages and techniques for the development of workflow and business process management systems supporting flexible, adaptive, distributed and mobile processes.
- Meta-modelling techniques for concurrent, mobile and context-aware processes.
- Foundational reasoning techniques for higher-order mobile computing processes.
Keywords
- Process Models
- Concurrency Theory
- Adaptability
Fingerprint
Dive into the research topics where Thomas Hildebrandt is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ReGraDa: Reactive graph data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, In: Lecture notes in computer science. 12717, p. 188-205 18 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research
Open Access -
" We Would Never Write That Down" Classifications of Unemployed and Data Challenges for AI
Petersen, A., Christensen, L. R., Harper, R. & Hildebrandt, T., 22 Apr 2021, In: Proceedings of the ACM on Human-Computer Interaction - CSCW. 5, CSCW1, p. 1 26 p., 102.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access -
Zoom and enhance: Action refinement via subprocesses in timed declarative processes
Norman, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 2021, Business process management - 19th international conference, BPM 2021, rome, italy, september 06-10, 2021, proceedings. Polyvyanyy, A., Wynn, M. T., Looy, A. V. & Reichert, M. (eds.). Springer, Vol. 12875. p. 161-178 18 p. (Lecture notes in computer science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Declarative Choreographies and Liveness
Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., Jun 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
On Purpose and by Necessity: Compliance under the GDPR
Basin, D., Debois, S. & Hildebrandt, T., 2018, Financial Cryptography and Data Security. 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018,. Springer, (Lecture Notes in Computer Science, Vol. 10957).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile
-
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
Hildebrandt, T. (CoI)
01/08/2012 → 30/06/2015
Project: Research
-
Co-financed PhD scholarships for the FIRST Research School
Birkedal, L. (PI) & Hildebrandt, T. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 15/08/2013
Project: Research
-
Technologies for Declarative Model-driven Development of Cross-organizational Process Aware
Hildebrandt, T. (PI)
01/08/2011 → 30/07/2014
Project: Research
-
RCES: Resource-Constrained Embedded Systems
Sestoft, P. (PI), Andersen, H. R. (Collaborator), Hulgaard, H. (Collaborator), Godskesen, J. C. (Collaborator), Hildebrandt, T. (Collaborator), Larsen, K. F. (Collaborator), Lichtenberg, J. (Collaborator) & Wasowski, A. (Collaborator)
01/07/1999 → 26/05/2005
Project: Research
-
Fra visuel procesdesign og kravspecifikation til fleksible digitale arbejdsgange
Hildebrandt, T. (PI) & Lauesen, S. (CoI)
Innovationsnetværk for IT - InfinIT
01/04/2013 → 31/05/2014
Project: Research
Press/Media
-
Professor: Vi skal bruge teknologien bedre - så it-faget skal også være for dem med juridisk eller musisk baggrund
21/08/2021
1 Media contribution
Press/Media: Press / Media
-
Professor advarer mod kommunal udrulning af børne-AI: »Jeg synes, det er uforsvarligt«
05/07/2021
1 Media contribution
Press/Media: Press / Media
-
Kunstig intelligens hjælper sagsbehandlere med at finde vej i regler og arbejdsgange
22/05/2020
1 Media contribution
Press/Media: Press / Media
-
Nyt digitalt værktøj rejser røde flag i virvar af love og regler
12/02/2020
1 Media contribution
Press/Media: Press / Media
-
Debat: Nyt digitalt værktøj hjælper sagsbehandlere med at overholde love og regler
11/02/2020
1 Media contribution
Press/Media: Press / Media