Peles, Doron: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 6.80 MB

english, 2004

52

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || MCK: Model Checking the Logic of Knowledge

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 99 KB

english, 2004

53

Relaxed Visibility Enhances Partial Order Reduction

Doron Peled, Antti Valmari, Ilkka Kokkarinen

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 111 KB

english, 2001

54

Heparanase procoagulant activity as a predictor of wound necrosis following diabetic foot amputation

Peled, Eli, Melamed, Eyal, Portal, Tali Banker, Axelman, Elena, Norman, Doron, Brenner, Benjamin, Nadir, Yona

Journal:

Thrombosis Research

Year:

2016

Language:

english

File:

PDF, 981 KB

english, 2016

55

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || A Sketching-Based Approach for Debugging Using Test Cases

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 711 KB

english, 2016

56

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || CVC Lite: A New Implementation of the Cooperating Validity Checker

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 91 KB

english, 2004

57

[Lecture Notes in Computer Science] Model Checking and Artificial Intelligence Volume 5348 || Survey on Directed Model Checking

Peled, Doron A., Wooldridge, Michael J.

Year:

2009

Language:

english

File:

PDF, 403 KB

english, 2009

58

Using partial-order methods in the formal validation of industrial concurrent programs

Godefroid, Patrice, Peled, Doron, Staskauskas, Mark

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 866 KB

english, 1996

59

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 ||

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 12.70 MB

english, 2016

60

Verification of distributed programs using representative interleaving sequences

Shmuel Katz, Doron Peled

Journal:

Distributed Computing

Year:

1992

Language:

english

File:

PDF, 1.69 MB

english, 1992

61

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 388 KB

english, 1999

62

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || The UCLID Decision Procedure

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 100 KB

english, 2004

63

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Abstract and Model Check while You Prove

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 623 KB

english, 1999

64

Ganglioneuroma of the Adrenal Gland: A Rare Tumor in a Rare Location

Gilshtein, Hayim, Peled, Zvi, Grunner, Shahar, Fischer, Doron, Kakiashvili, Eli, Kluger, Yoram

Journal:

Case Reports in Oncology

Year:

2012

Language:

english

File:

PDF, 445 KB

english, 2012

65

Proving partial order properties

Doron Peled, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.68 MB

english, 1994

66

Ethnic Democracy Revisited: On the State of Democracy in the Jewish State

Peled, Yoav, Navot, Doron

Journal:

Israel Studies Forum

Year:

2005

Language:

english

File:

PDF, 165 KB

english, 2005

67

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Local and global fairness in concurrent systems

Brook, Alon, Peled, Doron, Schewe, Sven

Year:

2015

Language:

english

File:

PDF, 153 KB

english, 2015

68

Parametric temporal logic for “model measuring”

Alur, Rajeev, Etessami, Kousha, La Torre, Salvatore, Peled, Doron

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 268 KB

english, 2001

69

Ethnic Democracy Revisited: On the State of Democracy in the Jewish State

Yoav Peled and Doron Navot

Journal:

Israel Studies Forum

Year:

2005

Language:

english

File:

PDF, 2.26 MB

english, 2005

70

Achieving distributed control through model checking

Susanne Graf, Doron Peled, Sophie Quinton

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 684 KB

english, 2012

71

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || An Experimental Evaluation of Ground Decision Procedures

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 289 KB

english, 2004

72

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 90 KB

english, 2004

73

Synthesis of succinct systems

Fearnley, John, Peled, Doron, Schewe, Sven

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 655 KB

english, 2015

74

Combining partial order reductions with on-the-fly model-checking

Journal:

Formal Methods in System Design

Year:

1996

Language:

english

File:

PDF, 1.48 MB

english, 1996

75

Increased heparanase level and procoagulant activity in orthopedic surgery patients receiving prophylactic dose of enoxaparin

Eli Peled, Alexey Rovitsky, Elena Axelman, Doron Norman, Benjamin Brenner, Yona Nadir

Journal:

Thrombosis Research

Year:

2012

Language:

english

File:

PDF, 386 KB

english, 2012

76

Tracing the executions of concurrent programs

Elsa Gunter, Doron Peled

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

77

Formal Verification of a Partial-Order Reduction Technique for Model Checking

Ching-Tsun Chou, Doron Peled

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 147 KB

english, 1999

78

Combining Software and Hardware Verification Techniques

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 190 KB

english, 2002

79

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || Introducing Dynamic Properties with Past Temporal Operators in the B Refinement

Peled, Doron A., Tsay, Yih-Kuen

Year:

2005

Language:

english

File:

PDF, 302 KB

english, 2005

80

Defining conditional independence using collapses

Shmuel Katz, Doron Peled

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.64 MB

english, 1992

81

Deciding Global Partial-Order Properties

Rajeev Alur, Ken McMillan, Doron Peled

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 913 KB

english, 2005

82

Use of a New Exsanguination Tourniquet in Internal Fixation of Distal Radius Fractures

Norman, Doron, Greenfield, Inbal, Ghrayeb, Nabil, Peled, Eli, Dayan, Lior

Journal:

Techniques in Hand & Upper Extremity Surgery

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

83

Ethics Review Boards for Research With Human Participants: Past, Present, and Future

Peled-Raz, Maya, Tzafrir, Shay S., Enosh, Guy, Efron, Yael, Doron, Israel (Issi)

Journal:

Qualitative Health Research

Year:

2020

File:

PDF, 164 KB

2020

84

Undecidability of partial order logics

Rajeev Alur, Doron Peled

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 645 KB

english, 1999

85

Editorial: special issue on synthesis

Peled, Doron, Schewe, Sven

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 86 KB

english, 2014

86

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Improved Automata Generation for Linear Temporal Logic

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 751 KB

english, 1999

87

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Using partial-order methods in the formal validation of industrial concurrent programs

Godefroid, Patrice, Peled, Doron, Staskauskas, Mark

Year:

1996

Language:

english

File:

PDF, 866 KB

english, 1996

88

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 294 KB

english, 2016

89

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Termination of Linear Programs

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

90

Automated 4-dimensional regional myocardial strain evaluation using cardiac computed tomography

Peled, Zvi, Lamash, Yechiel, Carasso, Shemy, Fischer, Anath, Agmon, Yoram, Mutlak, Diab, Aronson, Doron, Bolotin, Gil, Lessick, Jonathan

Journal:

The International Journal of Cardiovascular Imaging

Year:

2019

Language:

english

File:

PDF, 2.51 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски