PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "McMillan, Kenneth L."

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems.

, , , , , and . FMCAD, page 1-11. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

L. Ahlgrimm

Joanna Mary McMillan University of Stuttgart

Lambert Theisen University of Stuttgart

Dr. Thorsten Lutz University of Stuttgart

The near-wake development of a wind turbine operating in stalled conditions : Part 1: Assessment of numerical models, , , and . Wind energy science, 9 (4): 933-962 (2024)

Hon. -Prof. Dr. Bettina Lotsch University of Stuttgart

Replication Data for: "Downsizing Porphyrin Covalent Organic Framework Particles Using Protected Precursors for Electrocatalytic CO2 Reduction", , , , , , , and . Dataset, (2024)Related to: K. Endo, A. Raza, L. Yao, S. Van Gele, A. Rodríguez-Camargo, H. A. Vignolo-González, L. Grunenberg, B. V. Lotsch, Downsizing Porphyrin Covalent Organic Framework Particles Using Protected Precursors for Electrocatalytic CO2 Reduction. Adv. Mater. 2024, 2313197. doi: 10.1002/adma.202313197.
 

Other publications of authors with the same name

Automated assumption generation for compositional verification., , and . Formal Methods in System Design, 32 (3): 285-301 (2008)Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping., , , , and . Formal Methods in System Design, 10 (2/3): 137-148 (1997)Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types., , and . CoRR, (2013)Microarchitecture Verification by Compositional Model Checking., and . CAV, volume 2102 of Lecture Notes in Computer Science, page 396-410. Springer, (2001)Hierarchical Representations of Discrete Functions, with Application to Model Checking.. CAV, volume 818 of Lecture Notes in Computer Science, page 41-54. Springer, (1994)Lazy Abstraction with Interpolants.. CAV, volume 4144 of Lecture Notes in Computer Science, page 123-136. Springer, (2006)Interpolant-Based Transition Relation Approximation., and . CAV, volume 3576 of Lecture Notes in Computer Science, page 39-51. Springer, (2005)Inductive invariant generation via abductive inference., , , and . OOPSLA, page 443-456. ACM, (2013)Fast discrete function evaluation using decision diagrams., , , , and . ICCAD, page 402-407. IEEE Computer Society / ACM, (1995)Toward Property-Driven Abstraction for Heap Manipulating Programs.. ATVA, volume 4762 of Lecture Notes in Computer Science, page 17-18. Springer, (2007)