1 %% This BibTeX bibliography file was created using BibDesk. |
1 %% This BibTeX bibliography file was created using BibDesk. |
2 %% https://bibdesk.sourceforge.io/ |
2 %% https://bibdesk.sourceforge.io/ |
3 |
3 |
4 %% Created for CS TAN at 2019-07-03 22:17:58 +0100 |
4 %% Created for CS TAN at 2019-08-18 19:00:13 +0100 |
5 |
5 |
6 |
6 |
7 %% Saved with string encoding Unicode (UTF-8) |
7 %% Saved with string encoding Unicode (UTF-8) |
8 |
8 |
9 |
9 |
10 |
10 |
|
11 @article{17Bir, |
|
12 Author = {Asiri Rathnayake and Hayo Thielecke}, |
|
13 Date-Added = {2019-08-18 17:57:30 +0000}, |
|
14 Date-Modified = {2019-08-18 18:00:13 +0000}, |
|
15 Journal = {arXiv:1405.7058}, |
|
16 Title = {Static Analysis for Regular Expression Exponential Runtime via Substructural Logics}, |
|
17 Year = {2017}} |
|
18 |
11 @article{nielson11bcre, |
19 @article{nielson11bcre, |
12 Author = { Lasse Nielsen, Fritz Henglein}, |
20 Author = {Lasse Nielsen, Fritz Henglein}, |
13 Date-Added = {2019-07-03 21:09:39 +0000}, |
21 Date-Added = {2019-07-03 21:09:39 +0000}, |
14 Date-Modified = {2019-07-03 21:17:33 +0000}, |
22 Date-Modified = {2019-07-03 21:17:33 +0000}, |
15 Journal = {LATA}, |
23 Journal = {LATA}, |
16 Title = {Bit-coded Regular Expression Parsing}, |
24 Title = {Bit-coded Regular Expression Parsing}, |
17 Year = {2011}, |
25 Year = {2011}, |