Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Moshe Y. Vardi

Openism, IPism, Fundamentalism, and Pragmatism

Communications of the ACM
Computer Science
2014English

Artificial Intelligence

Communications of the ACM
Computer Science
2012English

Technology Has Social Consequences

Communications of the ACM
Computer Science
2011English

Revisiting the Publication Culture in Computing Research

Communications of the ACM
Computer Science
2010English

What Is a Flagship Publication?

Communications of the ACM
Computer Science
2013English

Are You Talking to Me?

Communications of the ACM
Computer Science
2011English

To Boycott or Not to Boycott

Communications of the ACM
Computer Science
2013English

ACM's Open-Conference Principle and Political Reality

Communications of the ACM
Computer Science
2017English

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Monitoring Temporal SystemC Properties

2010English
  • 1
  • 2
  • 3
  • ›

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy