E-LIB Suche - Ergebnisse für: Jeż, Artur

1

Space-Efficient Conversions from SLPs:

, In: Lecture Notes in Computer Science; LATIN 2024: Theoretical Informatics,

Gagie, Travis ; Goga, Adrián ; Jeż, Artur. - p. 146-161 , 2024

2

Parikh's Theorem Made Symbolic:

Hague, Matthew ; Jeż, Artur ; Lin, Anthony W.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1945-1977 , 2024

Link: https://doi.org/10.1145/..

3

Decision Procedures for Sequence Theories:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Jeż, Artur ; Lin, Anthony W. ; Markgraf, Oliver. - p. 18-40 , 2023

Link: https://doi.org/10.1007/..

4

Data Path Queries over Embedded Graph Databases:

, In: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,

Figueira, Diego ; Jez, Artur ; Lin, Anthony W. - p. 189-201 , 2022

Link: https://dl.acm.org/doi/1..

5

Word equations in non-deterministic linear space:

Jeż, Artur
Journal of Computer and System Sciences. 123 (2022) - p. 122-142 , 2022

Link: https://doi.org/10.1016/..

6

Balancing Straight-line Programs:

Ganardi, Moses ; Jeż, Artur ; Lohrey, Markus
Journal of the ACM. 68 (2021) 4 - p. 1-40 , 2021

Link: https://doi.org/10.1145/..

7

Balancing Straight-line Programs:

Ganardi, Moses ; Jeż, Artur ; Lohrey, Markus
Journal of the ACM (JACM). 68 (2021) 4 - p. 1-40 , 2021

Link: https://dl.acm.org/doi/1..

8

Recompression: Technique for Word Equations and Compressed ..:

, In: Language and Automata Theory and Applications; Lecture Notes in Computer Science,

Jeż, Artur - p. 44-67 , 2020

Link: https://doi.org/10.1007/..

9

Deciding Context Unification:

Jeż, Artur
Journal of the ACM (JACM). 66 (2019) 6 - p. 1-45 , 2019

Link: https://dl.acm.org/doi/1..

10

Balancing Straight-Line Programs:

, In: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS),

Ganardi, Moses ; Jez, Artur ; Lohrey, Markus - p. 1169-1183 , 2019

Link: https://doi.org/10.1109/..

11

Deciding Context Unification (with Regular Constraints):

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Jeż, Artur - p. 18-40 , 2019

Link: https://doi.org/10.1007/..

12

Deciding Context Unification:

Jeż, Artur
Journal of the ACM. 66 (2019) 6 - p. 1-45 , 2019

Link: https://doi.org/10.1145/..

13

Unambiguous conjunctive grammars over a one-symbol alphabet:

Jeż, Artur ; Okhotin, Alexander
Theoretical Computer Science. 665 (2017) - p. 13-39 , 2017

Link: https://doi.org/10.1016/..

14

Constructing small tree grammars and small circuits for for..:

Ganardi, Moses ; Hucke, Danny ; Jeż, Artur..
Journal of Computer and System Sciences. 86 (2017) - p. 136-158 , 2017

Link: https://doi.org/10.1016/..

15

Recompression : A Simple and Powerful Technique for Word..:

Jeż, Artur
Journal of the ACM (JACM). 63 (2016) 1 - p. 1-51 , 2016

Link: https://dl.acm.org/doi/1..