-
1
-
2
Streamlining Temporal Formal Verification over Columnar Databases
Veröffentlicht in Information (Basel)
VolltextArtikel -
3
Advancements and Challenges in IoT Simulators: A Comprehensive Review
Veröffentlicht in Sensors (Basel, Switzerland)
VolltextArtikel -
4
-
5
Quickening Data-Aware Conformance Checking through Temporal Algebras
Veröffentlicht in Information (Basel)
VolltextArtikel -
6
Matching and Rewriting Rules in Object-Oriented Databases
Veröffentlicht in Mathematics (Basel)
VolltextArtikel -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
On Declare MAX-SAT and a finite Herbrand Base for data-aware logs
Veröffentlicht in arXiv.org
VolltextArtikel -
16
-
17
Generalised Graph Grammars for Natural Language Processing
Veröffentlicht in arXiv.org
VolltextArtikel -
18
-
19
-
20