Yuri V. Matiyasevich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
1996–2012
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CADE | Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics. | Yuri V. Matiyasevich |
| 2006 | CSR | Window Subsequence Problems for Compressed Texts. | Patrick Cgielski, Irne Guessarian, Yury Lifshits, Yuri V. Matiyasevich |
| 2005 | CiE | Hilbert's Tenth Problem and Paradigms of Computation. | Yuri V. Matiyasevich |
| 1999 | PODS | Window-Accumulated Subsequence Matching Problem is Linear. | Luc Boasson, Patrick Cgielski, Irne Guessarian, Yuri V. Matiyasevich |
| 1998 | MCU | Universal Polynomials. | Yuri V. Matiyasevich |
| 1997 | ICALP | Solving Trace Equations Using Lexicographical Normal Forms. | Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl |
| 1997 | LFCS | Some Decision Problems for Traces. | Yuri V. Matiyasevich |
| 1996 | LICS | Simultaneous E-Unification and Related Algorithmic Problems. | Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov |
| 1996 | LICS | Decision Problems for Semi-Thue Systems with a Few Rules. | Yuri V. Matiyasevich, Graud Snizergues |