The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Moshe Y. Vardi" ( http://dblp.L3S.de/Authors/Moshe_Y._Vardi )

URL (Homepage):  http://www.cs.rice.edu/~vardi/  Author page on DBLP  Author page in RDF  Community of Moshe Y. Vardi in ASPL-2

Publication years (Num. hits)
1979-1983 (17) 1984-1985 (24) 1986-1987 (18) 1988-1989 (19) 1990-1991 (18) 1992-1993 (21) 1994-1995 (21) 1996-1997 (27) 1998 (17) 1999 (19) 2000 (19) 2001 (20) 2002 (19) 2003 (23) 2004-2005 (32) 2006 (16) 2007 (26) 2008 (19) 2009 (19) 2010 (23) 2011 (23) 2012 (21) 2013 (29) 2014 (28) 2015 (26) 2016 (26) 2017 (29) 2018 (25) 2019 (32) 2020 (30) 2021 (32) 2022 (27)
Publication types (Num. hits)
article(315) book(2) incollection(7) inproceedings(408) proceedings(13)
Venues (Conferences, Journals, ...)
Commun. ACM(91) CoRR(67) PODS(30) LICS(28) CAV(27) AAAI(21) IJCAI(18) Formal Methods Syst. Des.(16) Inf. Comput.(14) STOC(14) TACAS(14) CONCUR(13) J. Comput. Syst. Sci.(12) CP(10) Log. Methods Comput. Sci.(9) ICDT(8) More (+10 of total 184)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 68 occurrences of 51 keywords

