Title
Verification of Human Driven Data-Centric Dynamic Systems
Year
Venue
Field
2014
AAAI Spring Symposia
Database-centric architecture,Countable set,Nondeterministic algorithm,Relational database,Business process,Computer science,Decidability,Theoretical computer science,Dynamical system,Formal verification,Distributed computing
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
11
5
Name
Order
Citations
PageRank
Babak Bagheri Hariri120511.55
Diego Calvanese210262792.67
Giuseppe De Giacomo37004590.40
Alin Deutsch42267247.45
Marco Montali5128099.36