Projects for 236331 (2018/9)

Last updated: January 1, 2019,
* Graduate students, ** postdoc

2. Topic:Multihead and pebble non-determinsitic automata capture NL
   Paper:
   • On Two-Way Multihead Automata
     Oscar H. Ibarra
   
   Students: Idan Gabai 302786272 (idangman@gmail.com) and Inbar Gera 302839295 (inbar.gera@campus.technion.ac.il)

   ---

3. Topic: Pebble weighted automata
   Paper:
   • Pebble weighted automata and transitive closure logics
     Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
   
   Students: * Liat Peterfreund 036572006 (liatpf@cs.technion.ac.il)

   ---

4. Topic: Hankel matrices and probabilistic automata
   Paper:
   • J.W. Carlyle and A.Paz
     Realization by stochastic finite automaton
   • Learning Functions Represented as Multiplicity Automata
     Amos Beimel, Francesco Bergadano, Nader H. Bshouty, Eyal Kushilevitz and Stefano Varricchio
   
   Students: * Yoav Danieli 206944860 (yoavd@campus.technion.ac.il)

   ---

5. Topic: Transitive Closure and 2-way Multihead Automata
   Paper:
   • Automata with nested pebbles capture first-order logic with transitive closure
     Joost Engelfriet and Hendrik Jan Hoogeboom
   • The Expressive Power of Transitive Closure and 2-way Multihead Automata,
     Y. Bargury and J.A. Makowsky
   
   Students:* Idan Mehalel 305159873 (idanmehalel@gmail.com)

   ---

6. Topic: Definability of selected graph properties
   Paper:
   • Information System on Graph Classes and their Inclusions
     http://www.graphclasses.org/index.html
   
   Students: Ohad Goudsmid 207838657 (goudsmidohad@campus.technion.ac.il)

   ---

7. Topic: Logics with counting
   Paper:
   • Libkin's book, chapter 8.
   
   Students: * Ester Livshits 304949290 (esterliv@cs.technion.ac.il)

   ---

   Not registered

   ---

8. Topic:
   Paper:
   Students: ** Ranveer Singh (PG201283008@iitj.ac.in)

   ---

9. Topic:
   Paper:
   Students: Shereen Awawdy (shereen.awawdy@gmail.com)