×

Found 1,456 Documents (Results 1–100)

100
MathJax
Newest 1st
Gibney, Daniel; Thankachan, Sharma V.; Aluru, Srinivas

The complexity of approximate pattern matching on de Bruijn graphs. (English) Zbl 07577825

Pe’er, Itsik (ed.), Research in computational molecular biology. 26th annual international conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13278, 263-278 (2022).
MSC:  92D20 92C15 68Q17
PDF BibTeX XML Cite
\textit{D. Gibney} et al., Lect. Notes Comput. Sci. 13278, 263--278 (2022; Zbl 07577825)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Warnke, Tom; Uhrmacher, Adelinde M.

Nonlinear pattern matching in rule-based modeling languages. (English) Zbl 1491.92067

Cinquemani, Eugenio (ed.) et al., Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12881, 198-214 (2021).
MSC:  92C42 92C40 92-08
PDF BibTeX XML Cite
\textit{T. Warnke} and \textit{A. M. Uhrmacher}, Lect. Notes Comput. Sci. 12881, 198--214 (2021; Zbl 1491.92067)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
Asarin, Eugene; Ferrère, Thomas; Ničković, Dejan; Ulus, Dogan

On the complexity of timed pattern matching. (English) Zbl 07497998

Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 15-31 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{E. Asarin} et al., Lect. Notes Comput. Sci. 12860, 15--31 (2021; Zbl 07497998)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Equi, Massimo; Mäkinen, Veli; Tomescu, Alexandru I.

Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails. (English) Zbl 1490.68151

Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 608-622 (2021).
MSC:  68R10 68P05 68P15 68Q17 68Q25 68W32
PDF BibTeX XML Cite
\textit{M. Equi} et al., Lect. Notes Comput. Sci. 12607, 608--622 (2021; Zbl 1490.68151)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Cirstea, Horatiu; Lermusiaux, Pierre; Moreau, Pierre-Etienne

Pattern eliminating transformations. (English) Zbl 07496642

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 74-92 (2021).
MSC:  68N30
PDF BibTeX XML Cite
\textit{H. Cirstea} et al., Lect. Notes Comput. Sci. 12561, 74--92 (2021; Zbl 07496642)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Jelínek, Vít; Opler, Michal; Pekárek, Jakub

