×

Found 324 Documents (Results 1–100)

100
MathJax
Newest 1st
Blattmann, Malte; Maletti, Andreas

Compositions of constant weighted extended tree transducers. (English) Zbl 07498716

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 66-77 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{M. Blattmann} and \textit{A. Maletti}, Lect. Notes Comput. Sci. 12811, 66--77 (2021; Zbl 07498716)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Geneva, Diana; Shopov, Georgi; Mihov, Stoyan

Algorithms for probabilistic and stochastic subsequential failure transducers. (English) Zbl 07495110

Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 127-139 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{D. Geneva} et al., Lect. Notes Comput. Sci. 12803, 127--139 (2021; Zbl 07495110)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Sérée, Bastien; Jezequel, Loïg; Lime, Didier

An algorithm for single-source shortest paths enumeration in parameterized weighted graphs. (English) Zbl 07405994

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, 279-290 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{B. Sérée} et al., Lect. Notes Comput. Sci. 12638, 279--290 (2021; Zbl 07405994)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Dörband, Frederic; Feller, Thomas; Stier, Kevin

Approximated determinisation of weighted tree automata. (English) Zbl 07405992

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, 255-266 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{F. Dörband} et al., Lect. Notes Comput. Sci. 12638, 255--266 (2021; Zbl 07405992)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
van Heerdt, Gerco; Kupke, Clemens; Rot, Jurriaan; Silva, Alexandra

Learning weighted automata over principal ideal domains. (English) Zbl 1461.68093

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 602-621 (2020).
Reviewer: Andreas Maletti (Leipzig)
MSC:  68Q32 68Q45
PDF BibTeX XML Cite
\textit{G. van Heerdt} et al., Lect. Notes Comput. Sci. 12077, 602--621 (2020; Zbl 1461.68093)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Waga, Masaki

Online quantitative timed pattern matching with semiring-valued weighted automata. (English) Zbl 1434.68695

André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 3-22 (2019).
MSC:  68W27 68Q45 68Q60
PDF BibTeX XML Cite
\textit{M. Waga}, Lect. Notes Comput. Sci. 11750, 3--22 (2019; Zbl 1434.68695)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Michaliszyn, Jakub; Otop, Jan

Non-deterministic weighted automata on random words. (English) Zbl 07378554

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 10, 16 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{J. Michaliszyn} and \textit{J. Otop}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 10, 16 p. (2018; Zbl 07378554)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Michaliszyn, Jakub; Otop, Jan

Average stack cost of Büchi pushdown automata. (English) Zbl 07278114

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 42, 13 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
\textit{J. Michaliszyn} and \textit{J. Otop}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 42, 13 p. (2018; Zbl 07278114)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Mazowiecki, Filip; Riveros, Cristian

Pumping lemmas for weighted automata. (English) Zbl 07228441

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 50, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{F. Mazowiecki} and \textit{C. Riveros}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 50, 14 p. (2018; Zbl 07228441)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
DeBenedetto, Justin; Chiang, David

Algorithms and training for weighted multiset automata and regular expressions. (English) Zbl 06974630

Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10977, 146-158 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. DeBenedetto} and \textit{D. Chiang}, Lect. Notes Comput. Sci. 10977, 146--158 (2018; Zbl 06974630)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Sokolova, Ana; Woracek, Harald

