Account
Edit tools
Intern
SucheSearch
English

Von Tomas Masopust hochgeladene Dateien

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Diese Spezialseite listet alle hochgeladenen Dateien auf.

Dateiliste
Erste SeiteVorherige SeiteNächste SeiteLetzte Seite
Datum Name Vorschaubild Größe Beschreibung Versionen
15:04, 12. Jul. 2017 Complexity of Verifying Nonblockingness in Modular Supervisory Control.pdf (Datei) 295 KB   1
11:32, 11. Jul. 2017 Complexity of Infimal Observable Superlanguages.pdf (Datei) 293 KB   1
11:23, 11. Jul. 2017 Complexity of Universality and Related Problems for Partially Ordered NFAs.pdf (Datei) 282 KB   1
17:54, 4. Mai 2017 1603.00361.pdf (Datei) 755 KB   1
17:52, 4. Mai 2017 Tcs bool.pdf (Datei) 224 KB   1
17:47, 4. Mai 2017 Most extension.pdf (Datei) 231 KB   1
13:14, 13. Jun. 2016 On the Complexity of Universality for Partially Ordered NFAs.pdf (Datei) 585 KB Full version of the MFCS 2016 paper 1
10:43, 19. Feb. 2016 Uconn full.pdf (Datei) 291 KB   1
16:26, 31. Aug. 2015 Relative Observability in Coordination Control.pdf (Datei) 269 KB   1
21:18, 23. Jul. 2015 Jktmjhvs acc2015.pdf (Datei) 185 KB   1
16:10, 14. Jul. 2015 On k-pt (report) 2.pdf (Datei) 209 KB   1
16:09, 14. Jul. 2015 On k-pt (report).pdf (Datei) 209 KB   3
11:45, 19. Mai 2015 FDQL15-exercise04.pdf (Datei) 67 KB   1
11:44, 19. Mai 2015 FDQL15-exercise03.pdf (Datei) 55 KB   1
16:45, 29. Okt. 2014 Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions.pdf (Datei) 214 KB   1
16:39, 29. Okt. 2014 Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control.pdf (Datei) 308 KB   1
16:36, 29. Okt. 2014 A Note on Relative Observability in Coordination Control.pdf (Datei) 90 KB   1
16:32, 29. Okt. 2014 A Note on Undecidability of Observation Consistency for Non-Regular Language.pdf (Datei) 62 KB   1
16:31, 29. Okt. 2014 Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanism.pdf (Datei) 130 KB   1
16:23, 29. Okt. 2014 On Algorithms and Extensions of Coordination Control of Discrete-Event Systems.pdf (Datei) 227 KB   1
16:18, 29. Okt. 2014 Multilevel coordination control of modular DES.pdf (Datei) 204 KB   1
16:17, 29. Okt. 2014 On the State Complexity of the Reverse of R- and J-Trivial Regular Languages.pdf (Datei) 354 KB   1
16:16, 29. Okt. 2014 On Properties and State Complexity of Deterministic State-Partition Automata.pdf (Datei) 336 KB   1
16:15, 29. Okt. 2014 On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs.pdf (Datei) 260 KB   1
16:12, 29. Okt. 2014 Hierarchical control with partial observations Sufficient conditions.pdf (Datei) 254 KB   1
16:09, 29. Okt. 2014 State Complexity of Projected Languages.pdf (Datei) 204 KB   1
16:06, 29. Okt. 2014 Complexity in Union-Free Regular Languages DLT.pdf (Datei) 186 KB   1
16:01, 29. Okt. 2014 Blackhole State-Controlled Regulated Pushdown Automata.pdf (Datei) 167 KB   1
16:00, 29. Okt. 2014 A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking.pdf (Datei) 114 KB   1
15:56, 29. Okt. 2014 A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions.pdf (Datei) 110 KB   1
15:54, 29. Okt. 2014 Regulated Nondeterminism in PDAs The Non-Regular Case.pdf (Datei) 159 KB   1
15:52, 29. Okt. 2014 Descriptional Complexity of Three-Nonterminal Scattered Context Grammars An Improvemen.pdf (Datei) 150 KB   1
15:50, 29. Okt. 2014 On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops.pdf (Datei) 126 KB   1
15:49, 29. Okt. 2014 Descriptional Complexity of Generalized Forbidding Grammars.pdf (Datei) 146 KB   1
15:44, 29. Okt. 2014 Descriptional Complexity of Grammars Regulated by Context Conditions.pdf (Datei) 123 KB   1
15:42, 29. Okt. 2014 On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components.pdf (Datei) 134 KB   1
11:12, 29. Okt. 2014 On context-free rewriting with a simple restriction and its computational completeness.pdf (Datei) 149 KB   1
11:10, 29. Okt. 2014 On the descriptional complexity of scattered context grammars.pdf (Datei) 112 KB   1
11:07, 29. Okt. 2014 Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars.pdf (Datei) 183 KB   1
11:02, 29. Okt. 2014 Leftmost Derivations of Propagating Scattered Context Grammars A New Proof.pdf (Datei) 166 KB   1
10:57, 29. Okt. 2014 On Descriptional Complexity of Partially Parallel Grammars.pdf (Datei) 115 KB   1
10:53, 29. Okt. 2014 Descriptional complexity of multi-parallel grammars.pdf (Datei) 113 KB   1
10:50, 29. Okt. 2014 On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops.pdf (Datei) 156 KB   1
10:48, 29. Okt. 2014 Left-forbidding cooperating distributed grammar systems.pdf (Datei) 114 KB   1
10:46, 29. Okt. 2014 Regulated Nondeterminism in Pushdown Automata The Non-Regular Case.pdf (Datei) 140 KB   1
10:45, 29. Okt. 2014 Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals.pdf (Datei) 119 KB   1
19:01, 28. Okt. 2014 Efficient Separability of Regular Languages by Subsequences and Suffixes.pdf (Datei) 484 KB   1
18:57, 28. Okt. 2014 Simple restriction in context-free rewriting.pdf (Datei) 192 KB   1
18:53, 28. Okt. 2014 Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.pdf (Datei) 187 KB   1
18:50, 28. Okt. 2014 Complexity in Union-Free Regular Languages.pdf (Datei) 373 KB   1
Erste SeiteVorherige SeiteNächste SeiteLetzte Seite
Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Dateien/Tomas_Masopust“