![[abs]](/National_Library/20160526010038im_/http://front.math.ucdavis.edu/images/buttons/abs.png)
![[pdf]](/National_Library/20160526010038im_/http://front.math.ucdavis.edu/images/buttons/pdf.png)
![[ps]](/National_Library/20160526010038im_/http://front.math.ucdavis.edu/images/buttons/ps.png)
| Front for the arXiv | |||
| |||
| cs.FL Formal Languages and Automata Theory |
| Search |
| New articles (last 12) |
| 5 Dec |
|
arXiv:1712.00811 Lower Bounds on Regular Expression Size. Hamoon Mousavi. cs.FL. |
| 4 Dec |
|
arXiv:1712.00275 Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang. cs.FL (cs.LO). |
| Cross-listings |
| 5 Dec |
|
arXiv:1712.01063 A Second-Order Approach to Complex Event Recognition. Alejandro Grez, Cristian Riveros, Martin Ugarte, Stijn Vansummeren. cs.DB (cs.FL cs.LO). |
| 1 Dec |
|
arXiv:1711.11208 Keep it Fair: Equivalences. Tobias Prehn (TU Berlin, Germany), Stephan Mennicke (TU Braunschweig, Germany). EPTCS 261, 2017, pp. 5-16. cs.LO (cs.DC cs.FL). |
| Revisions |
| 8 Dec |
|
arXiv:1712.00811 Lower Bounds on Regular Expression Size. Hamoon Mousavi. cs.FL. |
| 8 Dec |
|
arXiv:1702.08144 Synchronization Problems in Automata without Non-trivial Cycles. Andrew Ryzhikov. cs.FL (cs.CC). |
| 7 Dec |
|
arXiv:1701.08682 A Load-Buffer Semantics for Total Store Ordering. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo. cs.FL (cs.LO). |
| 6 Dec |
|
arXiv:1710.06000 State Complexity of Overlap Assembly. Janusz Brzozowski, Lila Kari, Bai Li, Marek Szykuła. cs.FL. |
| 5 Dec |
|
arXiv:1410.1042 A Characterization for Decidable Separability by Piecewise Testable Languages. Wojciech Czerwiński, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetzsche. cs.FL. |
| 4 Dec |
|
arXiv:1711.10216 Timed Comparisons of Semi-Markov Processes. Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare. cs.FL. |
| Revised crosses |
| 5 Dec |
|
arXiv:1611.01696 More on Compression and Ranking. Lane A. Hemaspaandra, Daniel Rubery. cs.LO (cs.CC cs.FL math.LO). |
| 5 Dec |
|
arXiv:1610.01185 Recursion-Theoretic Ranking and Compression. Lane A. Hemaspaandra, Daniel Rubery. cs.LO (cs.CC cs.FL math.LO). |
| Calendar |
| 2017 188+126 | December 2+1 | November 15+9 | October 18+16 | September 12+12 | August 20+7 | July 18+9 |
| June 11+9 | May 20+13 | April 13+2 | March 12+21 | February 27+11 | January 20+16 | |
| 2016 171+100 | December 12+3 | November 11+7 | October 19+11 | September 15+13 | August 11+2 | July 11+7 |
| June 14+14 | May 19+8 | April 16+8 | March 18+12 | February 20+8 | January 5+7 | |
| 2015 181+107 | December 13+9 | November 14+12 | October 21+7 | September 15+11 | August 9+7 | July 12+8 |
| June 23+11 | May 6+10 | April 17+10 | March 18+4 | February 12+13 | January 21+5 | |
| 2014 208+112 | December 18+7 | November 10+12 | October 18+8 | September 13+4 | August 16+11 | July 9+9 |
| June 16+14 | May 32+11 | April 26+8 | March 17+10 | February 16+7 | January 17+11 | |
| 2013 152+102 | December 8+6 | November 19+8 | October 18+13 | September 13+15 | August 10+6 | July 8+15 |
| June 10+7 | May 8+3 | April 18+8 | March 9+8 | February 16+6 | January 15+7 | |
| 2012 136+107 | December 8+14 | November 3+7 | October 14+11 | September 7+8 | August 33+9 | July 16+15 |
| June 6+6 | May 11+5 | April 12+6 | March 12+9 | February 8+12 | January 6+5 | |
| 2011 130+64 | December 10+3 | November 9+6 | October 9+4 | September 6+4 | August 27+16 | July 4+3 |
| June 7+7 | May 8+2 | April 12+7 | March 8+2 | February 18+7 | January 12+3 | |
| 2010 118+60 | December 10+9 | November 14+12 | October 8+6 | September 8+4 | August 22+5 | July 7+4 |
| June 14+5 | May 6+2 | April 12+6 | March 3+1 | February 7+2 | January 7+4 | |
| 2009 80+48 | December 2+5 | November 8+6 | October 7+1 | September 2+1 | August 5 | July 32+6 |
| June 6+14 | May 5+5 | April 4+2 | March 4+2 | February 5+1 | January 0+5 | |
| 2008 1+13 | December 1+3 | November 0+1 | August 0+5 | |||
| June 0+1 | May 0+1 | March 0+1 | February 0+1 | |||
| 2007 1+2 | November 0+1 | August 1 | ||||
| May 0+1 | ||||||
| 2006 0+1 | October 0+1 | |||||
| 2004 0+1 | October 0+1 | |||||
| 2002 0+1 | September 0+1 | |||||
| 2001 0+1 | February 0+1 | |||||
| 1999 0+1 | May 0+1 | |||||
| 1998 0+1 | September 0+1 |
Total: 1366+847 articles (primary+secondary)
![[help e-mail]](/National_Library/20160526010038im_/http://front.math.ucdavis.edu/images/help.png)
- for questions or comments about the FrontarXiv contact page - for questions about downloading and submitting e-prints |