Proper semirings and proper convex functors. (English) Zbl 06904544

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 331-347 (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{A. Sokolova} and \textit{H. Woracek}, Lect. Notes Comput. Sci. 10803, 331--347 (2018; Zbl 06904544)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Filiot, Emmanuel; Jecker, Ismaël; Lhote, Nathan; Pérez, Guillermo A.; Raskin, Jean-François

On delay and regret determinization of max-plus automata. (English) Zbl 1457.68142

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 36, 12 p. (2017).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{E. Filiot} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 36, 12 p. (2017; Zbl 1457.68142)
Full Text: arXiv Link
  • logo of hbz
  • logo of WorldCat
Bonchi, Filippo; König, Barbara; Küpper, Sebastian

Up-to techniques for weighted systems. (English) Zbl 1452.68100

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 535-552 (2017).
MSC:  68Q45 68Q42 68Q70
PDF BibTeX XML Cite
\textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 10205, 535--552 (2017; Zbl 1452.68100)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan

Bidirectional nested weighted automata. (English) Zbl 1442.68087

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 5, 16 p. (2017).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{K. Chatterjee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 5, 16 p. (2017; Zbl 1442.68087)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Alur, Rajeev; Mamouras, Konstantinos; Stanford, Caleb

Automata-based stream processing. (English) Zbl 1442.68077

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 112, 15 p. (2017).
MSC:  68Q45 68Q10
PDF BibTeX XML Cite
\textit{R. Alur} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 112, 15 p. (2017; Zbl 1442.68077)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Balle, Borja; Gourdeau, Pascale; Panangaden, Prakash

Bisimulation metrics for weighted automata. (English) Zbl 1442.68080

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 103, 14 p. (2017).
MSC:  68Q45 68Q32
PDF BibTeX XML Cite
\textit{B. Balle} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 103, 14 p. (2017; Zbl 1442.68080)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Daviaud, Laure; Johnson, Marianne

The shortest identities for max-plus automata with two states. (English) Zbl 1441.68120

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 48, 13 p. (2017).
MSC:  68Q45 15A30 15A80
PDF BibTeX XML Cite
\textit{L. Daviaud} and \textit{M. Johnson}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 48, 13 p. (2017; Zbl 1441.68120)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Daviaud, Laure; Guillon, Pierre; Merlet, Glenn

Comparison of max-plus automata and joint spectral radius of tropical matrices. (English) Zbl 1441.68119

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 19, 14 p. (2017).
MSC:  68Q45 15A80
PDF BibTeX XML Cite
\textit{L. Daviaud} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 19, 14 p. (2017; Zbl 1441.68119)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Paul, Erik

Monitor logics for quantitative monitor automata. (English) Zbl 1441.68127

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 14, 13 p. (2017).
MSC:  68Q45 03B70 03D05
PDF BibTeX XML Cite
\textit{E. Paul}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 14, 13 p. (2017; Zbl 1441.68127)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Larsen, Kim G.; Schmid, Stefan; Xue, Bingtian

WNetKAT: a weighted SDN programming and verification language. (English) Zbl 1432.68052

Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 18, 18 p. (2017).
MSC:  68N15 68M10 68N30 68Q45
PDF BibTeX XML Cite
\textit{K. G. Larsen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 70, Article 18, 18~p. (2017; Zbl 1432.68052)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Chillotti, Ilaria; Gama, Nicolas; Georgieva, Mariya; Izabachène, Malika

Faster packed homomorphic operations and efficient circuit bootstrapping for TFHE. (English) Zbl 1420.94052

Takagi, Tsuyoshi (ed.) et al., Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10624, 377-408 (2017).
MSC:  94A60
PDF BibTeX XML Cite
\textit{I. Chillotti} et al., Lect. Notes Comput. Sci. 10624, 377--408 (2017; Zbl 1420.94052)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Rowe, Reuben N. S.; Brotherston, James

Realizability in cyclic proof: extracting ordering information for infinite descent. (English) Zbl 06833563

Schmidt, Renate A. (ed.) et al., Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10501, 295-310 (2017).
MSC:  68T15
PDF BibTeX XML Cite
\textit{R. N. S. Rowe} and \textit{J. Brotherston}, Lect. Notes Comput. Sci. 10501, 295--310 (2017; Zbl 06833563)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Nederhof, Mark-Jan; Yli-Jyrä, Anssi

A derivational model of discontinuous parsing. (English) Zbl 06725145

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 299-310 (2017).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
\textit{M.-J. Nederhof} and \textit{A. Yli-Jyrä}, Lect. Notes Comput. Sci. 10168, 299--310 (2017; Zbl 06725145)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Finkel, Olivier

Incompleteness theorems, large cardinals, and automata over finite words. (English) Zbl 1459.03055

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 231-246 (2017).
MSC:  03D05 03E55 03F40
PDF BibTeX XML Cite
\textit{O. Finkel}, Lect. Notes Comput. Sci. 10185, 231--246 (2017; Zbl 1459.03055)
Full Text: DOI HAL
  • logo of hbz
  • logo of WorldCat
Daviaud, Laure; Jecker, Ismaël; Reynier, Pierre-Alain; Villevalois, Didier

Degree of sequentiality of weighted automata. (English) Zbl 1396.68075

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 (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 215-230 (2017).
Reviewer: Peter Kostolányi (Bratislava)
MSC:  68Q70 68Q45
PDF BibTeX XML Cite
\textit{L. Daviaud} et al., Lect. Notes Comput. Sci. 10203, 215--230 (2017; Zbl 1396.68075)
Full Text: DOI arXiv Link
  • logo of hbz
  • logo of WorldCat
Waldmann, Johannes

Efficient completion of weighted automata. (English) Zbl 1483.68152

Corradini, Andrea (ed.) et al., Proceedings of the 9th international workshop on computing with terms and graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 225, 55-62 (2016).
MSC:  68Q42 05C22 68Q45 68R10
PDF BibTeX XML Cite
\textit{J. Waldmann}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 225, 55--62 (2016; Zbl 1483.68152)
Full Text: arXiv Link
  • logo of hbz
  • logo of WorldCat
Daviaud, Laure; Reynier, Pierre-Alain; Talbot, Jean-Marc

A generalised twinning property for minimisation of cost register automata. (English) Zbl 1401.68160

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). 857-866 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{L. Daviaud} et al., 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). 857--866 (2016; Zbl 1401.68160)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan

Quantitative automata under probabilistic semantics. (English) Zbl 1401.68155

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). 76-85 (2016).
MSC:  68Q45 03B25 68Q55 68Q87
PDF BibTeX XML Cite
\textit{K. Chatterjee} et al., 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). 76--85 (2016; Zbl 1401.68155)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan

Nested weighted limit-average automata of bounded width. (English) Zbl 1398.68305

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 24, 14 p. (2016).
MSC:  68Q45 68Q17 68Q25
PDF BibTeX XML Cite
\textit{K. Chatterjee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 58, Article 24, 14 p. (2016; Zbl 1398.68305)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Mazowiecki, Filip; Riveros, Cristian

Copyless cost-register automata: structure, expressiveness, and closure properties. (English) Zbl 1388.68175

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 53, 13 p. (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{F. Mazowiecki} and \textit{C. Riveros}, LIPIcs -- Leibniz Int. Proc. Inform. 47, Article 53, 13 p. (2016; Zbl 1388.68175)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software