Search dblp for Publications

export results for "toc:db/conf/birthday/francez2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/AptBO09,
  author       = {Krzysztof R. Apt and
                  Frank S. de Boer and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Modular Verification of Recursive Programs},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_1},
  doi          = {10.1007/978-3-642-01748-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AptBO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ArtsteinGGLT09,
  author       = {Ron Artstein and
                  Sudeep Gandhe and
                  Jillian Gerten and
                  Anton Leuski and
                  David R. Traum},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Semi-formal Evaluation of Conversational Characters},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {22--35},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_2},
  doi          = {10.1007/978-3-642-01748-3\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ArtsteinGGLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Ben-AviW09,
  author       = {Gilad Ben{-}Avi and
                  Yoad Winter},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Scope Dominance with Generalized Quantifiers},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {36--44},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_3},
  doi          = {10.1007/978-3-642-01748-3\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Ben-AviW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BuszkowskiF09,
  author       = {Wojciech Buszkowski and
                  Maciej Farulewski},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Nonassociative Lambek Calculus with Additives and Context-Free Languages},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {45--58},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_4},
  doi          = {10.1007/978-3-642-01748-3\_4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BuszkowskiF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Dershowitz09,
  author       = {Nachum Dershowitz},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {On Lazy Commutation},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {59--82},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_5},
  doi          = {10.1007/978-3-642-01748-3\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Dershowitz09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DubovK09,
  author       = {Yulia Dubov and
                  Michael Kaminski},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown
                  Automata},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {107--127},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_8},
  doi          = {10.1007/978-3-642-01748-3\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DubovK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Elrad09,
  author       = {Tzilla Elrad},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Aspect Oriented Approach for Capturing and Verifying Distributed Properties},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {83--96},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_6},
  doi          = {10.1007/978-3-642-01748-3\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Elrad09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Francez09,
  author       = {Itamar Francez},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {No i-Sums for Nissim (and Shalom)},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {97--106},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_7},
  doi          = {10.1007/978-3-642-01748-3\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Francez09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KatzK09,
  author       = {Emilia Katz and
                  Shmuel Katz},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Modular Verification of Strongly Invasive Aspects},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {128--147},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_9},
  doi          = {10.1007/978-3-642-01748-3\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KatzK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Lehmann09,
  author       = {Daniel Lehmann},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Classes of Service under Perfect Competition and Technological Change},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {148--169},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_10},
  doi          = {10.1007/978-3-642-01748-3\_10},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Lehmann09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Nelken09,
  author       = {Rani Nelken},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {On the Ontological Nature of Syntactic Categories in Categorial Grammar},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {170--176},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_11},
  doi          = {10.1007/978-3-642-01748-3\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Nelken09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/PoratCDDKMN09,
  author       = {Sara Porat and
                  Boaz Carmeli and
                  Tamar Domany and
                  Tal Drory and
                  Ksenya Kveler and
                  Alex Melament and
                  Haim Nelken},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Masking Gateway for Enterprises},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {177--191},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_12},
  doi          = {10.1007/978-3-642-01748-3\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/PoratCDDKMN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Pratt-Hartmann09,
  author       = {Ian Pratt{-}Hartmann},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {No Syllogisms for the Numerical Syllogistic},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {192--203},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_13},
  doi          = {10.1007/978-3-642-01748-3\_13},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Pratt-Hartmann09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/WintnerLM09,
  author       = {Shuly Wintner and
                  Alon Lavie and
                  Brian MacWhinney},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Formal Grammars of Early Language},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {204--227},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_14},
  doi          = {10.1007/978-3-642-01748-3\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/WintnerLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/YadgarGS09,
  author       = {Avi Yadgar and
                  Orna Grumberg and
                  Assaf Schuster},
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Hybrid {BDD} and All-SAT Method for Model Checking},
  booktitle    = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  pages        = {228--244},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3\_15},
  doi          = {10.1007/978-3-642-01748-3\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/YadgarGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2009francez,
  editor       = {Orna Grumberg and
                  Michael Kaminski and
                  Shmuel Katz and
                  Shuly Wintner},
  title        = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5533},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01748-3},
  doi          = {10.1007/978-3-642-01748-3},
  isbn         = {978-3-642-01747-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2009francez.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.