Time Granularities and Ultimately Periodic Automata

Time Granularities and Ultimately Periodic Automata

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Bresolin, D, Montanari, A, Puppis, G
বিন্যাস:	Journal article
প্রকাশিত:	2004

অনুরূপ উপাদানগুলি

A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity
অনুযায়ী: Bresolin, D, অন্যান্য
প্রকাশিত: (2009)

Compact and Tractable Automaton−based Representations for Time Granularities
অনুযায়ী: Lago, U, অন্যান্য
প্রকাশিত: (2007)

Towards Compact and Tractable Automaton−based Representations of Time Granularity
অনুযায়ী: Dal Lago, U, অন্যান্য
প্রকাশিত: (2003)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
অনুযায়ী: Montanari, A, অন্যান্য
প্রকাশিত: (2006)

Minimal Memory Automata
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2010)

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems
অনুযায়ী: Puppis, G
প্রকাশিত: (2010)

Automata vs. Logics on Data Words
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2010)

Automata vs. Logics on Data Words
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2010)

APPLICATION OF A CELLULAR AUTOMATA MODEL TO GRANULAR FLOW
অনুযায়ী: JAN KOZICKI, অন্যান্য
প্রকাশিত: (2002-07-01)

On the Equivalence of Automaton−Based Representations of Time Granularities
অনুযায়ী: Lago, U, অন্যান্য
প্রকাশিত: (2007)

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
অনুযায়ী: Karine Altisen, অন্যান্য
প্রকাশিত: (2010-06-01)

Ultimate Capacity and Load Transfer Mechanism of Ground Anchors in Granular Soils: State-of-the-Art
অনুযায়ী: Nadher H. Al-Baghdadi, অন্যান্য
প্রকাশিত: (2024-09-01)

Decidability of MSO Theories of Tree Structures
অনুযায়ী: Montanari, A, অন্যান্য
প্রকাশিত: (2004)

Decidability of the Theory of the Totally Unbounded omega−Layered Structure
অনুযায়ী: Montanari, A, অন্যান্য
প্রকাশিত: (2004)

A Contraction Method to Decide MSO Theories of Deterministic Trees
অনুযায়ী: Montanari, A, অন্যান্য
প্রকাশিত: (2007)

Parametric Interrupt Timed Automata
অনুযায়ী: Bérard, B, অন্যান্য
প্রকাশিত: (2013)

A new design equation for prediction of ultimate bearing capacity of shallow foundation on granular soils
অনুযায়ী: Ehsan Sadrossadat, অন্যান্য
প্রকাশিত: (2014-01-01)

Stochastic Timed Automata
অনুযায়ী: Nathalie Bertrand, অন্যান্য
প্রকাশিত: (2014-12-01)

Two variable logic with ultimately periodic counting
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2020)

Two variable logic with ultimately periodic counting
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2024)

Concavely−Priced Probabilistic Timed Automata
অনুযায়ী: Kwiatkowska, G, অন্যান্য
প্রকাশিত: (2009)

Reachability−Time Games on Timed Automata
অনুযায়ী: Jurdzinski, M, অন্যান্য
প্রকাশিত: (2007)

Concavely−Priced Timed Automata
অনুযায়ী: Jurdzinski, M, অন্যান্য
প্রকাশিত: (2008)

Strictly Temporally Periodic Points in Cellular Automata
অনুযায়ী: Alberto Dennunzio, অন্যান্য
প্রকাশিত: (2012-08-01)

Action Transducers and Timed Automata
অনুযায়ী: Lynch, Nancy A., অন্যান্য
প্রকাশিত: (2023)

Spectral Gap in Timed Automata
অনুযায়ী: Asarin, E, অন্যান্য
প্রকাশিত: (2013)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
অনুযায়ী: Jurdzinski, M, অন্যান্য
প্রকাশিত: (2009)

Integer Parameter Synthesis for Timed Automata
অনুযায়ী: Jovanović, A, অন্যান্য
প্রকাশিত: (2013)

A Decidable Spatial Logic with Cone−shaped Cardinal Directions
অনুযায়ী: Montanari, A, অন্যান্য
প্রকাশিত: (2009)

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
অনুযায়ী: Montanari, A, অন্যান্য
প্রকাশিত: (2010)

Decidability of the Interval Temporal Logic ABB Over the Natural Numbers
অনুযায়ী: Montanari, A, অন্যান্য
প্রকাশিত: (2010)

Revisiting reachability in timed automata
অনুযায়ী: Quaas, K, অন্যান্য
প্রকাশিত: (2017)

Weak Alternating Timed Automata
অনুযায়ী: Pawel Parys, অন্যান্য
প্রকাশিত: (2012-09-01)

Sampled Semantics of Timed Automata
অনুযায়ী: Pavel Krcal, অন্যান্য
প্রকাশিত: (2010-09-01)

Determinisability of register and timed automata
অনুযায়ী: Lorenzo Clemente, অন্যান্য
প্রকাশিত: (2022-05-01)

Relating timed and register automata
অনুযায়ী: Diego Figueira, অন্যান্য
প্রকাশিত: (2010-11-01)

An Introduction to Time-Constrained Automata
অনুযায়ী: Matthieu Lemerre, অন্যান্য
প্রকাশিত: (2010-10-01)

On Nonlinear Prices in Timed Automata
অনুযায়ী: Devendra Bhave, অন্যান্য
প্রকাশিত: (2016-12-01)

Adding Time to Pushdown Automata
অনুযায়ী: Parosh Aziz Abdulla, অন্যান্য
প্রকাশিত: (2012-12-01)

Zenoness for Timed Pushdown Automata
অনুযায়ী: Parosh Aziz Abdulla, অন্যান্য
প্রকাশিত: (2014-02-01)