Thomas T. Hildebrandt
Orcid: 0000-0002-7435-5563Affiliations:
- University of Copenhagen, Denmark
- IT University of Copenhagen, Denmark (former)
According to our database1,
Thomas T. Hildebrandt
authored at least 110 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
The Right to Transparency in Public Governance: Freedom of Information and the Use of Artificial Intelligence by Public Agencies.
Digit. Gov. Res. Pract., March, 2024
2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs.
Proceedings of the IEEE/ACM International Conference on Software and System Processes, 2023
Proceedings of the Business Process Management Forum, 2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces.
Proceedings of the Process Mining Workshops, 2022
Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems, 2022
2021
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud.
Softw. Syst. Model., 2021
"We Would Never Write That Down": Classifications of Unemployed and Data Challenges for AI.
Proc. ACM Hum. Comput. Interact., 2021
Street-Level Algorithms and AI in Bureaucratic Decision-Making: A Caseworker Perspective.
Proc. ACM Hum. Comput. Interact., 2021
BERMUDA: Towards Maintainable Traceability of Events for Trustworthy Analysis of Non-process-aware Information Systems.
EMISA Forum, 2021
Proceedings of the Coordination Models and Languages, 2021
Proceedings of the 14th Biannual Conference of the Italian SIGCHI Chapter, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
Proceedings of the Business Process Management Workshops, 2021
2020
Comput. Support. Cooperative Work., 2020
Shifting Concepts of Value: Designing Algorithmic Decision-Support Systems for Public Services.
Proceedings of the NordiCHI '20: Shaping Experiences, 2020
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers.
Proceedings of the ICSSP '20: International Conference on Software and System Processes, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Proceedings of the Companion of the 2020 ACM International Conference on Supporting Group Work, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019
Proceedings of the Conceptual Modeling - 38th International Conference, 2019
Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019
2018
Replication, refinement & reachability: complexity in dynamic condition-response graphs.
Acta Informatica, 2018
Proceedings of the Financial Cryptography and Data Security, 2018
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
EcoKnow: Effective, Co-Created & Compliant Adaptive Case Management for Knowledge Workers.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Workshop, 2018
Proceedings of the Business Process Management - 16th International Conference, 2018
Proceedings of the Dissertation Award, 2018
Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights.
Proceedings of the Business Process Management Workshops, 2018
Proceedings of the Business Process Management Cases, 2018
2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 8th International Conference on Communities and Technologies, Troyes, France, June 26, 2017
Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs.
Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), 2017
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs.
Proceedings of the Joint Proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium co-located with 16th International Conference on Perspectives in Business Informatics Research (BIR 2017), Copenhagen, Denmark, August 28, 2017
2016
J. Log. Algebraic Methods Program., 2016
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Log. Methods Comput. Sci., 2016
Flexible, adaptable, and compliant business systems with dynamic condition response graphs.
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, 2016
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans.
Proceedings of the 7th International Conference on Ambient Systems, 2016
2015
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9.
Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the Business Process Management - 13th International Conference, 2015
Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015
2014
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Proceedings of the 2nd IEEE International Conference on Mobile Cloud Computing, 2014
A Case for Declarative Process Modelling: Agile Development of a Grant Application System.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014
Proceedings of the Business Process Management - 12th International Conference, 2014
2013
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs.
J. Log. Algebraic Methods Program., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs.
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013
Proceedings of the Foundations of Health Information Engineering and Systems, 2013
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013
Proceedings of the Business Process Management - 11th International Conference, 2013
2012
Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Foundations of Health Information Engineering and Systems, 2012
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012
2011
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs.
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011
2010
Math. Struct. Comput. Sci., 2010
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
2009
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.
Proceedings of the Logic Programming, 25th International Conference, 2009
2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the Business Process Management Workshops, 2008
2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.
Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007
2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
2004
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004
2003
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay.
Theor. Comput. Sci., 2003
Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003
2002
2000
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999
1996
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996
Proceedings of the CONCUR '96, 1996