Tijs Slaats
Lektor
Software, Data, People & Society
Sigurdsgade 41, 2200 København N.
- Udgivet
On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study
Abbad Andaloussi, A., Burattin, A., Slaats, Tijs, Kindler, E. & Weber, B., 2020, I: Information Systems. 91, 27 s., 101505.Publikation: Bidrag til tidsskrift › Review › Forskning › fagfællebedømt
- Udgivet
Open to change: A theory for iterative test-driven modelling
Slaats, Tijs, Debois, S. & Hildebrandt, Thomas Troels, 2018, Business Process Management - 16th International Conference, BPM 2018, Proceedings. Montali, M., Weber, I., Weske, M. & vom Brocke, J. (red.). Springer, s. 31-47 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11080 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit
Xu, Yibin, Slaats, Tijs & Duedder, Boris, 7 nov. 2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), s. 3495–3497Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019
Di Ciccio, C., Debois, S., Polyvyanyy, A., Slaats, Tijs, Hofstede, A. T. & Vanthienen, J., 2021, I: Journal on Data Semantics. 10, 1-2, s. 107 1 s.Publikation: Bidrag til tidsskrift › Leder › Forskning › fagfællebedømt
- Udgivet
Proceedings - Second International Symposium on Foundations and Applications of Blockchain (FAB): University of Southern California, Los Angeles, California, April 5, 2019
Barahmand, S. (red.), Ghandeharizadeh, S., Krishnamachari, B., Lugones, D. (red.), Nambiar, R. & Slaats, Tijs, 2019, University of Southern California. 53 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
- Udgivet
RESEDA: Declaring live event-driven computations as reactive semi-structured data
Costa Seco, J., Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 14 nov. 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, s. 75-84 10 s. 8536151Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
ReGraDa: Reactive Graph Data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12717 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, I: Acta Informatica. 55, s. 489–520Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Safe distribution of declarative processes
Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Barthe, G., Pardo, A. & Schneider, G. (red.). Springer, s. 237-252 16 s. (Lecture notes in computer science, Bind 7041).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
Debois, S., Hildebrandt, T. & Slaats, Tijs, 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (red.). Springer, s. 143-160 18 s. (Lecture notes in computer science, Bind 9109).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 161900503
Flest downloads
-
480
downloads
Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
358
downloads
Business process compliance using reference models of law
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
334
downloads
The semantics of hybrid process models
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet