Search

Your search keyword '"Pnueli, A."' showing total 10,821 results

Search Constraints

Start Over You searched for: Author "Pnueli, A." Remove constraint Author: "Pnueli, A."
10,821 results on '"Pnueli, A."'

Search Results

1. Spot the Spy: Exploring Natural Question-Asking in Gaming Environments

3. Near tangent dynamics in a class of Hamiltonian impact systems

4. Impact Hamiltonian systems and polygonal billiards

5. On the structure of Hamiltonian impact systems

8. On near integrability of some impact systems

11. Epigenetic regulation of 5α reductase-1 underlies adaptive plasticity of reproductive function and pubertal timing

12. Undersampled Phase Retrieval with Outliers

22. Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness

25. H2A.Z controls the stability and mobility of nucleosomes to regulate expression of the LH genes

28. Tet Enzymes, Variants, and Differential Effects on Function

29. Multifaceted Targeting of the Chromatin Mediates Gonadotropin-Releasing Hormone Effects on Gene Expression in the Gonadotrope

31. Effective Synthesis of Asynchronous Systems from GR(1) Specifications

32. Revisiting Synthesis of GR(1) Specifications

39. Jtlv: A Framework for Developing Verification Algorithms

40. Towards Component Based Design of Hybrid Systems: Safety and Stability

41. Temporal Verification of Reactive Systems: Response

42. Proving the Refuted: Symbolic Model Checkers as Proof Generators

46. Controller Synthesis from LSC Requirements

47. Applied Deductive Verification (Dagstuhl Seminar 03451)

Catalog

Books, media, physical & digital resources