65. Birthday:
Nissim Francez 2009
Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (Eds.):
Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 5533 Springer 2009, ISBN 978-3-642-01747-6 
- Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs.
1-21
- Ron Artstein, Sudeep Gandhe, Jillian Gerten, Anton Leuski, David R. Traum:
Semi-formal Evaluation of Conversational Characters.
22-35
- Gilad Ben-Avi, Yoad Winter:
Scope Dominance with Generalized Quantifiers.
36-44
- Wojciech Buszkowski, Maciej Farulewski:
Nonassociative Lambek Calculus with Additives and Context-Free Languages.
45-58
- Nachum Dershowitz:
On Lazy Commutation.
59-82
- Tzilla Elrad:
Aspect Oriented Approach for Capturing and Verifying Distributed Properties.
83-96
- Itamar Francez:
No i-Sums for Nissim (and Shalom).
97-106
- Yulia Dubov, Michael Kaminski:
The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata.
107-127
- Emilia Katz, Shmuel Katz:
Modular Verification of Strongly Invasive Aspects.
128-147
- Daniel Lehmann:
Classes of Service under Perfect Competition and Technological Change.
148-169
- Rani Nelken:
On the Ontological Nature of Syntactic Categories in Categorial Grammar.
170-176
- Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken:
Masking Gateway for Enterprises.
177-191
- Ian Pratt-Hartmann:
No Syllogisms for the Numerical Syllogistic.
192-203
- Shuly Wintner, Alon Lavie, Brian MacWhinney:
Formal Grammars of Early Language.
204-227
- Avi Yadgar, Orna Grumberg, Assaf Schuster:
Hybrid BDD and All-SAT Method for Model Checking.
228-244
Copyright © Mon Nov 9 23:11:02 2009
by Michael Ley (ley@uni-trier.de)
