Front for the arXiv
Fri, 8 Dec 2017
Front > cs > FL
search | register | submit
journals | about | iFAQ

cs.FL Formal Languages and Automata Theory

Calendar Search Atom feed

Search

Recent   

New articles (last 12)

5 Dec [abs] [pdf] [ps] arXiv:1712.00811 Lower Bounds on Regular Expression Size. Hamoon Mousavi. cs.FL.
4 Dec [abs] [pdf] [ps] 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 [abs] [pdf] 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 [abs] [pdf] [ps] 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 [abs] [pdf] [ps] arXiv:1712.00811 Lower Bounds on Regular Expression Size. Hamoon Mousavi. cs.FL.
8 Dec [abs] [pdf] [ps] arXiv:1702.08144 Synchronization Problems in Automata without Non-trivial Cycles. Andrew Ryzhikov. cs.FL (cs.CC).
7 Dec [abs] [pdf] 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 [abs] [pdf] [ps] arXiv:1710.06000 State Complexity of Overlap Assembly. Janusz Brzozowski, Lila Kari, Bai Li, Marek Szykuła. cs.FL.
5 Dec [abs] [pdf] [ps] 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 [abs] [pdf] [ps] 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 [abs] [pdf] [ps] arXiv:1611.01696 More on Compression and Ranking. Lane A. Hemaspaandra, Daniel Rubery. cs.LO (cs.CC cs.FL math.LO).
5 Dec [abs] [pdf] [ps] 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] - for questions or comments about the Front
arXiv contact page - for questions about downloading and submitting e-prints