Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bart, Joost
9  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Facilitating Investment Strategy Negotiations Through Logic:

, In: 2023 IEEE Symposium Series on Computational Intelligence (SSCI),
Callewaert, Benjamin ; Decleyre, Nicholas ; Vandevelde, Simon... - p. 103-108 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Knowledge-Based Support for Adhesive Selection:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,
Vandevelde, Simon ; Jordens, Jeroen ; Van Doninck, Bart.. - p. 445-455 , 2022
Link: https://doi.org/10.1007/..
 
?
3

JetBrains MPS as Core DSL Technology for Developing Profess..:

, In: Domain-Specific Languages in Practice,
Schindler, Eugen ; Moneva, Hristina ; van Pinxten, Joost... - p. 53-91 , 2021
Link: https://doi.org/10.1007/..
 
?
4

6. THE FALL OF THE WALL (1989–1996): THE FORCES OF THE WAVE:

, In: OMA/Rem Koolhaas,
Welsh, John ; Ito, Toyo ; Lootsma, Bart... - p. 172-245 , 2019
Link: https://doi.org/10.1515/..
 
?
5

Explaining Actual Causation in Terms of Possible Causal Pro..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Denecker, Marc ; Bogaerts, Bart ; Vennekens, Joost - p. 214-230 , 2019
Link: https://doi.org/10.1007/..
 
?
6

XML transformation by tree-walking transducers with invisib..:

, In: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems,
Engelfriet, Joost ; Hoogeboom, Hendrik Jan ; Samwel, Bart - p. 63-72 , 2007
Link: https://dl.acm.org/doi/1..
 
?
7

Traffic Management for Cloud Federation:

, In: Lecture Notes in Computer Science; Autonomous Control for a Reliable Internet of Services,
Burakowski, Wojciech ; Beben, Andrzej ; van den Berg, Hans... - p. 269-312 , 2018
Link: https://doi.org/10.1007/..
 
?
8

Formal correctness, safety, dependability, and performance ..:

, In: Proceedings of the 34th International Conference on Software Engineering,
Esteve, Marie-Aude ; Katoen, Joost-Pieter ; Nguyen, Viet Yen.. - p. 1022-1031 , 2012
Link: https://dl.acm.org/doi/1..
 
?
9

Model checking of scenario-aware dataflow with CADP:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Theelen, Bart ; Katoen, Joost-Pieter ; Wu, Hao - p. 653-658 , 2012
Link: https://dl.acm.org/doi/1..
 
1-9