×

Found 187 Documents (Results 1–100)

Newest Citations Relevance
Kulczynski, Mitja; Lotz, Kevin; Nowotka, Dirk; Poulsen, Danny Bøgsted

Solving string theories involving regular membership predicates using SAT. (English) Zbl 1514.68330

Legunsen, Owolabi (ed.) et al., Model checking software. 28th international symposium, SPIN 2022, virtual event, May 21, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13255, 134-151 (2022).
MSC:  68W32 68Q45
PDF BibTeX XML Cite
\textit{M. Kulczynski} et al., Lect. Notes Comput. Sci. 13255, 134--151 (2022; Zbl 1514.68330)
Full Text: DOI
Moreira, Nelma; Reis, Rogério

Manipulation of regular expressions using derivatives: an overview. (English) Zbl 07572309

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 19-33 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{N. Moreira} and \textit{R. Reis}, Lect. Notes Comput. Sci. 13266, 19--33 (2022; Zbl 07572309)
Full Text: DOI
Erkens, Rick; Groote, Jan Friso

A set automaton to locate all pattern matches in a term. (English) Zbl 07500638

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 67-85 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{R. Erkens} and \textit{J. F. Groote}, Lect. Notes Comput. Sci. 12819, 67--85 (2021; Zbl 07500638)
Full Text: DOI arXiv
Berzish, Murphy; Kulczynski, Mitja; Mora, Federico; Manea, Florin; Day, Joel D.; Nowotka, Dirk; Ganesh, Vijay

An SMT solver for regular expressions and linear arithmetic over string length. (English) Zbl 1493.68182

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 289-312 (2021).
MSC:  68Q45 68T20 68V20 68W32
PDF BibTeX XML Cite
\textit{M. Berzish} et al., Lect. Notes Comput. Sci. 12760, 289--312 (2021; Zbl 1493.68182)
Full Text: DOI arXiv
Myers, Robert S. R.; Milius, Stefan; Urbat, Henning

Nondeterministic syntactic complexity. (English) Zbl 07410438

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 448-468 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{R. S. R. Myers} et al., Lect. Notes Comput. Sci. 12650, 448--468 (2021; Zbl 07410438)
Full Text: DOI arXiv
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério

Location based automata for expressions with shuffle. (English) Zbl 07405976

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 43-54 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{S. Broda} et al., Lect. Notes Comput. Sci. 12638, 43--54 (2021; Zbl 07405976)
Full Text: DOI
Basin, David; Dardinier, Thibault; Heimes, Lukas; Krstić, Srđan; Raszyk, Martin; Schneider, Joshua; Traytel, Dmitriy

A formally verified, optimized monitor for metric first-order dynamic logic. (English) Zbl 07614527

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 432-453 (2020).
MSC:  68V15
PDF BibTeX XML Cite
\textit{D. Basin} et al., Lect. Notes Comput. Sci. 12166, 432--453 (2020; Zbl 07614527)
Full Text: DOI
Baanen, Anne; Swierstra, Wouter

Combining predicate transformer semantics for effects: a case study in parsing regular languages. (English) Zbl 1511.68050

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39-56 (2020).
MSC:  68N18 68Q42 68Q55
PDF BibTeX XML Cite
\textit{A. Baanen} and \textit{W. Swierstra}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 39--56 (2020; Zbl 1511.68050)
Full Text: arXiv Link
Brunner, Julian; Seidl, Benedikt; Sickert, Salomon

A verified and compositional translation of LTL to deterministic Rabin automata. (English) Zbl 07649960

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 11, 19 p. (2019).
MSC:  68T15
PDF BibTeX XML Cite
\textit{J. Brunner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 11, 19 p. (2019; Zbl 07649960)
Full Text: DOI
Kappé, Tobias; Brunet, Paul; Rot, Jurriaan; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio

Kleene algebra with observations. (English) Zbl 07649949

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019; Zbl 07649949)
Full Text: DOI arXiv
Maarand, Hendrik; Uustalu, Tarmo

