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

1

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/..

2

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/..

3

Is Computing a Discipline in Crisis?:

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

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

4

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/..

5

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/..

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

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/..

8

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/..

9

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/..

10

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/..

11

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/..

12

Abstracted Power and Responsibility in Computer Science Eth..:

Peterson, Tina L. ; Ferreira, Rodrigo ; Vardi, Moshe Y.
IEEE Transactions on Technology and Society. 4 (2023) 1 - p. 96-102 , 2023

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

13

Revisiting ACM's Open-Conference Principle:

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

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

14

Who Is Responsible Around Here?:

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

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

15

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/..