BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Finland
1 × Iceland
1 × Latvia
1 × Portugal
1 × United Kingdom
2 × France
Collaborated with:
A.Maletti A.Okhotin
Talks about:
equat (4) recompress (3) conjunct (3) automata (3) grammar (3) word (3) determinist (2) regular (2) languag (2) generat (2)

Person: Artur Jez

DBLP DBLP: Jez:Artur

Contributed to:

ICALP (2) 20142014
DLT 20132013
ICALP (2) 20132013
CIAA 20122012
CIAA 20122013
ICALP (1) 20122012
CIAA 20112011
ICALP (2) 20082008
DLT 20072007
DLT 20072008
CSL 20202020

Wrote 12 papers:

ICALP-v2-2014-Jez #unification
Context Unification is in PSPACE (AJ), pp. 244–255.
DLT-2013-Jez #equation #named #word
Recompression: Word Equations and Beyond (AJ), pp. 12–26.
DLT-2013-JezO #ambiguity #boolean grammar
Unambiguous Conjunctive Grammars over a One-Letter Alphabet (AJ, AO), pp. 277–288.
ICALP-v2-2013-Jez #equation #linear #word
One-Variable Word Equations in Linear Time (AJ), pp. 324–335.
CIAA-2012-JezM #automaton
Hyper-minimization for Deterministic Tree Automata (AJ, AM), pp. 217–228.
CIAA-J-2012-JezM13 #automaton
Hyper-Minimization for Deterministic Tree Automata (AJ, AM), pp. 815–830.
ICALP-v1-2012-Jez #pattern matching #performance
Faster Fully Compressed Pattern Matching by Recompression (AJ), pp. 533–544.
CIAA-2011-JezM #automaton #performance
Computing All ℓ-Cover Automata Fast (AJ, AM), pp. 203–214.
ICALP-B-2008-JezO #equation #on the #set
On the Computational Completeness of Equations over Sets of Natural Numbers (AJ, AO), pp. 63–74.
DLT-2007-Jez #boolean grammar
Conjunctive Grammars Can Generate Non-regular Unary Languages (AJ), pp. 242–253.
DLT-J-2007-Jez08 #boolean grammar
Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
CSL-2020-Jez #equation #problem #unification #word
Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk) (AJ), p. 17.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.