Bournez, Olivier; Pouly, Amaury A survey on analog models of computation. (English) Zbl 07464644 Brattka, Vasco (ed.) et al., Handbook of computability and complexity in analysis. Cham: Springer. Theory Appl. Comput., 173-226 (2021). MSC: 03D78 PDFBibTeX XMLCite \textit{O. Bournez} and \textit{A. Pouly}, in: Handbook of computability and complexity in analysis. Cham: Springer. 173--226 (2021; Zbl 07464644) Full Text: DOI arXiv
Olderog, Ernst-Rüdiger; Swaminathan, Mani Structural transformations for data-enriched real-time systems. (English) Zbl 1319.68150 Formal Asp. Comput. 27, No. 4, 727-750 (2015). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{E.-R. Olderog} and \textit{M. Swaminathan}, Formal Asp. Comput. 27, No. 4, 727--750 (2015; Zbl 1319.68150) Full Text: DOI
Nishi, Tatsushi; Wakatake, Masato Decomposition of timed automata for solving scheduling problems. (English) Zbl 1320.90032 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 45, No. 3, 472-486 (2014). MSC: 90B35 68Q45 PDFBibTeX XMLCite \textit{T. Nishi} and \textit{M. Wakatake}, Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 45, No. 3, 472--486 (2014; Zbl 1320.90032) Full Text: DOI
Dima, Cătălin; Lanotte, Ruggero A study on shuffle, stopwatches and independently evolving clocks. (English) Zbl 1277.68179 Distrib. Comput. 25, No. 1, 5-33 (2012). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{C. Dima} and \textit{R. Lanotte}, Distrib. Comput. 25, No. 1, 5--33 (2012; Zbl 1277.68179) Full Text: DOI
Droste, Manfred; Quaas, Karin A Kleene-Schützenberger theorem for weighted timed automata. (English) Zbl 1217.68128 Theor. Comput. Sci. 412, No. 12-14, 1140-1153 (2011). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Droste} and \textit{K. Quaas}, Theor. Comput. Sci. 412, No. 12--14, 1140--1153 (2011; Zbl 1217.68128) Full Text: DOI
Droste, Manfred; Quaas, Karin A Kleene-Schützenberger theorem for weighted timed automata. (English) Zbl 1139.68031 Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 142-156 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Droste} and \textit{K. Quaas}, Lect. Notes Comput. Sci. 4962, 142--156 (2008; Zbl 1139.68031) Full Text: DOI
Asarin, Eugene; Dima, Cătălin Balanced timed regular expressions. (English) Zbl 1270.68118 Vogler, Walter (ed.) et al., MTCS ’02. Proceedings of the 3rd international workshop on models for time-critical systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 5, 16-33 (2003). MSC: 68Q42 68Q45 68Q55 PDFBibTeX XMLCite \textit{E. Asarin} and \textit{C. Dima}, Electron. Notes Theor. Comput. Sci. 68, No. 5, 16--33 (2003; Zbl 1270.68118) Full Text: Link
Bouyer, Patricia; Petit, Antoine; Thérien, Denis An algebraic approach to data languages and timed languages. (English) Zbl 1028.68080 Inf. Comput. 182, No. 2, 137-162 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Inf. Comput. 182, No. 2, 137--162 (2003; Zbl 1028.68080) Full Text: DOI
Bouyer, Patricia A logical characterization of data languages. (English) Zbl 1042.68544 Inf. Process. Lett. 84, No. 2, 75-85 (2002). MSC: 68P05 PDFBibTeX XMLCite \textit{P. Bouyer}, Inf. Process. Lett. 84, No. 2, 75--85 (2002; Zbl 1042.68544) Full Text: DOI