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 (17) 1992-1993 (21) 1994-1995 (20) 1996-1997 (27) 1998 (17) 1999 (19) 2000 (19) 2001 (20) 2002 (19) 2003 (23) 2004-2005 (32) 2006 (15) 2007 (25) 2008 (19) 2009 (19) 2010 (23) 2011 (23) 2012 (20) 2013 (29) 2014 (28) 2015 (26) 2016 (26) 2017 (29) 2018 (25) 2019 (6)
Publication types (Num. hits)
article(256) book(1) incollection(1) inproceedings(354) proceedings(13)
Venues (Conferences, Journals, ...)
Commun. ACM(69) CoRR(38) PODS(30) LICS(28) CAV(27) Formal Methods in System Desig...(15) STOC(14) TACAS(14) CONCUR(13) Inf. Comput.(13) J. Comput. Syst. Sci.(12) IJCAI(10) AAAI(8) CP(8) ICDT(8) J. ACM(8) More (+10 of total 168)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 68 occurrences of 51 keywords

Results
Found 626 publication records. Showing 625 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Moshe Y. Vardi Lost in math? Search on Bibsonomy Commun. ACM The full citation details ... 2019 DBLP  BibTeX  RDF
1Moshe Y. Vardi Are we having an ethical crisis in computing? Search on Bibsonomy Commun. ACM The full citation details ... 2019 DBLP  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 and Automation Letters The full citation details ... 2019 DBLP  DOI  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, 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
1Shufang Zhu, Geguang Pu, Moshe Y. Vardi First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. Search on Bibsonomy TAMC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He Accelerating LTL satisfiability checking by SAT solvers. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Computer professionals for social responsibility. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Self-reference and section 230. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi A declaration of the dependence of cyberspace. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi How we lost the women in computing. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Open access and ACM. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi How the hippies destroyed the internet. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Move fast and break things. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessio R. Lomuscio, Moshe Y. Vardi 4th International Workshop on Strategic Reasoning (SR 2016). Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada Mode-Target Games: Reactive Synthesis for Control Applications. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi Learning to Solve NP-Complete Problems - A Graph Neural Network for the Decision TSP. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1R. Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi Network Reliability Estimation in Theory and Practice. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi SAT-based Explicit LTLf Satisfiability Checking. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi Functional Synthesis via Input-Output Separation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi Comparator automata in quantitative verification. Search on Bibsonomy CoRR The full citation details ... 2018 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 ... 2018 DBLP  BibTeX  RDF
1Jianwen Li, Lijun Zhang 0001, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He An explicit transition system construction approach to LTL satisfiability checking. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi Comparator Automata in Quantitative Verification. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The Siren Song of Temporal Synthesis (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi Functional Synthesis via Input-Output Separation. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi Automata vs Linear-Programming Discounted-Sum Inclusion. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan Synthesis of Orchestrations of Transducers for Manufacturing. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi Solving Parity Games: Explicit vs Symbolic. Search on Bibsonomy CIAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi Sequential Relational Decomposition. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi Supervisory control and reactive synthesis: a comparative introduction. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi ACM's open-conference principle and political reality. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Technology for the most effective use of mankind. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Would Turing have won the Turing award? Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Divination by program committee. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Cyber insecurity and cyber libertarianism. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Ten years at the helm of communications of the ACM. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Moshe Y. Vardi Preface to the Special Issue on SR 2014. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juan L. Reutter, Miguel Romero 0001, Moshe Y. Vardi Regular Queries on Graph Databases. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi Alonzo Church Award 2017 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi Symbolic LTLf Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi Combining the k-CNF and XOR Phase-Transitions. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi On Hashing-Based Approaches to Approximate DNF-Counting. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi A Symbolic Approach to Safety LTL Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi Reasoning about Strategies: on the Satisfiability Problem. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Corey Fisher, Seth Fogarty, Moshe Y. Vardi Random Models for Evaluating Efficient Büchi Universality Checking. Search on Bibsonomy ICLA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucas M. Tabajara, Moshe Y. Vardi Factored boolean functional synthesis. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi Counting-Based Reliability Estimation for Power-Transmission Grids. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonid Libkin, Moshe Y. Vardi 2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. Search on Bibsonomy PODS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi A Symbolic Approach to Safety ltl Synthesis. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi Safety model checking with complementary approximations. Search on Bibsonomy ICCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Gal Vardi, Moshe Y. Vardi Flow Games. Search on Bibsonomy FSTTCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi On Hashing-Based Approaches to Approximate DNF-Counting. Search on Bibsonomy FSTTCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi Reactive synthesis for finite tasks under resource constraints. Search on Bibsonomy IROS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi Symbolic LTLf Synthesis. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi Strategy logic with imperfect information. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Romero 0001, Pablo Barceló, Moshe Y. Vardi The homomorphism problem for regular graph patterns. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball 2014 CAV award announcement. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Moshe Y. Vardi Relentful strategic reasoning in alternating-time temporal logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Globalization, computing, and their political impact. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The moral hazard of complexity-theoretic assumptions. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Are we headed toward another global tech bust? Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Academic rankings considered harmful! Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The moral imperative of artificial intelligence. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The ritual of academic-unit review. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Alonzo Church Award 2016 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi Viewpoints on "Logic activities in Europe", twenty years later. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi On computing minimal independent support and its applications to sampling and counting. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessio Lomuscio, Moshe Y. Vardi (eds.) Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. Search on Bibsonomy SR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi Approximate Reachability. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi Synthesis with rational environments. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Miguel Romero 0001, Moshe Y. Vardi Semantic Acyclicity on Graph Databases. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. Search on Bibsonomy IEEE Trans. Robotics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi BDD-Based Boolean Functional Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi Approximate Probabilistic Inference via Word-Level Counting. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Blai Bonet, Sven Koenig, Benjamin Kuipers, Illah R. Nourbakhsh, Stuart J. Russell, Moshe Y. Vardi, Toby Walsh (eds.) AI, Ethics, and Society, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. Search on Bibsonomy AAAI Workshop: AI, Ethics, and Society The full citation details ... 2016 DBLP  BibTeX  RDF
1Moshe Y. Vardi A Theory of Regular Queries. Search on Bibsonomy PODS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi Solving Parity Games Using an Automata-Based Algorithm. Search on Bibsonomy CIAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi Regular Open APIs. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Moshe Y. Vardi LTLf and LDLf Synthesis under Partial Observability. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi Combining the k-CNF and XOR Phase-Transitions. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Moshe Y. Vardi On lethal autonomous weapons. Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi What can be done about gender diversity in computing?: a lot! Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi The rise and fall of industrial research labs. Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Is information technology destroying the middle class? Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Why doesn't ACM have a SIG for theoretical computer science? Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Incentivizing quality and impact in computing research. Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi, Mark Guzdial What do we do when the jobs are gone, and why we must embrace active learning. Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke Profile trees for Büchi word automata, with application to determinization. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabio Mogavero, Aniello Murano, Moshe Y. Vardi Special issue on SR 2013. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada Controller Synthesis for Mode-Target Games. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Moshe Y. Vardi The Complexity of Synthesis from Probabilistic Components. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi SAT-based Explicit LTL Reasoning. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi Approximate Probabilistic Inference via Word-Level Counting. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi Node Selection Query Languages for Trees. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 625 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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