A complexity dichotomy for permutation pattern matching on grid classes. (English) Zbl 07559423

Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 52, 18 p. (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{V. Jelínek} et al., LIPIcs -- Leibniz Int. Proc. Inform. 170, Article 52, 18 p. (2020; Zbl 07559423)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Basset, Nicolas; Dang, Thao; Mambakam, Akshay; Requeno Jarabo, José Ignacio

Learning specifications for labelled patterns. (English) Zbl 07317091

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 76-93 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{N. Basset} et al., Lect. Notes Comput. Sci. 12288, 76--93 (2020; Zbl 07317091)
Full Text: DOI HAL
  • logo of hbz
  • logo of WorldCat
Martín, Alexis; Ríos, Alejandro; Viso, Andrés

Pure pattern calculus à la de Bruijn. (English) Zbl 07313967

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 95-113 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{A. Martín} et al., Electron. Notes Theor. Comput. Sci. 351, 95--113 (2020; Zbl 07313967)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Chan, Timothy M.; Golan, Shay; Kociumaka, Tomasz; Kopelowitz, Tsvi; Porat, Ely

Approximating text-to-pattern Hamming distances. (English) Zbl 07298277

Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 643-656 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{T. M. Chan} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 643--656 (2020; Zbl 07298277)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Gu, Geonmo; Song, Siwoo; Faro, Simone; Lecroq, Thierry; Park, Kunsoo

Fast multiple pattern Cartesian tree matching. (English) Zbl 07224277

Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 14th international conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12049, 107-119 (2020).
MSC:  68Wxx
PDF BibTeX XML Cite
\textit{G. Gu} et al., Lect. Notes Comput. Sci. 12049, 107--119 (2020; Zbl 07224277)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Jargalsaikhan, Davaajav; Hendrian, Diptarama; Yoshinaka, Ryo; Shinohara, Ayumi

Parallel duel-and-sweep algorithm for the order-preserving pattern matching. (English) Zbl 1440.68342

Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 211-222 (2020).
MSC:  68W32 68W10
PDF BibTeX XML Cite
\textit{D. Jargalsaikhan} et al., Lect. Notes Comput. Sci. 12011, 211--222 (2020; Zbl 1440.68342)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Clifford, Raphaël; Gawrychowski, Paweł; Kociumaka, Tomasz; Martin, Daniel P.; Uznański, Przemysław

RLE edit distance in near optimal time. (English) Zbl 07561710

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 66, 13 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{R. Clifford} et al., LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 66, 13 p. (2019; Zbl 07561710)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Equi, Massimo; Grossi, Roberto; Mäkinen, Veli; Tomescu, Alexandru I.

On the complexity of string matching for graphs. (English) Zbl 07561548

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 55, 15 p. (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{M. Equi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 132, Article 55, 15 p. (2019; Zbl 07561548)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Bernardini, Giulia; Gawrychowski, Paweł; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna

Even faster elastic-degenerate string matching via fast matrix multiplication. (English) Zbl 07561514

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 21, 15 p. (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{G. Bernardini} et al., LIPIcs -- Leibniz Int. Proc. Inform. 132, Article 21, 15 p. (2019; Zbl 07561514)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Hendrian, Diptarama; Takagi, Takuya; Inenaga, Shunsuke

Online algorithms for constructing linear-size suffix trie. (English) Zbl 07559198

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 30, 19 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{D. Hendrian} et al., LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 30, 19 p. (2019; Zbl 07559198)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Alzamel, Mai; Crochemore, Maxime; Iliopoulos, Costas S.; Kociumaka, Tomasz; Radoszewski, Jakub; Rytter, Wojciech; Straszyński, Juliusz; Waleń, Tomasz; Zuba, Wiktor

Quasi-linear-time algorithm for longest common circular factor. (English) Zbl 07559193

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 25, 14 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{M. Alzamel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 25, 14 p. (2019; Zbl 07559193)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Gawrychowski, Paweł; Starikovskaya, Tatiana

Streaming dictionary matching with mismatches. (English) Zbl 07559189

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 21, 15 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{P. Gawrychowski} and \textit{T. Starikovskaya}, LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 21, 15 p. (2019; Zbl 07559189)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Park, Sung Gwan; Amir, Amihood; Landau, Gad M.; Park, Kunsoo

Cartesian tree matching and indexing. (English) Zbl 07559184

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 16, 14 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{S. G. Park} et al., LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 16, 14 p. (2019; Zbl 07559184)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Studený, Jan; Uznański, Przemysław

Approximating approximate pattern matching. (English) Zbl 07559183

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 15, 13 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{J. Studený} and \textit{P. Uznański}, LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 15, 13 p. (2019; Zbl 07559183)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Labib, Karim; Uznański, Przemyslaw; Wolleb-Graf, Daniel

Hamming distance completeness. (English) Zbl 07559182

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 14, 17 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{K. Labib} et al., LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 14, 17 p. (2019; Zbl 07559182)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Kosolobov, Dmitry; Sivukhin, Nikita

Compressed multiple pattern matching. (English) Zbl 07559181

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 13, 14 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{D. Kosolobov} and \textit{N. Sivukhin}, LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 13, 14 p. (2019; Zbl 07559181)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Gawrychowski, Paweł

How to exploit periodicity (Invited Talk). (English) Zbl 07559169

Pisanti, Nadia (ed.) et al., 30th annual symposium on combinatorial pattern matching, CPM 2019, Pisa, Italy, June 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 128, Article 1, 1 p. (2019).
MSC:  68W32
PDF BibTeX XML Cite
\textit{P. Gawrychowski}, LIPIcs -- Leibniz Int. Proc. Inform. 128, Article 1, 1 p. (2019; Zbl 07559169)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Ben-Eliezer, Omri

Testing local properties of arrays. (English) Zbl 07559054

Blum, Avrim (ed.), 10th innovations in theoretical computer science conference, ITCS 2019, January 10–12, 2019, San Diego, CA, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 124, Article 11, 20 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{O. Ben-Eliezer}, LIPIcs -- Leibniz Int. Proc. Inform. 124, Article 11, 20 p. (2019; Zbl 07559054)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Eppstein, David; Lokshtanov, Daniel

The parameterized complexity of finding point sets with hereditary properties. (English) Zbl 07378597

Paul, Christophe (ed.) et al., 13th international symposium on parameterized and exact computation, IPEC 2018, August 22–24, 2018, Helsinki, Finland. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 115, Article 11, 14 p. (2019).
MSC:  68Q25 68Wxx
PDF BibTeX XML Cite
\textit{D. Eppstein} and \textit{D. Lokshtanov}, LIPIcs -- Leibniz Int. Proc. Inform. 115, Article 11, 14 p. (2019; Zbl 07378597)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Brzozowski, Janusz A.; Davies, Sylvie; Madan, Abhishek

State complexity of single-word pattern matching in regular languages. (English) Zbl 1434.68238

Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 86-97 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} et al., Lect. Notes Comput. Sci. 11612, 86--97 (2019; Zbl 1434.68238)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Mráz, František; Průša, Daniel; Wehar, Michael

Two-dimensional pattern matching against basic picture languages. (English) Zbl 1434.68278

Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 209-221 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{F. Mráz} et al., Lect. Notes Comput. Sci. 11601, 209--221 (2019; Zbl 1434.68278)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Weidmann, Nils; Anjorin, Anthony; Stolte, Florian; Kraus, Florian

From pattern invocation networks to rule preconditions. (English) Zbl 1429.68199

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 195-211 (2019).
MSC:  68R10 68Q42
PDF BibTeX XML Cite
\textit{N. Weidmann} et al., Lect. Notes Comput. Sci. 11629, 195--211 (2019; Zbl 1429.68199)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Sinha, Sandip; Weinstein, Omri

Local decodability of the Burrows-Wheeler transform. (English) Zbl 1433.68134

Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 744-755 (2019).
MSC:  68P30 68P05 68W32 68W40
PDF BibTeX XML Cite
\textit{S. Sinha} and \textit{O. Weinstein}, in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 744--755 (2019; Zbl 1433.68134)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Waga, Masaki; Hasuo, Ichiro

Poster abstract: Moore-machine filtering for timed and untimed pattern matching. (English) Zbl 07120169

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Waga} and \textit{I. Hasuo}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 272--273 (2019; Zbl 07120169)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Alatabbi, Ali; Daykin, Jacqueline W.; Mhaskar, Neerja; Rahman, M. Sohel; Smyth, W. F.

Applications of \(V\)-order: suffix arrays, the Burrows-Wheeler transform & the FM-index. (English) Zbl 07117336

Das, Gautam K. (ed.) et al., WALCOM: algorithms and computation. 13th international conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11355, 329-338 (2019).
MSC:  68Wxx
PDF BibTeX XML Cite
\textit{A. Alatabbi} et al., Lect. Notes Comput. Sci. 11355, 329--338 (2019; Zbl 07117336)
Full Text: DOI
  • 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