Szymon Torunczyk Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikolaj Bojanczyk, Szymon Torunczyk: Imperative Programming in Sets with Atoms. FSTTCS 2012: 4-15
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Szymon Torunczyk: Languages of Profinite Words and the Limitedness Problem. ICALP (2) 2012: 377-389
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikolaj Bojanczyk, Szymon Torunczyk: Weak MSO+U over infinite trees. STACS 2012: 648-660
2011
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Segoufin, Szymon Torunczyk: Automata based verification over linearly ordered data domains. STACS 2011: 81-92
2010
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk: Energy and Mean-Payoff Games with Imperfect Information. CSL 2010: 260-274
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Szczepan Hummel, Michal Skrzypczak, Szymon Torunczyk: On the Topological Complexity of MSO+U and Related Automata Models. MFCS 2010: 429-440
2009
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikolaj Bojanczyk, Szymon Torunczyk: Deterministic Automata and Extensions of Weak MSO. FSTTCS 2009: 73-84

Coauthor Index

1Mikolaj Bojanczyk
[c7] [c5] [c1]
2Aldric Degorre
[c3]
3Laurent Doyen
[c3]
4Raffaella Gentilini
[c3]
5Szczepan Hummel
[c2]
6Jean-François Raskin
[c3]
7Luc Segoufin
[c4]
8Michal Skrzypczak
[c2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 05:32:34 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page