Jarett Schwartz

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Automated Verification

Linear Temporal Logic

Top Venues

J. Autom. Lang. Comb.

Log. Methods Comput. Sci.

Publications

Francine Blanchet-Sadri, Aleksandar Chakarov, Bob Chen, Lucas Manuelli, Sinziana Munteanu, Jarett Schwartz, Slater Stich
Recurrent Partial Words and Representable Sets. J. Autom. Lang. Comb. 21 (3) (2016)
Robert Ganian, Petr Hlinený, Daniel Král, Jan Obdrzálek, Jarett Schwartz, Jakub Teska
FO Model Checking of Interval Graphs Log. Methods Comput. Sci. 11 (4) (2015)
Lukasz Jez, Jarett Schwartz, Jirí Sgall, József Békési
Lower bounds for online makespan minimization on a small number of related machines. J. Sched. 16 (5) (2013)
Robert Ganian, Petr Hlinený, Daniel Král', Jan Obdrzálek, Jarett Schwartz, Jakub Teska
FO Model Checking of Interval Graphs. ICALP (2) (2013)
Francine Blanchet-Sadri, Aleksandar Chakarov, Lucas Manuelli, Jarett Schwartz, Slater Stich
Constructing partial words with subword complexities not achievable by full words. Theor. Comput. Sci. 432 (2012)
Francine Blanchet-Sadri, Aleksandar Chakarov, Lucas Manuelli, Jarett Schwartz, Slater Stich
Recurrent Partial Words WORDS (2011)
Francine Blanchet-Sadri, Jarett Schwartz, Slater Stich, Benjamin J. Wyatt
Binary De Bruijn Partial Words with One Hole. TAMC (2010)