הטכניון מכון טכנולוגי לישראלXyz
הטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים 
Ph.D and MS.c Theses, since 1988.


Advisor Professor Michael Kaminski
Advisor's Email kaminski@cs.technion.ac.il
Advisor's Home-Site www
No of theses 16
Department Computer Science
Department Web Site www.cs.technion.ac.il


No.   Student's Name Graduation
Year
Degree Abstracts Research Name
 1 Peterfreund Liat 2015 MSc Abstracts Closure under Reversal of Languages over Infinite Alphabets: A Case Study
 2 Genkin Daniel 2011 MSc Abstracts Radical Lexicalization of Mildly Context-Sensitive Languages
 3 Aizikowitz Tamar 2011 PhD Abstracts Synchronized Alternating Pushdown Automata
 4 Carmi Adam 2010 MSc Abstracts Adaptive Multi-Pass Parsing
 5 Tan Tony 2009 PhD Abstracts Pebble Automata for Data Languages: Separation, Decidability and Undecidability
 6 Gross Ron 2008 MSc Abstracts Invariance under Stuttering in Branching-Time Temporal Logic
 7 Dubov Yulia 2008 MSc Abstracts Infinite Alphabet Pushdown Automata: Various Approaches and Comparison of Their Consequences
 8 Grimberg Benjamin 2007 MSc Abstracts Minimal Model semantics for First-Order Ground Non-Monotonic Modal Logic
 9 Zeitlin Daniel 2006 MSc Abstracts Look-Ahead Finite-Memory Automata
 10 Yariv Yael 2001 MSc
An Alternative Semantics of Temporal Logic of Actions
 11 Mosin Julia 2001 MSc
Base Dependence of Extensions for Open Default Theories
 12 Artzi Shay 2000 MSc
Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields
 13 Zbar Yael 2000 MSc
Open Default Theories
 14 Rey Guy 2000 MSc
First-Order Non-Monotonic Logic
 15 Tal Arie 1999 MSc
Decidability of Inclusion for Unification Based Automata
 16 Bshouty Nader 1989 PhD
Bounds on Multiplicative Complexity of Sets of Bilinear Form

Last updated on: Tuesday ,September 17, 2019