Výsledky vyhledávání
- 1.0598504 - MÚ 2025 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Parrot, R. - Roux, O. H.
Weakly strong semantics of Time Petri Nets for performance evaluations.
IFAC-PapersOnLine. Volume 58, Issue 1 - 17th IFAC Workshop on discrete Event Systems WODES 2024. 2024: Elsevier, Amsterdam - (Basilio, J.), s. 66-71. ISSN 2405-8963.
[17th IFAC Workshop on discrete Event Systems WODES 2024. Rio de Janeiro (BR), 29.04.2024-01.05.2024]
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) * Interval Weighted Automata * reachability * Time Petri Net
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2024.07.012
Trvalý link: https://hdl.handle.net/11104/0356167Název souboru Staženo Velikost Komentář Verze Přístup Komenda5.pdf 0 466 KB Vydavatelský postprint povolen - 2.0504815 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Kuřátko, Jan - Ratschan, Stefan
Solving Reachability Problems by a Scalable Constrained Optimization Method.
Optimization and Engineering. Roč. 21, č. 1 (2020), s. 215-239. ISSN 1389-4420. E-ISSN 1573-2924
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: Optimization * Dynamical systems * Boundary value problems * Sequential quadratic programming * Reachability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.760, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11081-019-09441-6
Trvalý link: http://hdl.handle.net/11104/0296371 - 3.0476164 - MÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
de Oliveira Oliveira, Mateus
Ground reachability and joinability in linear term rewriting systems are fixed parameter tractable with respect to depth.
11th International Symposium on Parameterized and Exact Computation (IPEC 2016). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 - (Guo, J.; Hermelin, D.), s. 1-12, č. článku 25. Leibniz International Proceedings in Informatics, 63. ISBN 978-3-95977-023-1. ISSN 1868-8969.
[11th International Symposium on Parameterized and Exact Computation (IPEC 2016). Aarhus (DK), 24.08.2016-26.08.2016]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: linear term rewriting systems * ground reachability * ground joinability * fixed parameter tractability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2017/6925/
Trvalý link: http://hdl.handle.net/11104/0272695Název souboru Staženo Velikost Komentář Verze Přístup DeOliveiraOliveira1.pdf 3 669.5 KB Vydavatelský postprint vyžádat - 4.0454008 - MÚ 2017 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
de Oliveira Oliveira, Mateus
Reachability in graph transformation systems and slice languages.
Graph Transformation. Cham: Springer, 2015 - (Parisi-Presicce, F.; Westfechtel, B.), s. 121-137. Lecture Notes in Computer Science, 9151. ISBN 978-3-319-21144-2. ISSN 0302-9743.
[International Conference on Graph Transformation, ICGT 2015. L'Aquila (IT), 21.06.2015-23.06.2015]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: graph transformation systems * reachability * slice languages
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-319-21145-9_8
Trvalý link: http://hdl.handle.net/11104/0254722Název souboru Staženo Velikost Komentář Verze Přístup Oliveira1.pdf 2 391.4 KB Vydavatelský postprint vyžádat - 5.0336087 - MÚ 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Hansen, K.A. - Koucký, Michal - Miltersen, P.B.
Winning concurrent reachability games requires doubly-exponential patience.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LISC 2009. Los Angeles: IEEE Computer Society, 2009, s. 332-341. ISBN 978-0-7695-3746-7. ISSN 1043-6871.
[24th Annual IEEE Symposium on Logic in Computer Science. Los Angeles (US), 11.08.2009-14.08.2009]
Grant CEP: GA ČR GP201/07/P276; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: concurrent reachability game * patience * winning strategies
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0180404Název souboru Staženo Velikost Komentář Verze Přístup Koucky1.pdf 1 284 KB Vydavatelský postprint vyžádat