Results
Found 746 publication records. Showing 745 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vu H. N. Phan, Moshe Y. Vardi DPO: Dynamic-Programming Optimization on Hybrid Constraints. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells Synthesis from Satisficing and Temporal Goals. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Zhiwei Zhang Quantum-Inspired Perfect Matching under Vertex-Color Constraints. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Senthil Rajasekaran, Moshe Y. Vardi Verification and Realizability in Finite-Horizon Multiagent Systems. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Vu H. N. Phan, Moshe Y. Vardi DPER: Dynamic Programming for Exist-Random Stochastic SAT. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi Sequential Relational Decomposition. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi Comparator automata in quantitative verification. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi War and tech (and ACM). Search on Bibsonomy Commun. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Accountability and liability in computing. Search on Bibsonomy Commun. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Technology and democracy. Search on Bibsonomy Commun. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Will AI destroy education? Search on Bibsonomy Commun. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi ACM, ethics, and corporate behavior. Search on Bibsonomy Commun. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi An association of the members, by the members, for the members. Search on Bibsonomy Commun. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier Satisfiability checking for Mission-time LTL (MLTL). Search on Bibsonomy Inf. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Efficiency vs. Resilience: Lessons from COVID-19. Search on Bibsonomy Perspectives on Digital Humanism The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001 Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. Search on Bibsonomy CAV (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva 0001, Moshe Y. Vardi Constraint-Driven Explanations for Black-Box ML Models. Search on Bibsonomy AAAI The full citation details ... 2022 DBLP  BibTeX  RDF
1Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells Synthesis from Satisficing and Temporal Goals. Search on Bibsonomy AAAI The full citation details ... 2022 DBLP  BibTeX  RDF
1Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi ZDD Boolean Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Program Verification: A 70+-Year History. Search on Bibsonomy ICSOFT The full citation details ... 2022 DBLP  BibTeX  RDF
1Moshe Y. Vardi Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). Search on Bibsonomy TIME The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi Public and Private Affairs in Strategic Reasoning. Search on Bibsonomy KR The full citation details ... 2022 DBLP  BibTeX  RDF
1Senthil Rajasekaran, Moshe Y. Vardi Verification and Realizability in Finite-Horizon Multiagent Systems. Search on Bibsonomy KR The full citation details ... 2022 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu 0001 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. Search on Bibsonomy IJCAI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi DPSampler: Exact Weighted Sampling Using Dynamic Programming. Search on Bibsonomy IJCAI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi Strategy Logic with Imperfect Information. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. Search on Bibsonomy Artif. Intell. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Weizhi Feng, Yong Li 0031, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang On the Power of Finite Ambiguity in Büchi Complementation. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Kevin W. Smith, Moshe Y. Vardi Automata Linear Dynamic Logic on Finite Traces. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss Adapting Behaviors via Reactive Synthesis. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Senthil Rajasekaran, Moshe Y. Vardi Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Shufang Zhu 0001, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi On the Power of Automata Minimization in Temporal Synthesis. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi On Satisficing in Quantitative Games. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Yong Li 0031, Yih-Kuen Tsay, Moshe Y. Vardi Congruence Relations for Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Moshe Y. Vardi The agency trilemma and ACM. Search on Bibsonomy Commun. ACM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Reboot the computing-research publication systems. Search on Bibsonomy Commun. ACM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The paradox of choice in computing-research conferences. Search on Bibsonomy Commun. ACM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Program verification: vision and reality. Search on Bibsonomy Commun. ACM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The sand-heap paradox of privacy and influence. Search on Bibsonomy Commun. ACM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The people vs. tech. Search on Bibsonomy Commun. ACM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi Approximate Model Counting. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Orna Kupferman, Moshe Y. Vardi Verification. Search on Bibsonomy Handbook of Automata Theory (II.) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss Adapting Behaviors via Reactive Synthesis. Search on Bibsonomy CAV (1) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrew M. Wells, Zachary K. Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi Finite-Horizon Synthesis for Probabilistic Manipulation Domains. Search on Bibsonomy ICRA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001 Congruence Relations for Büchi Automata. Search on Bibsonomy FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Moshe Y. Vardi From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Lucas M. Tabajara, Moshe Y. Vardi Linear Temporal Logic - From Infinite to Finite Horizon. Search on Bibsonomy ATVA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rodrigo Ferreira, Moshe Y. Vardi Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science. Search on Bibsonomy SIGCSE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang On Continuous Local BDD-Based Search for Hybrid SAT Solving. Search on Bibsonomy AAAI The full citation details ... 2021 DBLP  BibTeX  RDF
1Shengping Xiao, Jianwen Li, Shufang Zhu 0001, Yingying Shi, Geguang Pu, Moshe Y. Vardi On-the-fly Synthesis for LTL over Finite Traces. Search on Bibsonomy AAAI The full citation details ... 2021 DBLP  BibTeX  RDF
1Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli 0001, Francesco Scarcello Panel on "Past and Future of Computer Science Theory" (Discussion Paper). Search on Bibsonomy SEBD The full citation details ... 2021 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. Search on Bibsonomy SAT The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi On Satisficing in Quantitative Games. Search on Bibsonomy TACAS (1) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001 Synthesizing Good-Enough Strategies for LTLf Specifications. Search on Bibsonomy IJCAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Antonio Di Stasio 0001, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu 0001 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. Search on Bibsonomy IJCAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Program Verification: a 70+- Year History. Search on Bibsonomy TASE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Senthil Rajasekaran, Moshe Y. Vardi Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. (PDF / PS) Search on Bibsonomy AAMAS The full citation details ... 2021 DBLP  BibTeX  RDF
1Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier SAT-based explicit LTLf satisfiability checking. Search on Bibsonomy Artif. Intell. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi On Uniformly Sampling Traces of a Transition System (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Yong Li 0031, Moshe Y. Vardi, Lijun Zhang On the Power of Unambiguity in Büchi Complementation. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lucas M. Tabajara, Moshe Y. Vardi LTLf Synthesis under Partial Observability: From Theory to Practice. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi Computer-Aided Personalized Education. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Anderson R. Tavares, Pedro H. C. Avelar, João M. Flach, Marcio Nicolau, Luís C. Lamb, Moshe Y. Vardi Understanding Boolean Function Learnability on Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi LTLf Synthesis on Probabilistic Systems. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Dudek, Moshe Y. Vardi Parallel Weighted Model Counting with Tensor Networks. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang On Continuous Local BDD-Based Search for Hybrid SAT Solving. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1James E. Newman, Moshe Y. Vardi FPRAS Approximation of the Matrix Permanent in Practice. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi Strategy Logic with Imperfect Information. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Moshe Y. Vardi A computational lens on economics. Search on Bibsonomy Commun. ACM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Advancing computing as a science and profession: but to what end? Search on Bibsonomy Commun. ACM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi What should be done about social media? Search on Bibsonomy Commun. ACM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Publish and perish. Search on Bibsonomy Commun. ACM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Where have all the domestic graduate students gone? Search on Bibsonomy Commun. ACM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Efficiency vs. resilience: what COVID-19 teaches computing. Search on Bibsonomy Commun. ACM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Moshe Y. Vardi On the Unreasonable Effectiveness of SAT Solvers. Search on Bibsonomy Beyond the Worst-Case Analysis of Algorithms The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Yong Li 0031, Lucas M. Tabajara, Moshe Y. Vardi Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  BibTeX  RDF
1Shufang Zhu 0001, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi LTLƒ Synthesis with Fairness and Stability Assumptions. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  BibTeX  RDF
1Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  BibTeX  RDF
1Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi On Uniformly Sampling Traces of a Transition System. Search on Bibsonomy ICCAD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. Search on Bibsonomy CP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Antonio Di Stasio 0001, Moshe Y. Vardi, Shufang Zhu 0001 Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. Search on Bibsonomy KR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron Runtime Verification on FPGAs with LTLf Specifications. Search on Bibsonomy FMCAD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. (Survey track) Search on Bibsonomy IJCAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. Search on Bibsonomy IJCAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi Principled network reliability approximation: A counting-based approach. Search on Bibsonomy Reliab. Eng. Syst. Saf. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu 0001, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi SAT-based explicit LTL reasoning and its application to satisfiability checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Antonio Di Stasio 0001, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi Solving Parity Games Using An Automata-Based Algorithm. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi On Symbolic Approaches for Computing the Matrix Permanent. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi Sequential Relational Decomposition. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Shufang Zhu 0001, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi LTLf Synthesis with Fairness and Stability Assumptions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 745 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license