Reordering derivatives of trace closures of regular languages. (English) Zbl 07649948

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 40, 16 p. (2019).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{H. Maarand} and \textit{T. Uustalu}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 40, 16 p. (2019; Zbl 07649948)
Full Text: DOI
Sulzmann, Martin; Thiemann, Peter

A computational interpretation of context-free expressions. (English) Zbl 1503.68158

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 387-405 (2017).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
\textit{M. Sulzmann} and \textit{P. Thiemann}, Lect. Notes Comput. Sci. 10695, 387--405 (2017; Zbl 1503.68158)
Full Text: DOI arXiv
Moss, Aaron

Derivatives of parsing expression grammars. (English) Zbl 1483.68150

Csuhaj-Varjú, Erzsébet (ed.) et al., Proceedings of the 15th international conference on automata and formal languages, AFL’17, Debrecen, Hungary, September 4–6, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 180-194 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
\textit{A. Moss}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 180--194 (2017; Zbl 1483.68150)
Full Text: arXiv Link
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio

Brzozowski goes concurrent – a Kleene theorem for pomset languages. (English) Zbl 1442.68145

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
\textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017; Zbl 1442.68145)
Full Text: DOI arXiv
Hains, Gaetan

Enumerated BSP automata. (English) Zbl 1396.68066

Adamatzky, Andrew (ed.), Emergent computation. A Festschrift for Selim G. Akl. Cham: Springer (ISBN 978-3-319-46375-9/hbk; 978-3-319-46376-6/ebook). Emergence, Complexity and Computation 24, 233-267 (2017).
MSC:  68Q45 68Q10
PDF BibTeX XML Cite
\textit{G. Hains}, Emerg. Complex. Comput. 24, 233--267 (2017; Zbl 1396.68066)
Full Text: DOI
Thiemann, Peter

Partial derivatives for context-free languages. From \(\mu\)-regular expressions to pushdown automata. (English) Zbl 1486.68098

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 248-264 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{P. Thiemann}, Lect. Notes Comput. Sci. 10203, 248--264 (2017; Zbl 1486.68098)
Full Text: DOI arXiv
Mamouras, Konstantinos

Equational theories of abnormal termination based on Kleene algebra. (English) Zbl 1486.68043

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 88-105 (2017).
MSC:  68N30 03C05 16Y60 68Q55
PDF BibTeX XML Cite
\textit{K. Mamouras}, Lect. Notes Comput. Sci. 10203, 88--105 (2017; Zbl 1486.68043)
Full Text: DOI
Stadtmüller, Kai; Sulzmann, Martin; Thiemann, Peter

Static trace-based deadlock analysis for synchronous Mini-Go. (English) Zbl 1483.68056

Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 116-136 (2016).
MSC:  68N15 68N19
PDF BibTeX XML Cite
\textit{K. Stadtmüller} et al., Lect. Notes Comput. Sci. 10017, 116--136 (2016; Zbl 1483.68056)
Full Text: DOI arXiv
Sulzmann, Martin; Lu, Kenny Zhuo Ming

Derivative-based diagnosis of regular expression ambiguity. (English) Zbl 1379.68231

Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 260-272 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{M. Sulzmann} and \textit{K. Z. M. Lu}, Lect. Notes Comput. Sci. 9705, 260--272 (2016; Zbl 1379.68231)
Full Text: DOI arXiv
Bastos, Rafaela; Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério

On the state complexity of partial derivative automata for regular expressions with intersection. (English) Zbl 1476.68125

Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9777, 45-59 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{R. Bastos} et al., Lect. Notes Comput. Sci. 9777, 45--59 (2016; Zbl 1476.68125)
Full Text: DOI Link
Ausaf, Fahad; Dyckhoff, Roy; Urban, Christian

