E-LIB Suche - Ergebnisse für: Vardi, Moshe Y.

1

Is Computing a Discipline in Crisis?:

Vardi, Moshe Y.
Communications of the ACM. , 2024

Link: https://doi.org/10.1145/..

2

More Is Different, in Social Media Too:

Vardi, Moshe Y.
Communications of the ACM. 67 (2024) 5 - p. 5-5 , 2024

Link: https://doi.org/10.1145/..

3

Singly exponential translation of alternating weak Büchi au..:

Li, Yong ; Schewe, Sven ; Vardi, Moshe Y.
Theoretical Computer Science. 1006 (2024) - p. 114650 , 2024

Link: https://doi.org/10.1016/..

4

What Do Computing and Economics Have to Say to Each Other?:

Vardi, Moshe Y.
Communications of the ACM. 67 (2024) 3 - p. 5-5 , 2024

Link: https://doi.org/10.1145/..

5

Ising model partition-function computation as a weighted co..:

Nagy, Shaan ; Paredes, Roger ; Dudek, Jeffrey M...
Physical Review E. 109 (2024) 5 - p. , 2024

Link: https://doi.org/10.1103/..

6

Compositional Safety LTL Synthesis:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Bansal, Suguman ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 1-19 , 2023

Link: https://doi.org/10.1007/..

7

What Came First, Math or Computing?:

Vardi, Moshe Y.
Communications of the ACM. 66 (2023) 11 - p. 5-5 , 2023

Link: https://doi.org/10.1145/..

8

Extracting generalizable skills from a single plan executio..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),

Elimelech, Khen ; Kavraki, Lydia E. ; Vardi, Moshe Y. - p. 5772-5778 , 2023

Link: https://doi.org/10.1109/..

9

ACM for the Public Good:

Vardi, Moshe Y.
Communications of the ACM. 66 (2023) 5 - p. 5-5 , 2023

Link: https://doi.org/10.1145/..

10

Resilience: The Key to Planetary and Societal Sustainabilit:

, In: Introduction to Digital Humanism,

Vardi, Moshe Y. - p. 373-382 , 2023

Link: https://doi.org/10.1007/..

11

Model Checking Strategies from Synthesis over Finite Traces:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Bansal, Suguman ; Li, Yong ; Tabajara, Lucas M... - p. 227-247 , 2023

Link: https://doi.org/10.1007/..

12

Computing, You Have Blood on Your Hands!:

Vardi, Moshe Y.
Communications of the ACM. 67 (2023) 1 - p. 5-5 , 2023

Link: https://doi.org/10.1145/..

13

Model-Guided Synthesis for LTL over Finite Traces:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Xiao, Shengping ; Li, Yongkang ; Huang, Xinyue... - p. 186-207 , 2023

Link: https://doi.org/10.1007/..

14

To Regulate Tech, Nullify Click-Through Contracts:

Vardi, Moshe Y.
Communications of the ACM. 66 (2023) 9 - p. 5-5 , 2023

Link: https://doi.org/10.1145/..

15

The long game of tenure:

Treangen, Todd J. ; Vardi, Moshe Y.
Nature Biotechnology. 41 (2023) 10 - p. 1373-1374 , 2023

Link: https://doi.org/10.1038/..