Tijs Slaats
Associate Professor
Software, Data, People & Society
Sigurdsgade 41, 2200 København N.
- Published
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), p. 3495–3497Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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, In: Journal on Data Semantics. 10, 1-2, p. 107 1 p.Research output: Contribution to journal › Editorial › peer-review
- Published
Proceedings - Second International Symposium on Foundations and Applications of Blockchain (FAB): University of Southern California, Los Angeles, California, April 5, 2019
Barahmand, S. (ed.), Ghandeharizadeh, S., Krishnamachari, B., Lugones, D. (ed.), Nambiar, R. & Slaats, Tijs, 2019, University of Southern California. 53 p.Research output: Book/Report › Book
- Published
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, p. 75-84 10 p. 8536151Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, S., Hildebrandt, T. T. & Slaats, Tijs, 1 Sep 2018, In: Acta Informatica. 55, p. 489–520Research output: Contribution to journal › Journal article › peer-review
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. (eds.). Springer, p. 237-252 16 p. (Lecture notes in computer science, Vol. 7041).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
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. (eds.). Springer, p. 143-160 18 p. (Lecture notes in computer science, Vol. 9109).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The DCR graphs process portal
Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Impact of Modularization on the Understandability of Declarative Process Models: A Research Model
Abbad Andaloussi, A., Soffer, P., Slaats, Tijs, Burattin, A. & Weber, B., 2020, Information Systems and Neuroscience - NeuroIS Retreat 2020. Davis, F. D., Riedl, R., vom Brocke, J., Léger, P-M., Randolph, A. B. & Fischer, T. (eds.). Springer, p. 133-144 12 p. (Lecture Notes in Information Systems and Organisation, Vol. 43).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 161900503
Most downloads
-
440
downloads
Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain
Research output: Contribution to conference › Paper › Research
Published -
300
downloads
Business process compliance using reference models of law
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
233
downloads
The semantics of hybrid process models
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published