default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmir Pnueli
Person information
- award (1996): Turing Award
- award (2007): ACM Software System Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1995
[b2]Zohar Manna, Amir Pnueli:
Temporal verification of reactive systems - safety. Springer 1995, ISBN 978-0-387-94459-3, pp. I-XV, 1-512- 1992
- [b1]Zohar Manna, Amir Pnueli:
The temporal logic of reactive and concurrent systems - specification. Springer 1992, ISBN 978-3-540-97664-6, pp. I-XIV, 1-427
Journal Articles
- 2019
- [j64]Thomas Ferrère, Oded Maler, Dejan Nickovic
, Amir Pnueli:
From Real-time Logic to Timed Automata. J. ACM 66(3): 19:1-19:31 (2019) - 2012
- [j63]Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider:
Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput. 211: 138-159 (2012) - [j62]Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck:
Verification of multi-linked heaps. J. Comput. Syst. Sci. 78(3): 853-876 (2012) - [j61]Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar:
Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78(3): 911-938 (2012) - [j60]Orna Kupferman, Amir Pnueli, Moshe Y. Vardi:
Once and for all. J. Comput. Syst. Sci. 78(3): 981-996 (2012) - 2008
- [j59]Dov M. Gabbay, Amir Pnueli:
A Sound and Complete Deductive System for CTL* Verification. Log. J. IGPL 16(6): 499-536 (2008) - 2007
- [j58]Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Modular Ranking Abstraction. Int. J. Found. Comput. Sci. 18(1): 5-44 (2007) - 2006
- [j57]Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar:
Model Checking with Strong Fairness. Formal Methods Syst. Des. 28(1): 57-84 (2006) - [j56]Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck:
Liveness with invisible ranking. Int. J. Softw. Tools Technol. Transf. 8(3): 261-279 (2006) - 2005
- [j55]Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu:
Translation and Run-Time Validation of Loop Transformations. Formal Methods Syst. Des. 27(3): 335-360 (2005) - [j54]Yonit Kesten, Nir Piterman, Amir Pnueli:
Bridging the gap between fair simulation and trace inclusion. Inf. Comput. 200(1): 35-61 (2005) - [j53]Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva:
A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3): 81-115 (2005) - [j52]Yonit Kesten, Amir Pnueli:
A compositional approach to CTL* verification. Theor. Comput. Sci. 331(2-3): 397-428 (2005) - 2004
- [j51]Lenore D. Zuck, Amir Pnueli:
Model checking and abstraction to the aid of parameterized systems (a survey). Comput. Lang. Syst. Struct. 30(3-4): 139-169 (2004) - 2003
- [j50]Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel:
Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). Inf. Comput. 184(1): 227 (2003) - [j49]Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg:
VOC: A Methodology for the Translation Validation of OptimizingCompilers. J. Univers. Comput. Sci. 9(3): 223-247 (2003) - 2002
- [j48]Allen Leung, Krishna V. Palem, Amir Pnueli:
TimeC: A Time Constraint Language for ILP Processor Compilation. Constraints An Int. J. 7(2): 75-115 (2002) - [j47]Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel:
The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002) - [j46]Yonit Kesten, Amir Pnueli:
Complete Proof System for QPTL. J. Log. Comput. 12(5): 701-745 (2002) - 2001
- [j45]Yonit Kesten, Amir Pnueli, Moshe Y. Vardi:
Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001) - [j44]Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar:
Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001) - [j43]Allen Leung, Krishna V. Palem, Amir Pnueli:
Scheduling time-constrained instructions on pipelined processors. ACM Trans. Program. Lang. Syst. 23(1): 73-103 (2001) - 2000
- [j42]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. Acta Informatica 36(11): 837-912 (2000) - [j41]Yonit Kesten, Amir Pnueli:
Verification by Augmented Finitary Abstraction. Inf. Comput. 163(1): 203-243 (2000) - [j40]Orna Lichtenstein, Amir Pnueli:
Propositional Temporal Logics: Decidability and Completeness. Log. J. IGPL 8(1): 55-85 (2000) - [j39]Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli:
Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7): 1011-1025 (2000) - [j38]Yonit Kesten, Amir Pnueli:
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. Int. J. Softw. Tools Technol. Transf. 2(4): 328-342 (2000) - 1999
- [j37]Bengt Jonsson, Amir Pnueli, Camilla Rump:
Proving Refinement Using Transduction. Distributed Comput. 12(2-3): 129-149 (1999) - [j36]Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999) - 1998
- [j35]Amir Pnueli, Ofer Strichman, Michael Siegel:
The Code Validation Tool CVT: Automatic Verification of a Compilation Process. Int. J. Softw. Tools Technol. Transf. 2(2): 192-201 (1998) - 1995
- [j34]Oded Maler, Amir Pnueli:
On the Learnability of Infinitary Regular Sets. Inf. Comput. 118(2): 316-326 (1995) - [j33]Eugene Asarin, Oded Maler, Amir Pnueli:
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theor. Comput. Sci. 138(1): 35-65 (1995) - 1994
- [j32]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Timed Transition Systems. Inf. Comput. 112(2): 273-337 (1994) - [j31]Doron A. Peled, Amir Pnueli:
Proving Partial Order Properties. Theor. Comput. Sci. 126(2): 143-182 (1994) - 1993
- [j30]Zohar Manna, Amir Pnueli:
Models for Reactivity. Acta Informatica 30(7): 609-678 (1993) - [j29]Amir Pnueli, Lenore D. Zuck:
Probabilistic Verification. Inf. Comput. 103(1): 1-29 (1993) - 1991
- [j28]Zohar Manna, Amir Pnueli:
Completing the Temporal Picture. Theor. Comput. Sci. 83(1): 91-130 (1991) - 1990
- [j27]David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot:
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414 (1990) - 1988
- [j26]Dov Dori, Amir Pnueli:
The grammar of dimensions in machine drawings. Comput. Vis. Graph. Image Process. 42(1): 1-18 (1988) - 1987
- [j25]Yuan Shi, Noah S. Prywes, Boleslaw K. Szymanski, Amir Pnueli:
Very High Level Concurrent Programming. IEEE Trans. Software Eng. 13(9): 1038-1046 (1987) - 1986
- [j24]Amir Pnueli, Lenore D. Zuck:
Verification of Multiprocess Probabilistic Protocols. Distributed Comput. 1(1): 53-72 (1986) - 1984
- [j23]Zohar Manna, Amir Pnueli:
Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. Sci. Comput. Program. 4(3): 257-289 (1984) - [j22]Micha Sharir, Amir Pnueli, Sergiu Hart:
Verification of Probabilistic Programs. SIAM J. Comput. 13(2): 292-314 (1984) - [j21]Rivi Sherman, Amir Pnueli, David Harel:
Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. SIAM J. Comput. 13(4): 825-839 (1984) - [j20]Nissim Francez, Daniel Lehmann, Amir Pnueli:
A Linear-History Semantics for Languages for Distributed Programming. Theor. Comput. Sci. 32: 25-46 (1984) - [j19]Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi:
Fair Termination Revisited-With Delay. Theor. Comput. Sci. 33: 65-84 (1984) - [j18]Shimon Cohen, Daniel Lehmann, Amir Pnueli:
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System. Theor. Comput. Sci. 34: 215-225 (1984) - [j17]Noah S. Prywes, Amir Pnueli:
Automatic program generation in distributed cooperative computation. IEEE Trans. Syst. Man Cybern. 14(2): 275-286 (1984) - 1983
- [j16]Mordechai Ben-Ari, Amir Pnueli, Zohar Manna:
The Temporal Logic of Branching Time. Acta Informatica 20: 207-226 (1983) - [j15]David Harel, Amir Pnueli, Jonathan Stavi:
Propositional Dynamic Logic of Nonregular Programs. J. Comput. Syst. Sci. 26(2): 222-243 (1983) - [j14]Sergiu Hart, Micha Sharir, Amir Pnueli:
Termination of Probabilistic Concurrent Program. ACM Trans. Program. Lang. Syst. 5(3): 356-380 (1983) - [j13]Noah S. Prywes, Amir Pnueli:
Compilation of Nonprocedural Specifications into Computer Programs. IEEE Trans. Software Eng. 9(3): 267-279 (1983) - 1982
- [j12]Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli:
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. J. Comput. Syst. Sci. 25(3): 402-417 (1982) - 1981
- [j11]Amir Pnueli, Giora Slutzki:
Automatic Programming of Finite State Linear Programs. SIAM J. Comput. 10(3): 519-535 (1981) - [j10]Amir Pnueli:
The Temporal Semantics of Concurrent Programs. Theor. Comput. Sci. 13: 45-60 (1981) - 1979
- [j9]Noah S. Prywes, Amir Pnueli, S. Shastry:
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development. ACM Trans. Program. Lang. Syst. 1(2): 196-217 (1979) - 1978
- [j8]Nissim Francez, Amir Pnueli:
A Proof Method for Cyclic Programs. Acta Informatica 9: 133-157 (1978) - 1977
- [j7]Nissim Francez, Boris Klebansky, Amir Pnueli:
Backtracking in Recursive Computations. Acta Informatica 8: 125-144 (1977) - [j6]Tmima Olshansky, Amir Pnueli:
A Direct Algorithm for Checking Equivalence of LL(k) Grammars. Theor. Comput. Sci. 4(3): 321-349 (1977) - 1974
- [j5]Zohar Manna, Amir Pnueli:
Axiomatic Approach to Total Correctness of Programs. Acta Informatica 3: 243-263 (1974) - 1973
- [j4]Edward A. Ashcroft, Zohar Manna, Amir Pnueli:
Decidable Properties of Monadic Functional Schemas. J. ACM 20(3): 489-499 (1973) - 1972
- [j3]Shimon Even, Amir Pnueli, Abraham Lempel:
Permutation Graphs and Transitive Graphs. J. ACM 19(3): 400-410 (1972) - 1971
- [j2]Frederic G. Commoner, Anatol W. Holt, Shimon Even, Amir Pnueli:
Marked Directed Graphs. J. Comput. Syst. Sci. 5(5): 511-523 (1971) - 1970
- [j1]Zohar Manna, Amir Pnueli:
Formalization of Properties of Functional Programs. J. ACM 17(3): 555-569 (1970)
Conference and Workshop Papers
- 2012
- [c204]Uri Klein, Nir Piterman, Amir Pnueli:
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. VMCAI 2012: 283-298 - 2010
- [c203]Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli:
Towards Component Based Design of Hybrid Systems: Safety and Stability. Essays in Memory of Amir Pnueli 2010: 96-143 - [c202]Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Proving the Refuted: Symbolic Model Checkers as Proof Generators. Concurrency, Compositionality, and Correctness 2010: 221-236 - [c201]Zohar Manna, Amir Pnueli:
Temporal Verification of Reactive Systems: Response. Essays in Memory of Amir Pnueli 2010: 279-361 - [c200]Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck:
Jtlv: A Framework for Developing Verification Algorithms. CAV 2010: 171-174 - [c199]Uri Klein, Amir Pnueli:
Revisiting Synthesis of GR(1) Specifications. Haifa Verification Conference 2010: 161-181 - 2009
- [c198]Hillel Kugler, Cory Plock, Amir Pnueli:
Controller Synthesis from LSC Requirements. FASE 2009: 79-93 - [c197]Amir Pnueli, Uri Klein:
Synthesis of programs from temporal property specifications. MEMOCODE 2009: 1-7 - 2008
- [c196]Amir Pnueli:
Using Abstraction to Verify Arbitrary Temporal Properties. APSEC 2008: 3 - [c195]Oded Maler, Dejan Nickovic, Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505 - [c194]Ariel Cohen, Amir Pnueli, Lenore D. Zuck:
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. CAV 2008: 121-134 - [c193]Peter Niebert, Doron A. Peled, Amir Pnueli:
Discriminative Model Checking. CAV 2008: 504-516 - [c192]Anna Zaks, Amir Pnueli:
CoVaC: Compiler Validation by Program Analysis of the Cross-Product. FM 2008: 35-51 - [c191]Anna Zaks, Amir Pnueli:
Program analysis for compiler validation. PASTE 2008: 1-7 - [c190]Amir Pnueli, Aleksandr Zaks:
On the Merits of Temporal Testers. 25 Years of Model Checking 2008: 172-195 - [c189]Amir Pnueli, Yaniv Sa'ar:
All You Need Is Compassion. VMCAI 2008: 233-247 - 2007
- [c188]Oded Maler, Dejan Nickovic, Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107 - [c187]Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer:
Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193 - [c186]Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck:
Verifying Correctness of Transactional Memories. FMCAD 2007: 37-44 - [c185]Hillel Kugler, Cory Plock, Amir Pnueli:
Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion 2007: 801-802 - [c184]Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard:
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. TACAS 2007: 343-357 - [c183]Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Shape Analysis of Single-Parent Heaps. VMCAI 2007: 91-105 - [c182]Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer:
Specify, Compile, Run: Hardware from PSL. COCV@ETAPS 2007: 3-16 - 2006
- [c181]Amir Pnueli, Aleksandr Zaks:
PSL Model Checking and Run-Time Verification Via Testers. FM 2006: 573-586 - [c180]Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. FORMATS 2006: 274-289 - [c179]Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck:
Liveness by Invisible Invariants. FORTE 2006: 356-371 - [c178]Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Invisible Safety of Distributed Protocols. ICALP (2) 2006: 528-539 - [c177]Nir Piterman, Amir Pnueli:
Faster Solutions of Rabin and Streett Games. LICS 2006: 275-284 - [c176]Ittai Balaban, Ariel Cohen, Amir Pnueli:
Ranking Abstraction of Recursive Programs. VMCAI 2006: 267-281 - [c175]Nir Piterman, Amir Pnueli, Yaniv Sa'ar:
Synthesis of Reactive(1) Designs. VMCAI 2006: 364-380 - 2005
- [c174]Amir Pnueli:
Ranking Abstraction as a Companion to Predicate Abstraction, . ATVA 2005: 1 - [c173]David Harel, Hillel Kugler, Amir Pnueli:
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling 2005: 309-324 - [c172]Amir Pnueli:
Verification of Procedural Programs. We Will Show Them! (2) 2005: 543-590 - [c171]Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck:
TVOC: A Translation Validator for Optimizing Compilers. CAV 2005: 291-295 - [c170]Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck:
IIV: An Invisible Invariant Verifier. CAV 2005: 408-412 - [c169]Oded Maler, Dejan Nickovic, Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16 - [c168]Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Ranking Abstraction as Companion to Predicate Abstraction. FORTE 2005: 1-12 - [c167]Venkatesh Mysore, Amir Pnueli:
Refining the Undecidability Frontier of Hybrid Automata. FSTTCS 2005: 261-272 - [c166]Amir Pnueli, Andreas Podelski, Andrey Rybalchenko:
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. TACAS 2005: 124-139 - [c165]Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps:
Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460 - [c164]Amir Pnueli:
Abstraction for Liveness. VMCAI 2005: 146-146 - [c163]Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Shape Analysis by Predicate Abstraction. VMCAI 2005: 164-180 - [c162]Amir Pnueli, Ofer Strichman:
Reduced Functional Consistency of Uninterpreted Functions. PDPAR@CAV 2005: 53-65 - [c161]Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli:
Validating More Loop Optimizations. COCV@ETAPS 2005: 69-84 - [c160]Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck:
Monitoring Interfaces for Faults. RV@CAV 2005: 73-89 - 2004
- [c159]I. Gordin, Raya Leviathan, Amir Pnueli:
Validating the Translation of an Industrial Optimizing Compiler. ATVA 2004: 230-247 - [c158]Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli:
Range Allocation for Separation Logic. CAV 2004: 148-161 - [c157]Oded Maler, Amir Pnueli:
On Recognizable Timed Languages. FoSSaCS 2004: 348-362 - [c156]David Harel, Hillel Kugler, Amir Pnueli:
Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10 - [c155]Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck:
Liveness with Incomprehensible Ranking. TACAS 2004: 482-496 - [c154]Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag:
Deductive Verification of UML Models in TLPVS. UML 2004: 335-349 - [c153]Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck:
Liveness with Invisible Ranking. VMCAI 2004: 223-238 - 2003
- [c152]Amir Pnueli, Tamarah Arons:
TLPVS: A PVS-Based LTL Verification System. Verification: Theory and Practice 2003: 598-625 - [c151]Yonit Kesten, Nir Piterman, Amir Pnueli:
Bridging the Gap between Fair Simulation and Trace Inclusion. CAV 2003: 381-393 - [c150]Michael Langberg, Amir Pnueli, Yoav Rodeh:
The ROBDD Size of Simple CNF Formulas. CHARME 2003: 363-377 - [c149]Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern:
Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB 2003: 4-20 - [c148]Tamarah Arons, Amir Pnueli, Lenore D. Zuck:
Parameterized Verification by Probabilistic Abstraction. FoSSaCS 2003: 87-102 - [c147]David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli:
Smart play-out. OOPSLA Companion 2003: 68-69 - [c146]Amir Pnueli, Lenore D. Zuck:
Model-Checking and Abstraction to the Aid of Parameterized Systems. VMCAI 2003: 4 - 2002
- [c145]Raya Leviathan, Amir Pnueli:
Validating software pipelining optimizations. CASES 2002: 280-287 - [c144]Amir Pnueli, Jessie Xu, Lenore D. Zuck:
Liveness with (0, 1, infty)-Counter Abstraction. CAV 2002: 107-122 - [c143]Amir Pnueli, Yonit Kesten:
A Deductive Proof System for CTL. CONCUR 2002: 24-40 - [c142]Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck:
Network Invariants in Action. CONCUR 2002: 101-115 - [c141]Amir Pnueli:
Embedded Systems: Challenges in Specification and Verification. EMSOFT 2002: 1-14 - [c140]David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli:
Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398 - [c139]Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva:
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO 2002: 71-98 - [c138]Amir Pnueli:
Applications of Formal Methods in Biology. FTRTFT 2002: 81-82 - [c137]Lenore D. Zuck, Amir Pnueli, Yonit Kesten:
Automatic Verification of Probabilistic Free Choice. VMCAI 2002: 208-224 - [c136]Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg:
VOC: A Translation Validator for Optimizing Compilers. COCV@ETAPS 2002: 2-18 - [c135]Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu:
Translation and Run-Time Validation of Optimized Code. RV@FLoC 2002: 179-200 - 2001
- [c134]Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck:
Parameterized Verification with Automatically Computed Inductive Assertions. CAV 2001: 221-234 - [c133]Dana Fisman, Amir Pnueli:
Beyond Regular Model Checking. FSTTCS 2001: 156-170 - [c132]Doron A. Peled, Amir Pnueli, Lenore D. Zuck:
From Falsification to Verification. FSTTCS 2001: 292-304 - [c131]Amir Pnueli, Yoav Rodeh, Ofer Strichman:
Range Allocation for Equivalence Logic. FSTTCS 2001: 317-333 - [c130]Amir Pnueli:
Sticks and stones: a coding scheme for parameterized verification. PODC 2001: 14 - [c129]Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck:
Automatic Deductive Verification with Invisible Invariants. TACAS 2001: 82-97 - 2000
- [c128]Amir Pnueli:
Rigorous development of embedded systems. CASES 2000: 1 - [c127]Amir Pnueli:
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion. CAV 2000: 1 - [c126]Amir Pnueli, Elad Shahar:
Liveness and Acceleration in Parameterized Verification. CAV 2000: 328-343 - [c125]Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari:
Formal Verification of the Ricart-Agrawala Algorithm. FSTTCS 2000: 325-335 - [c124]Tamarah Arons, Amir Pnueli:
A Comparison of Two Verification Methods for Speculative Instruction Execution. TACAS 2000: 487-502 - 1999
- [c123]Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255 - [c122]Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel:
Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469 - [c121]Yonit Kesten, Amir Pnueli:
Verifying Liveness by Augmented Abstraction. CSL 1999: 141-156 - [c120]Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan:
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. World Congress on Formal Methods 1999: 173-194 - [c119]Olivier Bournez, Oded Maler, Amir Pnueli:
Orthogonal Polyhedra: Representation and Computation. HSCC 1999: 46-60 - [c118]Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
A Framework for Scheduler Synthesis. RTSS 1999: 154-163 - [c117]Tamarah Arons, Amir Pnueli:
Verifying Tomasulo's Algoithm by Refinement. VLSI Design 1999: 306-309 - 1998
- [c116]Allen Leung, Krishna V. Palem, Amir Pnueli:
A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP. IEEE PACT 1998: 158- - [c115]Amir Pnueli:
Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk). CADE 1998: 301 - [c114]Werner Damm, Amir Pnueli, Sitvanit Ruah:
Herbrand Automata for Hardware Verification. CONCUR 1998: 67-83 - [c113]Eugene Asarin, Oded Maler, Amir Pnueli:
On Discretization of Delays in Timed Automata and Digital Circuits. CONCUR 1998: 470-484 - [c112]Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From DC+ to C*. FM-Trends 1998: 137-150 - [c111]Amir Pnueli, Tamarah Arons:
Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study. FMCAD 1998: 351-368 - [c110]Amir Pnueli, Natarajan Shankar, Eli Singerman:
Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT 1998: 198-209 - [c109]Yonit Kesten, Amir Pnueli, Li-on Raviv:
Algorithmic Verification of Linear Temporal Logic Specifications. ICALP 1998: 1-16 - [c108]Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation for Synchronous Languages. ICALP 1998: 235-246 - [c107]Yonit Kesten, Amir Pnueli:
Modularization and Abstraction: The Keys to Practical Formal Verification. MFCS 1998: 54-71 - [c106]Amir Pnueli, Michael Siegel, Eli Singerman:
Translation Validation. TACAS 1998: 151-166 - 1997
- [c105]Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine:
Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190 - [c104]Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar:
Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435 - [c103]Werner Damm, Amir Pnueli:
Verifying out-of-order executions. CHARME 1997: 23-47 - [c102]Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli:
A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS 1997: 186-238 - [c101]Amir Pnueli:
Two Decades of Temporal Logic: Achievements and Challenges (Abstract). FOCS 1997: 78 - [c100]Amir Pnueli:
Verifying Liveness Properties of Reactive Systems (Tutorial Abstract). HART 1997: 1 - [c99]Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse:
Data-Structures for the Verification of Timed Automata. HART 1997: 346-360 - [c98]Amir Pnueli:
Verification Engineering: A Future Profession (A. M. Turing Award Lecture). PODC 1997: 7 - 1996
- [c97]Monica Marcus, Amir Pnueli:
Using Ghost Variables to Prove Refinement. AMAST 1996: 226-240 - [c96]Amir Pnueli, Elad Shahar:
A Platform for Combining Deductive with Algorithmic Verification. CAV 1996: 184-195 - [c95]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems 1996: 4-73 - 1995
- [c94]Oded Maler, Amir Pnueli:
Timing analysis of asynchronous circuits using timed automata. CHARME 1995: 189-205 - [c93]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verifying Clocked Transition Systems. Hybrid Systems 1995: 13-40 - [c92]Yonit Kesten, Amir Pnueli:
A Complete Proof Systems for QPTL. LICS 1995: 2-12 - [c91]Orna Kupferman, Amir Pnueli:
Once and For All. LICS 1995: 25-35 - [c90]Oded Maler, Amir Pnueli, Joseph Sifakis:
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). STACS 1995: 229-242 - 1994
- [c89]Amir Pnueli:
Development of Hybrid Systems. FTRTFT 1994: 77-85 - [c88]Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454 - [c87]Eugene Asarin, Oded Maler, Amir Pnueli:
Symbolic Controller Synthesis for Discrete and Timed Systems. Hybrid Systems 1994: 1-20 - [c86]Edward Y. Chang, Zohar Manna, Amir Pnueli:
Compositional Verification of Real-Time Systems. LICS 1994: 458-465 - [c85]Zohar Manna, Amir Pnueli:
Temporal Verification Diagrams. TACS 1994: 726-765 - 1993
- [c84]Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli:
A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993: 97-109 - [c83]Oded Maler, Amir Pnueli:
Reachability Analysis of Planar Multi-limear Systems. CAV 1993: 194-209 - [c82]Amir Pnueli, Lenore D. Zuck:
In and Out of Temporal Logic. LICS 1993: 124-135 - [c81]Yonit Kesten, Zohar Manna, Amir Pnueli:
Temporal Verification of Simulation and Refinement. REX School/Symposium 1993: 273-346 - 1992
- [c80]Amir Pnueli:
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). CONCUR 1992: 162-175 - [c79]Amir Pnueli:
System Specification and Refinement in Temporal Logic. FSTTCS 1992: 1-38 - [c78]Yonit Kesten, Amir Pnueli:
Timed and Hybrid Statecharts and Their Textual Representation. FTRTFT 1992: 591-620 - [c77]Zohar Manna, Amir Pnueli:
Verifying Hybrid Systems. Hybrid Systems 1992: 4-35 - [c76]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76 - [c75]Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208 - [c74]Edward Y. Chang, Zohar Manna, Amir Pnueli:
Characterization of Temporal Property Classes. ICALP 1992: 474-486 - [c73]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
What Good Are Digital Clocks? ICALP 1992: 545-558 - [c72]Zohar Manna, Amir Pnueli:
Time for Concurrency. 25th Anniversary of INRIA 1992: 129-153 - [c71]Zohar Manna, Amir Pnueli:
A Temporal Proof Methodology for Reactive Systems. NATO ASI PDC 1992: 287-323 - 1991
- [c70]Oded Maler, Amir Pnueli:
On the Learnability of Infinitary Regular Sets. COLT 1991: 128-136 - [c69]Doron A. Peled, Shmuel Katz, Amir Pnueli:
Specifying and Proving Serializability in Temporal Logic. LICS 1991: 232-244 - [c68]Zohar Manna, Amir Pnueli:
On the Faithfulness of Formal Models. MFCS 1991: 28-42 - [c67]Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro:
Communication with Directed Logic Variables. POPL 1991: 221-232 - [c66]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems. POPL 1991: 353-366 - [c65]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Timed Transition Systems. REX Workshop 1991: 226-251 - [c64]Oded Maler, Zohar Manna, Amir Pnueli:
From Timed to Hybrid Systems. REX Workshop 1991: 447-484 - [c63]Amir Pnueli, M. Shalev:
What is in a Step: On the Semantics of Statecharts. TACS 1991: 244-264 - 1990
- [c62]Oded Maler, Amir Pnueli:
Tight Bounds on the Complexity of Cascaded Decomposition of Automata. FOCS 1990: 672-682 - [c61]Amir Pnueli, Roni Rosner:
Distributed Reactive Systems Are Hard to Synthesize. FOCS 1990: 746-757 - [c60]Doron A. Peled, Amir Pnueli:
Proving Partial Order Liveness Properties. ICALP 1990: 553-571 - [c59]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
An interleaving model for real-time. Jerusalem Conference on Information Technology 1990: 717-730 - [c58]Zohar Manna, Amir Pnueli:
A temporal proof methodology for reactive systems. Jerusalem Conference on Information Technology 1990: 757-773 - [c57]Eyal Harel, Orna Lichtenstein, Amir Pnueli:
Explicit Clock Temporal Logic. LICS 1990: 402-413 - [c56]Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties. PODC 1990: 377-410 - 1989
- [c55]Oded Maler, Amir Pnueli:
Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report). AII 1989: 161-170 - [c54]Zohar Manna, Amir Pnueli:
Completing the Temporal Picture. ICALP 1989: 534-558 - [c53]Amir Pnueli, Roni Rosner:
On the Synthesis of an Asynchronous Reactive Module. ICALP 1989: 652-671 - [c52]Asher Wilk, Amir Pnueli:
Specification and verification of VLSI systems. ICCAD 1989: 460-463 - [c51]Rob Gerth, Amir Pnueli:
Rooting UNITY. IWSSD 1989: 11-19 - [c50]Amir Pnueli, Roni Rosner:
On the Synthesis of a Reactive Module. POPL 1989: 179-190 - 1988
- [c49]Amir Pnueli, Roni Rosner:
A Framework for the Synthesis of Reactive Modules. Concurrency 1988: 4-17 - [c48]Amir Pnueli, Eyal Harel:
Applications of Temporal Logic to the Specification of Real-time Systems. FTRTFT 1988: 84-98 - [c47]David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring:
STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE 1988: 396-406 - [c46]Zohar Manna, Amir Pnueli:
The anchored version of the temporal framework. REX Workshop 1988: 201-284 - 1987
- [c45]David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman:
On the Formal Semantics of Statecharts (Extended Abstract). LICS 1987: 54-64 - [c44]Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties (Abstract). PODC 1987: 205 - [c43]Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs By Forall-Automata. POPL 1987: 1-12 - [c42]S. Kaplan, Amir Pnueli:
Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach. STACS 1987: 220-244 - [c41]Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs by forall-Automata. Temporal Logic in Specification 1987: 124-164 - 1986
- [c40]Amir Pnueli:
Specification and Development of Reactive Systems (Invited Paper). IFIP Congress 1986: 845-858 - [c39]Roni Rosner, Amir Pnueli:
A Choppy Logic. LICS 1986: 306-313 - [c38]Amir Pnueli, Lenore D. Zuck:
Probabilistic Verification by Tableaux. LICS 1986: 322-331 - [c37]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
A Really Abstract Concurrent Model and its Temporal Logic. POPL 1986: 173-183 - 1985
- [c36]Amir Pnueli:
Linear and Branching Structures in the Semantics and Logics of Reactive Systems. ICALP 1985: 15-32 - [c35]Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli:
Proving Termination of Prolog Programs. Logic of Programs 1985: 89-105 - [c34]Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck:
The Glory of the Past. Logic of Programs 1985: 196-218 - [c33]Orna Lichtenstein, Amir Pnueli:
Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. POPL 1985: 97-107 - 1984
- [c32]Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli:
On the scope of static checking in definitional languages. ACM Annual Conference 1984: 197-207 - [c31]Dorit Ron, Flavia Rosemberg, Amir Pnueli:
A Hardware Implementation of the CSP Primitives and its Verification. ICALP 1984: 423-435 - [c30]Amir Pnueli:
In Transition From Global to Modular Temporal Reasoning about Programs. Logics and Models of Concurrent Systems 1984: 123-144 - [c29]David Harel, Amir Pnueli:
On the Development of Reactive Systems. Logics and Models of Concurrent Systems 1984: 477-498 - [c28]Amir Pnueli, Lenore D. Zuck:
Verification of Multiprocess Probabilistic Protocols. PODC 1984: 12-27 - [c27]Dennis E. Shasha, Amir Pnueli, W. Ewald:
Temporal Verification of Carrier-Sense Local Area Network Protocols. POPL 1984: 54-65 - [c26]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
Now You May Compose Temporal Logic Specifications. STOC 1984: 51-63 - 1983
- [c25]Amir Pnueli:
Solutions to Problem No.2. The Analysis of Concurrent Systems 1983: 365-383 - [c24]Shimon Cohen, Daniel Lehmann, Amir Pnueli:
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract). ICALP 1983: 128-136 - [c23]Zohar Manna, Amir Pnueli:
Proving Precedence Properties: The Temporal Way. ICALP 1983: 491-512 - [c22]Tmima Koren, Amir Pnueli:
There Exit Decidable Context Free Propositional Dynamic Logics. Logic of Programs 1983: 290-312 - [c21]Zohar Manna, Amir Pnueli:
How to Cook a Temporal Proof System for Your Pet Language. POPL 1983: 141-154 - [c20]Amir Pnueli:
On the Extremely Fair Treatment of Probabilistic Algorithms. STOC 1983: 278-290 - 1982
- [c19]Amir Pnueli, Willem P. de Roever:
Rendezvous with ADA: a proof theoretical view. AdaTEC Conference on Ada 1982: 129-137 - [c18]Sergiu Hart, Micha Sharir, Amir Pnueli:
Termination of Probabilistic Concurrent Programs. POPL 1982: 1-6 - [c17]Rivi Sherman, Amir Pnueli, David Harel:
Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL 1982: 347-360 - 1981
- [c16]David Harel, Amir Pnueli, Jonathan Stavi:
Propositional Dynamic Logic of Context-Free Programs. FOCS 1981: 310-321 - [c15]Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli:
Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981: 249-263 - [c14]Daniel Lehmann, Amir Pnueli, Jonathan Stavi:
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. ICALP 1981: 264-277 - [c13]Amir Pnueli, R. Zarhi:
Realizing an Equational Specification. ICALP 1981: 459-478 - [c12]David Harel, Amir Pnueli, Jonathan Stavi:
Further Results on Propositional Dynamic Logic of Nonregular Programs. Logic of Programs 1981: 124-136 - [c11]Zohar Manna, Amir Pnueli:
Verification of Concurrent Programs: Temporal Proof Principles. Logic of Programs 1981: 200-252 - [c10]Mordechai Ben-Ari, Zohar Manna, Amir Pnueli:
The Temporal Logic of Branching Time. POPL 1981: 164-176 - 1980
- [c9]Nissim Francez, Daniel Lehmann, Amir Pnueli:
A Linear History Semantics for Distributed Languages (Extended Abstract). FOCS 1980: 143-151 - [c8]Zohar Manna, Amir Pnueli:
Synchronous Schemes and Their Decision Problems. POPL 1980: 62-67 - [c7]Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi:
On the Temporal Analysis of Fairness. POPL 1980: 163-173 - 1979
- [c6]Zohar Manna, Amir Pnueli:
The Modal Logic of Programs. ICALP 1979: 385-409 - [c5]Amir Pnueli:
The Temporal Semantics of Concurrent Programs. Semantics of Concurrent Computation 1979: 1-20 - 1977
- [c4]Amir Pnueli:
The Temporal Logic of Programs. FOCS 1977: 46-57 - [c3]Amir Pnueli, Giora Slutzki:
Simple Programs and Their Decision Problems. ICALP 1977: 380-390 - [c2]David Harel, Amir Pnueli, Jonathan Stavi:
A Complete Axiomatic System for Proving Deductions about Recursive Programs. STOC 1977: 249-260 - 1969
- [c1]Zohar Manna, Amir Pnueli:
Formalization of Properties of Recursively Defined Functions. STOC 1969: 201-210
Parts in Books or Collections
- 2018
- [p3]Nir Piterman, Amir Pnueli:
Temporal Logic and Fair Discrete Systems. Handbook of Model Checking 2018: 27-73 - 1993
- [p2]Zohar Manna, Amir Pnueli:
Verification of parameterized programs. Specification and validation methods 1993: 167-230 - 1986
- [p1]Amir Pnueli:
Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. Current Trends in Concurrency 1986: 510-584
Editorship
- 2010
- [e4]Amir Pnueli, Irina B. Virbitskaite, Andrei Voronkov:
Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Lecture Notes in Computer Science 5947, Springer 2010, ISBN 978-3-642-11485-4 [contents] - 2003
- [e3]Oded Maler, Amir Pnueli:
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2623, Springer 2003, ISBN 3-540-00913-2 [contents] - 1998
- [e2]Willem P. de Roever, Hans Langmaack, Amir Pnueli:
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Lecture Notes in Computer Science 1536, Springer 1998, ISBN 3-540-65493-3 [contents] - 1989
- [e1]Behnam Banieqbal, Howard Barringer, Amir Pnueli:
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 398, Springer 1989, ISBN 3-540-51803-7 [contents]
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 20:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
