--- a/ChengsongTanPhdThesis/example.bib Sat Oct 01 12:06:46 2022 +0100
+++ b/ChengsongTanPhdThesis/example.bib Mon Oct 03 02:08:49 2022 +0100
@@ -8,6 +8,83 @@
+%% POSIX specification------------------------
+@InProceedings{Okui10,
+author="Okui, Satoshi
+and Suzuki, Taro",
+editor="Domaratzki, Michael
+and Salomaa, Kai",
+title="Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions",
+booktitle="Implementation and Application of Automata",
+year="2011",
+publisher="Springer Berlin Heidelberg",
+address="Berlin, Heidelberg",
+pages="231--240",
+abstract="This paper offers a new efficient regular expression matching algorithm which follows the POSIX-type leftmost-longest rule. The algorithm basically emulates the subset construction without backtracking, so that its computational cost even in the worst case does not explode exponentially; the time complexity of the algorithm is O(mn(n{\thinspace}+{\thinspace}c)), where m is the length of a given input string, n the number of occurrences of the most frequently used letter in a given regular expression and c the number of subexpressions to be used for capturing substrings. A formalization of the leftmost-longest semantics by using parse trees is also discussed.",
+isbn="978-3-642-18098-9"
+}
+
+%% POSIX specification------------------------
+
+%% Brzozowski ders------------------------
+@article{Berglund14,
+author = {Berglund, Martin and Drewes, Frank and Van Der Merwe, Brink},
+year = {2014},
+month = {05},
+pages = {},
+title = {Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching},
+volume = {151},
+journal = {Electronic Proceedings in Theoretical Computer Science},
+doi = {10.4204/EPTCS.151.7}
+}
+
+@InProceedings{Berglund18,
+author="Berglund, Martin
+and Bester, Willem
+and van der Merwe, Brink",
+editor="Fischer, Bernd
+and Uustalu, Tarmo",
+title="Formalising Boost POSIX Regular Expression Matching",
+booktitle="Theoretical Aspects of Computing -- ICTAC 2018",
+year="2018",
+publisher="Springer International Publishing",
+address="Cham",
+pages="99--115",
+abstract="Whereas Perl-compatible regular expression matchers typically exhibit some variation of leftmost-greedy semantics, those conforming to the posix standard are prescribed leftmost-longest semantics. However, the posix standard leaves some room for interpretation, and Fowler and Kuklewicz have done experimental work to confirm differences between various posix matchers. The Boost library has an interesting take on the posix standard, where it maximises the leftmost match not with respect to subexpressions of the regular expression pattern, but rather, with respect to capturing groups. In our work, we provide the first formalisation of Boost semantics, and we analyse the complexity of regular expression matching when using Boost semantics.",
+isbn="978-3-030-02508-3"
+}
+
+
+@inproceedings{Chen12,
+author = {Chen, Haiming and Yu, Sheng},
+year = {2012},
+month = {01},
+pages = {343-356},
+title = {Derivatives of Regular Expressions and an Application},
+volume = {7160},
+doi = {10.1007/978-3-642-27654-5_27}
+}
+
+
+
+%% Brzozowski ders------------------------
+
+
+%% look-aheads------------------------
+@article{Takayuki2019,
+ title={Derivatives of Regular Expressions with Lookahead},
+ author={Takayuki Miyazaki and Yasuhiko Minamide},
+ journal={Journal of Information Processing},
+ volume={27},
+ number={ },
+ pages={422-430},
+ year={2019},
+ doi={10.2197/ipsjjip.27.422}
+}
+
+%% look-aheads------------------------
+
+
%% back-references--------------------
@incollection{AHO1990255,
@@ -537,6 +614,8 @@
volume = {7086},
year = {2011}}
+
+
@inproceedings{Almeidaetal10,
author = {J.~B.~Almeida and N.~Moriera and D.~Pereira and S.~M.~de Sousa},
booktitle = {Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)},
@@ -575,20 +654,22 @@
url = {http://www.pcre.org},
bdsk-url-1 = {http://www.pcre.org}}
-@inproceedings{OkuiSuzuki2010,
- author = {S.~Okui and T.~Suzuki},
- booktitle = {Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)},
- pages = {231--240},
- series = {LNCS},
- title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions},
- volume = {6482},
- year = {2010}}
+%@inproceedings{OkuiSuzuki2010,
+% author = {S.~Okui and T.~Suzuki},
+% booktitle = {Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)},
+% pages = {231--240},
+% series = {LNCS},
+% title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions},
+% volume = {6482},
+% year = {2010}}
+%
-@techreport{OkuiSuzukiTech,
- author = {S.~Okui and T.~Suzuki},
- institution = {University of Aizu},
- title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions},
- year = {2013}}
+
+%@techreport{OkuiSuzukiTech,
+% author = {S.~Okui and T.~Suzuki},
+% institution = {University of Aizu},
+% title = {{D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions},
+% year = {2013}}
@inproceedings{Davis18,
author = {J.~C.~Davis and C.~.A.~Coghlan and F.~Servant and D.~Lee},