| drwxr-xr-x | [up] | |||
| drwxr-xr-x | parsing | files | ||
| drwxr-xr-x | static | files | ||
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 464417 | 2019_borsotti_trofimovich_efficient_posix_submatch_extraction_on_nfa.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 456912 | Henglein-Nielsen-LATA-paper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1052520 | Karp-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 564323 | Klenex-paper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 528 | LINKS | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 167669 | LangSec-2014-fsm-parsers.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 214227 | Lookahead-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 182709 | PhdUpgradeReport.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1233695 | ReDoS1.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 399994 | ReDoS2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 381089 | RegEx-CrashCourse.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1206314 | Regex-LinguaFranca-ESECFSE19.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 515627 | Saarikivi2019_Chapter_SymbolicRegexMatcher.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 249597 | Verbatim-2021-paper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 382447 | VerbatimPP-Lexer.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 508474 | agda-bit-coded.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 10279076 | aho1990.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 205012 | alternative-posix-conf.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 366261 | alternative-posix.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1978418 | antimirov1996.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 291880 | automata-explosion-gpu.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 3389320 | automata-explosion-survey.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1759294 | automata-explosion2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 685630 | automata-notes.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 446723 | backref-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 200315 | backref-automata2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 111675 | backref-komandansky.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 426733 | backref-singlecharacter.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1637480 | berrysethi.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 748881 | better-parse-derivs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 535201 | boost-semantics.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 326261 | catastrophic-backtracking.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1704983 | counting-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 1233695 | evil-regs-study-javascript.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 287850 | ext-partial-ders.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 467910 | ext-partial-ders2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 893606 | ext-partial-ders3-phd.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 720013 | fahad-thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 165142 | frisch-cardelli.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 2233085 | grathwohl2015thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 682756 | hein-proj-thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 456912 | henglein2011b-bitstrings.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 115499 | huet-zipper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 160414 | kraus-nipkow-rexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 439867 | ktl16regexp-agda.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 329739 | lexing-via-extended-regex.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 152168 | linear-lexer.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 190075 | nipkow-lexing.ps | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 298978 | pattern-match.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 567452 | pfenning-dfa16.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 2030862 | rasmussen2017-0-thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 273949 | regex-low-lewel-code-verify.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 334202 | regex-semantics.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 219107 | rex-benchmark-TR.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 343076 | size-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 54961109 | spineless-tagless-gmachine.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 248745 | stal-extended.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 287578 | star-der-paper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 79718 | string-derivative.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 216769 | sulzmann-ambiguity.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 329739 | sulzmann-lexing-automata-part-der.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 274365 | sulzmann14-new.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 266136 | sulzmann14.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 398324 | tal-toplas.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 368904 | type-pattern-match.pdf | file | revisions | annotate |
| -rw-r--r-- | 2022-08-31 12:51 +0100 | 707838 | ziper-ders.pdf | file | revisions | annotate |