![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| KosarajuDecidability82.pdf | 2011-11-07 10:39 | 829K | |
| LICS18_paper_196.pdf | 2018-02-01 17:26 | 1.1M | |
| actl.pdf | 2011-11-07 10:39 | 172K | |
| algebra-26-aug-2020.pdf | 2020-08-26 15:53 | 71M | |
| atoms-25-04-25.pdf | 2025-04-25 04:20 | 16M | |
| atomturing.pdf | 2013-02-11 15:09 | 1.4M | |
| automatadatawords.pdf | 2011-11-07 10:39 | 119K | |
| baran.pdf | 2011-11-07 10:39 | 190K | |
| beyondomega.pdf | 2011-11-07 10:39 | 188K | |
| bool-open.pdf | 2012-05-21 17:01 | 1.7M | |
| boundeddepth.pdf | 2011-11-07 10:39 | 171K | |
| bounds-lmcs.pdf | 2011-11-07 10:39 | 489K | |
| calco.pdf | 2015-04-04 11:42 | 106K | |
| classautomata-lmcs.pdf | 2013-01-18 12:51 | 424K | |
| classautomata.pdf | 2011-11-07 10:39 | 359K | |
| colco-stacso.pdf | 2015-04-04 11:42 | 966K | |
| complete-atom.pdf | 2013-05-24 10:15 | 371K | |
| csl2004.pdf | 2011-11-07 10:39 | 222K | |
| dataminor.pdf | 2012-10-11 14:22 | 2.3M | |
| datamonoids.pdf | 2011-11-07 10:39 | 425K | |
| datatransducer.pdf | 2011-11-07 10:39 | 290K | |
| datatreeacm.pdf | 2011-11-07 10:39 | 512K | |
| datatreejournal.pdf | 2011-11-07 10:39 | 448K | |
| driven-atom.pdf | 2013-05-24 10:15 | 1.3M | |
| dtwa-sep.pdf | 2017-12-27 11:21 | 224K | |
| dtwa.pdf | 2011-11-07 10:39 | 220K | |
| efinf.pdf | 2011-11-07 10:39 | 320K | |
| eftcs.pdf | 2011-11-07 10:39 | 372K | |
| exchange-journal.pdf | 2012-07-23 12:16 | 1.3M | |
| exchange.pdf | 2011-11-07 10:39 | 376K | |
| finmod-guarded.pdf | 2012-03-09 10:59 | 153K | |
| forest.pdf | 2011-11-07 10:39 | 215K | |
| forests-dlt.pdf | 2011-11-07 10:39 | 249K | |
| hodata.pdf | 2011-11-07 10:39 | 280K | |
| jaiobis-6.pdf | 2017-11-02 14:52 | 115M | |
| jaiobis-7.pdf | 2017-11-07 13:25 | 3.2M | |
| jaiobis-8.pdf | 2017-11-13 17:24 | 3.4M | |
| jtwa.pdf | 2011-11-07 10:39 | 652K | |
| lics-bounds.pdf | 2011-11-07 10:39 | 136K | |
| lics-data.pdf | 2011-11-07 10:39 | 130K | |
| linear.pdf | 2011-11-07 10:39 | 275K | |
| linearXPath.pdf | 2011-11-07 10:39 | 241K | |
| ltt.pdf | 2011-11-07 10:39 | 116K | |
| manu.html | 2011-11-07 10:39 | 439 | |
| max-journal.pdf | 2011-12-30 12:32 | 503K | |
| max.pdf | 2011-11-07 10:39 | 234K | |
| minaut.pdf | 2011-11-07 10:39 | 268K | |
| model-theory-fm.pdf | 2012-05-21 16:53 | 356K | |
| monads.pdf | 2014-12-15 11:53 | 2.6M | |
| mso-u-undecidable.pdf | 2014-06-27 16:37 | 292K | |
| mu-types.pdf | 2015-04-04 11:42 | 926K | |
| nominal-computation.pdf | 2011-11-13 14:18 | 243K | |
| nominalmonoids.pdf | 2015-03-03 21:28 | 559K | |
| nominals.pdf | 2011-11-07 10:39 | 205K | |
| notes-July3.pdf | 2025-07-03 09:08 | 15M | |
| origin-transducer.pdf | 2014-04-30 09:38 | 1.6M | |
| paradox.pdf | 2011-11-07 10:39 | 81K | |
| pebbles.pdf | 2011-11-07 10:39 | 185K | |
| phd.pdf | 2011-11-07 10:39 | 1.5M | |
| pisigma-lmcs.pdf | 2013-01-18 12:59 | 493K | |
| pisigma.pdf | 2011-11-07 10:39 | 189K | |
| pods.pdf | 2011-11-07 10:39 | 298K | |
| regexp.pdf | 2011-11-07 10:39 | 155K | |
| rownania.pdf | 2011-11-07 10:39 | 1.0M | |
| rp-non-homo.pdf | 2012-10-08 12:40 | 91K | |
| sigmod-algebra.pdf | 2012-03-19 11:12 | 3.8M | |
| simon-lmcs.pdf | 2013-01-18 12:54 | 402K | |
| simon.pdf | 2011-11-07 10:39 | 249K | |
| skon.pdf | 2011-11-07 10:39 | 218K | |
| survey.pdf | 2011-11-07 10:39 | 345K | |
| thin-trees.pdf | 2013-05-24 10:15 | 408K | |
| timed-fm.pdf | 2012-05-21 16:50 | 404K | |
| timelogic.pdf | 2011-11-07 10:39 | 303K | |
| toolbox-dec-22-2025.pdf | 2025-12-23 17:52 | 3.9M | |
| toolbox-feb-6-2025.pdf | 2025-02-06 17:30 | 3.4M | |
| toolbox-reduced-feb2.pdf | 2018-02-02 17:49 | 3.5M | |
| toolbox-reduced-feb6.pdf | 2018-02-06 17:39 | 3.5M | |
| toolbox.pdf | 2025-12-23 17:56 | 3.9M | |
| treealgs.pdf | 2011-12-29 17:55 | 326K | |
| turing-atom.pdf | 2014-03-24 14:13 | 1.1M | |
| twamim.pdf | 2011-11-07 10:39 | 220K | |
| twareg.pdf | 2011-11-07 10:39 | 1.3M | |
| twasiam.pdf | 2011-11-07 10:39 | 808K | |
| twasurvey.pdf | 2011-11-07 10:39 | 312K | |
| unary.pdf | 2011-11-07 10:39 | 370K | |
| unarytemporal.pdf | 2011-11-07 10:39 | 150K | |
| vanderwerf.pdf | 2017-03-01 10:03 | 530K | |
| while-atom.pdf | 2013-06-03 11:18 | 441K | |
| wmsou-trees.pdf | 2012-01-03 14:35 | 2.1M | |
| wmsoup.pdf | 2014-04-30 09:51 | 1.9M | |
| wreath-lmcs.pdf | 2013-01-18 12:57 | 431K | |
| wreath.pdf | 2011-11-07 10:39 | 175K | |