Mitsikas, Theodoros
14  Ergebnisse:
Personensuche X
?
1

Modeling Medical Data Access with Prova:

, In: New Frontiers in Artificial Intelligence; Lecture Notes in Computer Science,
 
?
 
?
3

cl-psoatransrun: An Efficiently Executable Specification of..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,
Thom, Mark ; Boley, Harold ; Mitsikas, Theodoros - p. 234-249 , 2021
 
?
4

Invertible Bidirectional Metalogical Translation Between Pr..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,
Thom, Mark ; Boley, Harold ; Mitsikas, Theodoros - p. 112-128 , 2020
 
?
5

ExosCE: A legal-based computational system for compliance w..:

Almpani, Sofia ; Mitsikas, Theodoros ; Stefaneas, Petros.
Paladyn, Journal of Behavioral Robotics.  11 (2020)  1 - p. 414-427 , 2020
 
?
6

Aligning, Interoperating, and Co-executing Air Traffic Cont..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,
 
?
7

Computational Regulation of Medical Devices in PSOA RuleML:

, In: Rules and Reasoning; Lecture Notes in Computer Science,
Almpani, Sofia ; Stefaneas, Petros ; Boley, Harold.. - p. 203-210 , 2018
 
?
8

Object-Relational Rules for Medical Devices: Classification..:

, In: Lecture Notes in Computer Science; On the Move to Meaningful Internet Systems. OTM 2018 Conferences,
Almpani, Sofia ; Stefaneas, Petros ; Boley, Harold.. - p. 584-591 , 2018
 
1-14