Schmitz, Sylvain (ed.); Potapov, Igor (ed.) Reachability problems. 14th international conference, RP 2020, Paris, France, October 19–21, 2020. Proceedings. (English) Zbl 07282897 Lecture Notes in Computer Science 12448. Cham: Springer (ISBN 978-3-030-61738-7/pbk; 978-3-030-61739-4/ebook). xxi, 165 p. (2020). MSC: 68-06 68Qxx 00B25 PDF BibTeX XML Cite \textit{S. Schmitz} (ed.) and \textit{I. Potapov} (ed.), Reachability problems. 14th international conference, RP 2020, Paris, France, October 19--21, 2020. Proceedings. Cham: Springer (2020; Zbl 07282897) Full Text: DOI
Džamonja, Mirna; Schmitz, Sylvain; Schnoebelen, Philippe On ordinal invariants in well quasi orders and finite antichain orders. (English) Zbl 07218737 Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer (ISBN 978-3-030-30228-3/hbk; 978-3-030-30229-0/ebook). Trends in Logic – Studia Logica Library 53, 29-54 (2020). MSC: 03E 06A PDF BibTeX XML Cite \textit{M. Džamonja} et al., Trends Log. Stud. Log. Libr. 53, 29--54 (2020; Zbl 07218737) Full Text: DOI
Schmitz, Sylvain; Zetzsche, Georg Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets. (English) Zbl 07121146 Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 193-201 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Schmitz} and \textit{G. Zetzsche}, Lect. Notes Comput. Sci. 11674, 193--201 (2019; Zbl 07121146) Full Text: DOI
Baelde, David; Lick, Anthony; Schmitz, Sylvain A hypersequent calculus with clusters for linear frames. (English) Zbl 1418.03066 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 43-62 (2018). MSC: 03B45 03F03 03F20 PDF BibTeX XML Cite \textit{D. Baelde} et al., in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 43--62 (2018; Zbl 1418.03066)
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan The complexity of diagnosability and opacity verification for Petri nets. (English) Zbl 1401.68221 Fundam. Inform. 161, No. 4, 317-349 (2018). MSC: 68Q85 68Q17 68Q60 PDF BibTeX XML Cite \textit{B. Bérard} et al., Fundam. Inform. 161, No. 4, 317--349 (2018; Zbl 1401.68221) Full Text: DOI
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan The complexity of diagnosability and opacity verification for Petri nets. (English) Zbl 1393.68111 van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 200-220 (2017). MSC: 68Q85 68Q17 PDF BibTeX XML Cite \textit{B. Bérard} et al., Lect. Notes Comput. Sci. 10258, 200--220 (2017; Zbl 1393.68111) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain The complexity of coverability in \(\nu\)-Petri nets. (English) Zbl 1392.68306 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 467-476 (2016). MSC: 68Q85 68Q25 68Q60 PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 467--476 (2016; Zbl 1392.68306) Full Text: DOI
Leroux, Jérôme; Schmitz, Sylvain Ideal decompositions for vector addition systems (invited talk). (English) Zbl 1388.68199 Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 1, 13 p. (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Leroux} and \textit{S. Schmitz}, LIPIcs -- Leibniz Int. Proc. Inform. 47, Article 1, 13 p. (2016; Zbl 1388.68199) Full Text: DOI
Goubault-Larrecq, Jean; Schmitz, Sylvain Deciding piecewise testable separability for regular tree languages. (English) Zbl 1388.68172 Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 97, 15 p. (2016). MSC: 68Q45 03D05 PDF BibTeX XML Cite \textit{J. Goubault-Larrecq} and \textit{S. Schmitz}, LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 97, 15 p. (2016; Zbl 1388.68172) Full Text: DOI
Baelde, David; Lunel, Simon; Schmitz, Sylvain A sequent calculus for a modal logic on finite data trees. (English) Zbl 1370.03043 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 32, 16 p. (2016). MSC: 03B70 03B45 03F05 68P05 68Q25 PDF BibTeX XML Cite \textit{D. Baelde} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 32, 16~p. (2016; Zbl 1370.03043) Full Text: DOI
Schmitz, Sylvain Complexity hierarchies beyond elementary. (English) Zbl 1347.68162 ACM Trans. Comput. Theory 8, No. 1, Article No. 3, 36 p. (2016). MSC: 68Q15 03D15 03D20 PDF BibTeX XML Cite \textit{S. Schmitz}, ACM Trans. Comput. Theory 8, No. 1, Article No. 3, 36 p. (2016; Zbl 1347.68162) Full Text: DOI
Schmitz, Sylvain Implicational relevance logic is 2-ExpTime-complete. (English) Zbl 1370.03029 J. Symb. Log. 81, No. 2, 641-661 (2016). Reviewer: Louis F. Goble (Salem) MSC: 03B47 68Q17 68Q25 PDF BibTeX XML Cite \textit{S. Schmitz}, J. Symb. Log. 81, No. 2, 641--661 (2016; Zbl 1370.03029) Full Text: DOI
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick Coverability trees for Petri nets with unordered data. (English) Zbl 06591835 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49629-9/pbk; 978-3-662-49630-5/ebook). Lecture Notes in Computer Science 9634, 445-461 (2016). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Hofman} et al., Lect. Notes Comput. Sci. 9634, 445--461 (2016; Zbl 06591835) Full Text: DOI
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain Forward analysis and model checking for trace bounded WSTS. (English) Zbl 1343.68162 Theor. Comput. Sci. 637, 1-29 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{P. Chambart} et al., Theor. Comput. Sci. 637, 1--29 (2016; Zbl 1343.68162) Full Text: DOI
Leroux, Jerome; Schmitz, Sylvain Demystifying reachability in vector addition systems. (English) Zbl 1392.68308 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 56-67 (2015). MSC: 68Q85 68Q25 68Q60 PDF BibTeX XML Cite \textit{J. Leroux} and \textit{S. Schmitz}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 56--67 (2015; Zbl 1392.68308) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain The ideal view on Rackoff’s coverability technique. (English) Zbl 06798768 Bojańczyk, Mikołaj (ed.) et al., Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24536-2/pbk; 978-3-319-24537-9/ebook). Lecture Notes in Computer Science 9328, 76-88 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, Lect. Notes Comput. Sci. 9328, 76--88 (2015; Zbl 06798768) Full Text: DOI
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain Fixed-dimensional energy games are in pseudo-polynomial time. (English) Zbl 1440.68122 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 260-272 (2015). MSC: 68Q25 91A80 PDF BibTeX XML Cite \textit{M. Jurdziński} et al., Lect. Notes Comput. Sci. 9135, 260--272 (2015; Zbl 1440.68122) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain Nonelementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1354.68128 ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015). MSC: 68Q25 03F52 68Q17 68Q85 PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015; Zbl 1354.68128) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain Non-elementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1394.68189 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 61, 10 p. (2014). MSC: 68Q25 03F52 68Q17 68Q85 PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 61, 10 p. (2014; Zbl 1394.68189) Full Text: DOI
Schmitz, Sylvain Complexity bounds for ordinal-based termination (invited talk). (English) Zbl 1448.68318 Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8762, 1-19 (2014). MSC: 68Q60 03F15 68Q25 PDF BibTeX XML Cite \textit{S. Schmitz}, Lect. Notes Comput. Sci. 8762, 1--19 (2014; Zbl 1448.68318) Full Text: DOI
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe The power of priority channel systems. (English) Zbl 1448.68341 Log. Methods Comput. Sci. 10, No. 4, Paper No. 4, 39 p. (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{C. Haase} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 4, 39 p. (2014; Zbl 1448.68341) Full Text: DOI
Courtois, Jean-Baptiste; Schmitz, Sylvain Alternating vector addition systems with states. (English) Zbl 1425.68290 Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part I. Berlin: Springer. Lect. Notes Comput. Sci. 8634, 220-231 (2014). MSC: 68Q85 68Q17 68Q25 91A80 PDF BibTeX XML Cite \textit{J.-B. Courtois} and \textit{S. Schmitz}, Lect. Notes Comput. Sci. 8634, 220--231 (2014; Zbl 1425.68290) Full Text: DOI
Schmitz, Sylvain Implicational relevance logic is 2-ExpTime-complete. (English) Zbl 1417.03168 Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 395-409 (2014). MSC: 03B47 03D15 68Q17 68Q85 PDF BibTeX XML Cite \textit{S. Schmitz}, Lect. Notes Comput. Sci. 8560, 395--409 (2014; Zbl 1417.03168) Full Text: DOI
Boral, Anudhyan; Schmitz, Sylvain Model-checking parse trees. (English) Zbl 1366.68165 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 153-162 (2013). MSC: 68Q60 03B70 68Q25 68Q42 PDF BibTeX XML Cite \textit{A. Boral} and \textit{S. Schmitz}, in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 153--162 (2013; Zbl 1366.68165) Full Text: DOI
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe The power of priority channel systems. (English) Zbl 1390.68471 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 319-333 (2013). MSC: 68Q85 PDF BibTeX XML Cite \textit{C. Haase} et al., Lect. Notes Comput. Sci. 8052, 319--333 (2013; Zbl 1390.68471) Full Text: DOI
Schmitz, Sylvain; Schnoebelen, Philippe The power of well-structured systems. (English) Zbl 1390.68488 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 5-24 (2013). MSC: 68Q85 68Q25 68Q60 PDF BibTeX XML Cite \textit{S. Schmitz} and \textit{P. Schnoebelen}, Lect. Notes Comput. Sci. 8052, 5--24 (2013; Zbl 1390.68488) Full Text: DOI
Karandikar, Prateek; Schmitz, Sylvain The parametric ordinal-recursive complexity of Post embedding problems. (English) Zbl 1260.68179 Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 273-288 (2013). MSC: 68Q25 03D20 68Q17 68Q42 PDF BibTeX XML Cite \textit{P. Karandikar} and \textit{S. Schmitz}, Lect. Notes Comput. Sci. 7794, 273--288 (2013; Zbl 1260.68179) Full Text: DOI
Haddad, Serge; Schmitz, Sylvain; Schnoebelen, Philippe The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. (English) Zbl 1362.68214 Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 355-364 (2012). MSC: 68Q85 03D20 68Q17 68Q60 PDF BibTeX XML Cite \textit{S. Haddad} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 355--364 (2012; Zbl 1362.68214) Full Text: DOI
Blockelet, Michel; Schmitz, Sylvain Model checking coverability graphs of vector addition systems. (English) Zbl 1343.68152 Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 108-119 (2011). MSC: 68Q60 68Q25 68Q85 PDF BibTeX XML Cite \textit{M. Blockelet} and \textit{S. Schmitz}, Lect. Notes Comput. Sci. 6907, 108--119 (2011; Zbl 1343.68152) Full Text: DOI
Schmitz, S.; Schnoebelen, Ph. Multiply-recursive upper bounds with Higman’s lemma. (English) Zbl 1333.68179 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 441-452 (2011). MSC: 68Q60 03D20 03E05 PDF BibTeX XML Cite \textit{S. Schmitz} and \textit{Ph. Schnoebelen}, Lect. Notes Comput. Sci. 6756, 441--452 (2011; Zbl 1333.68179) Full Text: DOI
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain Forward analysis and model checking for trace bounded WSTS. (English) Zbl 1330.68197 Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 49-68 (2011). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{P. Chambart} et al., Lect. Notes Comput. Sci. 6709, 49--68 (2011; Zbl 1330.68197) Full Text: DOI
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain Parametric random generation of deterministic tree automata. (English) Zbl 1209.68298 Theor. Comput. Sci. 411, No. 38-39, 3469-3480 (2010). MSC: 68Q45 PDF BibTeX XML Cite \textit{P.-C. Héam} et al., Theor. Comput. Sci. 411, No. 38--39, 3469--3480 (2010; Zbl 1209.68298) Full Text: DOI
Schmitz, Sylvain An experimental ambiguity detection tool. (English) Zbl 1187.68282 Sci. Comput. Program. 75, No. 1-2, 71-84 (2010). MSC: 68Q42 PDF BibTeX XML Cite \textit{S. Schmitz}, Sci. Comput. Program. 75, No. 1--2, 71--84 (2010; Zbl 1187.68282) Full Text: DOI
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain Random generation of deterministic tree (walking) automata. (English) Zbl 1248.68298 Maneth, Sebastian (ed.), Implementation and application of automata. 14th international conference, CIAA 2009, Sydney, Australia, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02978-3/pbk). Lecture Notes in Computer Science 5642, 115-124 (2009). MSC: 68Q45 PDF BibTeX XML Cite \textit{P.-C. Héam} et al., Lect. Notes Comput. Sci. 5642, 115--124 (2009; Zbl 1248.68298) Full Text: DOI
Schmitz, Sylvain Conservative ambiguity detection in context-free grammars. (English) Zbl 1171.68518 Arge, Lars (ed.) et al., Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73419-2/pbk). Lecture Notes in Computer Science 4596, 692-703 (2007). MSC: 68Q42 PDF BibTeX XML Cite \textit{S. Schmitz}, Lect. Notes Comput. Sci. 4596, 692--703 (2007; Zbl 1171.68518) Full Text: DOI
Schmitz, Sylvain Noncanonical LALR(1) parsing. (English) Zbl 1227.68044 Ibarra, Oscar H. (ed.) et al., Developments in language theory. 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26–29, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35428-X/pbk). Lecture Notes in Computer Science 4036, 95-107 (2006). MSC: 68Q42 68Q45 PDF BibTeX XML Cite \textit{S. Schmitz}, Lect. Notes Comput. Sci. 4036, 95--107 (2006; Zbl 1227.68044) Full Text: DOI
Gálvez, José Fortes; Schmitz, Sylvain; Farré, Jacques Shift-resolve parsing: simple, unbounded lookahead, linear time. (English) Zbl 1160.68339 Ibarra, Oscar H. (ed.) et al., Implementation and application of automata. 11th international conference, CIAA 2006, Taipei, Taiwan, August 21–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37213-4/pbk). Lecture Notes in Computer Science 4094, 253-264 (2006). MSC: 68N20 68Q45 PDF BibTeX XML Cite \textit{J. F. Gálvez} et al., Lect. Notes Comput. Sci. 4094, 253--264 (2006; Zbl 1160.68339) Full Text: DOI
Farré, Jacques (ed.); Litovsky, Igor (ed.); Schmitz, Sylvain (ed.) Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27–29, 2005. Revised selected papers. (English) Zbl 1097.68004 Lecture Notes in Computer Science 3845. Berlin: Springer (ISBN 3-540-31023-1/pbk). xiii, 360 p. (2006). MSC: 68-06 68Q45 00B25 PDF BibTeX XML Cite \textit{J. Farré} (ed.) et al., Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27--29, 2005. Revised selected papers. Berlin: Springer (2006; Zbl 1097.68004) Full Text: DOI
Kröner, D.; Koop, A.; Schupp, B.; Müller, S.; Schmitz, S.; Schroeter, B. Deformation of an elastic cylindrical tube. (Deformation einer elastischen Flexlippe.) (German) Zbl 0867.73044 Hoffmann, Karl-Heinz (ed.) et al., Mathematik: Schlüsseltechnologie für die Zukunft. Verbundprojekte zwischen Universität und Industrie. Berlin: Springer. 177-189 (1997). MSC: 74K15 74P99 74S05 PDF BibTeX XML Cite \textit{D. Kröner} et al., in: Mathematik: Schlüsseltechnologie für die Zukunft. Verbundprojekte zwischen Universität und Industrie. Berlin: Springer. 177--189 (1997; Zbl 0867.73044)