default search action

combined dblp search
author search
venue search
publication search

ask others

Essays in Memory of Amir Pnueli 2010

> Home > Conferences and Workshops > Essays in Memory of

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2010pnueli
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2010pnueli
Zohar Manna, Doron A. Peled:
Time for Verification, Essays in Memory of Amir Pnueli. Lecture Notes in Computer Science 6200, Springer 2010, ISBN 978-3-642-13753-2
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BarringerG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BarringerG10
Howard Barringer, Dov M. Gabbay:
Modal and Temporal Argumentation Networks. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BensalemPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BensalemPS10
Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Knowledge Based Scheduling of Distributed Systems. 26-41
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CernyHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CernyHR10
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative Simulation Games. 42-60
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ClarkeKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ClarkeKV10
Edmund M. Clarke, Robert P. Kurshan, Helmut Veith:
The Localization Reduction and Counterexample-Guided Abstraction Refinement. 61-71
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CousotCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CousotCM10
Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
A Scalable Segmented Decision Tree Abstract Domain. 72-95
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DammDOP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DammDOP10
Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli:
Towards Component Based Design of Hybrid Systems: Safety and Stability. 96-143
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GenkinFK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GenkinFK10
Daniel Genkin, Nissim Francez, Michael Kaminski:
Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars. 144-166
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GodlinS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GodlinS10
Benny Godlin, Ofer Strichman:
Inference Rules for Proving the Equivalence of Recursive Procedures. 167-184
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HarelK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HarelK10
David Harel, Hillel Kugler:
Some Thoughts on the Semantics of Biocharts. 185-194
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HoareS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HoareS10
Tony Hoare, Natarajan Shankar:
Unraveling a Card Trick. 195-201
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KupfermanPV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KupfermanPV10
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
An Automata-Theoretic Approach to Infinite-State Systems. 202-259
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Maler10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Maler10
Oded Maler:
On the Krohn-Rhodes Cascaded Decomposition Theorem. 260-278
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MannaP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MannaP10
Zohar Manna, Amir Pnueli:
Temporal Verification of Reactive Systems: Response. 279-361
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Palem10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Palem10
Krishna V. Palem:
The Arrow of Time through the Lens of Computing. 362-369
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/RoeverLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/RoeverLM10
Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler:
What Is in a Step: New Perspectives on a Classical Question. 370-399

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.