( en | de | ru )

 

Disambiguierung von "Montanari, Angelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dealing with different time scales in formal specifications.

, , , , , , und . IWSSD, Seite 92-101. IEEE Computer Society, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Federico Montanari

Elke Montanari

Simone Montanari

Barbara Montanari

Ombretta Montanari

 

Weitere Publikationen von Autoren mit dem selben Namen

J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data., , , und . Comput., 8 (1): 21 (2019)An interval temporal logic characterization of extended ω-regular languages., , und . Theor. Comput. Sci., (Juni 2023)Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks., , und . MobiQuitous, Seite 215-224. ACM, (2020)Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals., , , , und . Inf. Comput., (2019)A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas., und . SEBD, Seite 495-498. (2007)Checking Workflow Schemas with Time Constraints Using Timed Automata., , und . OTM Workshops, Volume 3762 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2005)Modal Event Calculus., , und . ILPS, Seite 675. MIT Press, (1994)A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints., , , und . ICAART (1), Seite 154-163. SciTePress, (2012)From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)., , , und . SEBD, Seite 382-389. Esculapio Editore, (2010)Undecidability of future timeline-based planning over dense temporal domains., , , und . CoRR, (2019)