POSIX lexing with derivatives of regular expressions (proof pearl). (English) Zbl 1478.68118

Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 69-86 (2016).
MSC:  68Q45 68Q42 68V20 68W32
PDF BibTeX XML Cite
\textit{F. Ausaf} et al., Lect. Notes Comput. Sci. 9807, 69--86 (2016; Zbl 1478.68118)
Full Text: DOI Link
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério

Position automaton construction for regular expressions with intersection. (English) Zbl 1436.68163

Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 51-63 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{S. Broda} et al., Lect. Notes Comput. Sci. 9840, 51--63 (2016; Zbl 1436.68163)
Full Text: DOI Link
Winter, Joost

Product rules and distributive laws. (English) Zbl 1475.18006

Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 114-135 (2016).
MSC:  18C15
PDF BibTeX XML Cite
\textit{J. Winter}, Lect. Notes Comput. Sci. 9608, 114--135 (2016; Zbl 1475.18006)
Full Text: DOI Link
Phawade, Ramchandra; Lodaya, Kamal

Kleene theorems for synchronous products with matching. (English) Zbl 1366.68150

Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency X. Berlin: Springer (ISBN 978-3-662-48649-8/pbk; 978-3-662-48650-4/ebook). Lecture Notes in Computer Science 9410. Journal Subline, 84-108 (2015).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
\textit{R. Phawade} and \textit{K. Lodaya}, Lect. Notes Comput. Sci. 9410, 84--108 (2015; Zbl 1366.68150)
Full Text: DOI Link
Thiemann, Peter; Sulzmann, Martin

From \(\omega\)-regular expressions to Büchi automata via partial derivatives. (English) Zbl 1451.68162

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 287-298 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{P. Thiemann} and \textit{M. Sulzmann}, Lect. Notes Comput. Sci. 8977, 287--298 (2015; Zbl 1451.68162)
Full Text: DOI
Pardo, Pere; Sarrión-Morillo, Enrique; Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R.

Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\). (English) Zbl 1432.68449

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 253-266 (2014).
MSC:  68T27 03B42
PDF BibTeX XML Cite
\textit{P. Pardo} et al., Lect. Notes Comput. Sci. 8761, 253--266 (2014; Zbl 1432.68449)
Full Text: DOI
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan

Rational operational models. (English) Zbl 1334.68137

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 257-282 (2013).
MSC:  68Q65 68Q45 68Q85
PDF BibTeX XML Cite
\textit{S. Milius} et al., Electron. Notes Theor. Comput. Sci. 298, 257--282 (2013; Zbl 1334.68137)
Full Text: DOI
Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric

Varieties and covarieties of languages (extended abstract). (English) Zbl 1334.68139

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 7-28 (2013).
MSC:  68Q70
PDF BibTeX XML Cite
\textit{J. Rutten} et al., Electron. Notes Theor. Comput. Sci. 298, 7--28 (2013; Zbl 1334.68139)
Full Text: DOI
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão

Deciding regular expressions (in-)equivalence in Coq. (English) Zbl 1330.68265

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 98-113 (2012).
MSC:  68T15 68Q45 68Q60
PDF BibTeX XML Cite
\textit{N. Moreira} et al., Lect. Notes Comput. Sci. 7560, 98--113 (2012; Zbl 1330.68265)
Full Text: DOI
Chen, Haiming; Yu, Sheng

Derivatives of regular expressions and an application. (English) Zbl 1353.68162

Dinneen, Michael J. (ed.) et al., Computation, physics and beyond. International workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21–24, 2012. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-27653-8/pbk). Lecture Notes in Computer Science 7160, 343-356 (2012).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{H. Chen} and \textit{S. Yu}, Lect. Notes Comput. Sci. 7160, 343--356 (2012; Zbl 1353.68162)
Full Text: DOI
Kozen, Dexter

Realization of coinductive types. (English) Zbl 1342.68217

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 237-246 (2011).
MSC:  68Q65
PDF BibTeX XML Cite
\textit{D. Kozen}, Electron. Notes Theor. Comput. Sci. 276, 237--246 (2011; Zbl 1342.68217)
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software