On computing minimal independent support and its applications to sampling and counting von Ivrii, Alexander, Malik, Sharad, Meel, Kuldeep S., Vardi, Moshe Y.

Volltext

Network Tomography: Estimating Source-Destination Traffic Intensities from Link Data von Vardi, Y.

Volltext

Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning von Plaku, Erion, Kavraki, Lydia E, Vardi, Moshe Y

Volltext

Supervisory control and reactive synthesis: a comparative introduction von Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.

Volltext

Motion Planning with Complex Goals von Bhatia, A., Maly, M. R., Kavraki, L. E., Vardi, M. Y.

Volltext

An automata-theoretic approach to branching-time model checking von KUPFERMAN, ORNA, VARDI, MOSHE Y, WOLPER, PIERRE

Volltext

Summary of the Recommendations on Sexual Dysfunctions in Men von Montorsi, Francesco, Adaikan, Ganesan, Becher, Edgardo, Giuliano, Francois, Khoury, Saad, Lue, Tom F., Sharlip, Ira, Althof, Stanley E., Andersson, Karl-Eric, Brock, Gerald, Broderick, Gregory, Burnett, Arthur, Buvat, Jacques, Dean, John, Donatucci, Craig, Eardley, Ian, Fugl-Meyer, Kerstin S., Goldstein, Irwin, Hackett, Geoff, Hatzichristou, Dimitris, Hellstrom, Wayne, Incrocci, Luca, Jackson, Graham, Kadioglu, Ates, Levine, Laurence, Lewis, Ronald W., Maggi, Mario, McCabe, Marita, McMahon, Chris G., Montague, Drogo, Montorsi, Piero, Mulhall, John, Pfaus, Jim, Porst, Hartmut, Ralph, David, Rosen, Raymond, Rowland, David, Sadeghi-Nejad, Hossein, Shabsigh, Ridwan, Stief, Christian, Vardi, Yoram, Wallen, Kim, Wasserman, Marlene

Volltext

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings von Vardi, Moshe, Voronkov, Andrei

Volltext

NMR probing of the spin polarization of the ν=5/2 quantum Hall state von Stern, M, Piot, B A, Vardi, Y, Umansky, V, Plochocka, P, Maude, D K, Bar-Joseph, I

Volltext

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory von Feder, Tomás, Vardi, Moshe Y.

Volltext

Synthesis with rational environments von Kupferman, Orna, Perelli, Giuseppe, Vardi, Moshe Y.

Volltext

The long game of tenure von Treangen, Todd J., Vardi, Moshe Y.

Volltext

SAT-based explicit LTLf satisfiability checking von Li, Jianwen, Pu, Geguang, Zhang, Yueling, Vardi, Moshe Y., Rozier, Kristin Y.

Volltext

Complete axiomatizations for reasoning about knowledge and time von HALPERN, Joseph Y, VAN DER MEYDEN, Ron, VARDI, Moshe Y

Volltext

Reasoning About Strategies: On the Model-Checking Problem von Mogavero, Fabio, Murano, Aniello, Perelli, Giuseppe, Vardi, Moshe Y.

Volltext

A Scalable and Nearly Uniform Generator of SAT Witnesses von Chakraborty, Supratik, Meel, Kuldeep S., Vardi, Moshe Y.

Volltext

Comparator automata in quantitative verification von Bansal, Suguman, Chaudhuri, Swarat, Vardi, Moshe Y.

Volltext

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees von Lahijanian, Morteza, Maly, Matthew R., Fried, Dror, Kavraki, Lydia E., Kress-Gazit, Hadas, Vardi, Moshe Y.

Volltext

Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions von Kyrillidis, Anastasios, Shrivastava, Anshumali, Vardi, Moshe Y., Zhang, Zhiwei

Volltext

On the Power of Automata Minimization in Reactive Synthesis von Zhu, Shufang, M. Tabajara, Lucas, Pu, Geguang, Y. Vardi, Moshe

Volltext