X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Book / eBook (488) 488
Journal Article (327) 327
Conference Proceeding (283) 283
Magazine Article (102) 102
Book Chapter (44) 44
Web Resource (15) 15
Patent (10) 10
Book Review (3) 3
Newspaper Article (2) 2
Report (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (605) 605
congresses (460) 460
informatique (398) 398
kongress (397) 397
multi-user (392) 392
informatics (293) 293
computers (262) 262
online-publikation (237) 237
information systems (212) 212
artificial intelligence (210) 210
software engineering (208) 208
computer communication networks (203) 203
information technology (199) 199
computer communication systems (191) 191
actes de congrès (183) 183
computer software (178) 178
programming techniques (164) 164
computer science, theory & methods (161) 161
computer programming (158) 158
algorithms (151) 151
computer software engineering (149) 149
algorithm analysis and problem complexity (144) 144
electronic brains (138) 138
information systems applications (136) 136
information storage and retrieval systems (133) 133
inteligencia artificial (133) 133
ai (127) 127
intelligence, artificial (127) 127
machine intelligence (127) 127
software engineering/programming and operating systems (125) 125
artificial thinking (122) 122
intellectronics (122) 122
intelligent machines (122) 122
thinking, artificial (122) 122
data processing (121) 121
logics and meanings of programs (121) 121
computer networks (118) 118
mathematics (109) 109
data mining (106) 106
data mining and knowledge discovery (103) 103
informática (101) 101
logic design (101) 101
programming languages, compilers, interpreters (99) 99
theory of computation (99) 99
electronic data processing (96) 96
mathematical logic and formal languages (94) 94
software, computer (94) 94
database management (93) 93
minería de datos (92) 92
programming languages (90) 90
computer science, hardware & architecture (89) 89
information theory (88) 88
algorithmic knowledge discovery (86) 86
factual data analysis (86) 86
kdd (86) 86
knowledge discovery in data (86) 86
knowledge discovery in databases (86) 86
mining, data (86) 86
electronic digital computers (85) 85
information storage and retrieval (84) 84
computational complexity (81) 81
computer security (81) 81
computer logic (80) 80
computer science, software engineering (80) 80
computer systems (78) 78
management information systems (77) 77
management of computing and information systems (76) 76
communication theory (75) 75
design of logic systems (74) 74
design, logic (74) 74
computer vision (72) 72
discrete mathematics in computer science (72) 72
computation by abstract devices (71) 71
computer graphics (71) 71
computer simulation (71) 71
computer-based information systems (71) 71
security measures (69) 69
automatic data storage (68) 68
automatic information retrieval (68) 68
automation in documentation (68) 68
data processing systems (68) 68
data storage and retrieval systems (68) 68
discovery systems, information (68) 68
información, sistemas de almacenamiento y recuperación de la (68) 68
information discovery systems (68) 68
information processing systems (68) 68
information retrieval systems (68) 68
machine data storage and retrieval (68) 68
mechanized information storage and retrieval systems (68) 68
tecnología (68) 68
mathematical logic (64) 64
user interfaces and human computer interaction (63) 63
computer engineering (61) 61
cyber security (61) 61
cybersecurity (61) 61
pattern recognition (61) 61
computer privacy (60) 60
computer system security (60) 60
data encryption (60) 60
optical pattern recognition (60) 60
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (15) 15
Gerstein Science - Stacks (3) 3
Engineering & Comp. Sci. - Stacks (2) 2
Faculty of Information - Stacks (2) 2
Robarts - Stacks (1) 1
UTL at Downsview - May be requested (1) 1
UofT at Scarborough - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (1272) 1272
German (9) 9
Spanish (5) 5
Dutch (3) 3
Japanese (3) 3
Czech (2) 2
French (2) 2
Chinese (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


International journal on software tools for technology transfer, ISSN 1433-2779, 2012, Volume 15, Issue 5-6, pp. 603 - 618
...Int J Softw Tools Technol Transfer (2013) 15:603–618 DOI 10.1007/s10009-012-0236-z SYNTHESIS Synthesis from component libraries Y oad Lustig · Moshe Y. Vardi... 
LTL synthesis | Components | Composition | Software Engineering | Automata | Computer Science | Software Engineering/Programming and Operating Systems | Theory of Computation | Linear temporal logic | Computer science | Libraries | Algorithms | Analysis | Robots | Automation | Software | Logic | Synthesis | Specifications | Reusable components | Hardware | Formalism | Computer programs
Journal Article
Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, 9/2016, Volume 78, Issue 1, pp. 3 - 20
...Ann Math Artif Intell (2016) 78:3–20 DOI 10.1007/s10472-016-9508-8 Synthesis with rational environments Orna Kupferman 1 · Giuseppe Perelli 2 · Moshe Y. Vardi... 
Synthesis | Artificial Intelligence | Complex Systems | Logics for games | Computer Science | Mathematics, general | Computer Science, general | Formal methods | Multi-agent systems | MATHEMATICS, APPLIED | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Game theory
Journal Article
SIAM journal on computing, ISSN 1095-7111, 1998, Volume 28, Issue 1, pp. 57 - 104
... THEORY TOMS FEDER AND MOSHE Y. VARDI Abstract. This paper starts with the project of nding a large subclass of NP which exhibits a dichotomy. The approach is to nd... 
Graph coloring | Linear equations | Datalog | Satisfiability | Group theory | group theory | MATHEMATICS, APPLIED | HOMOMORPHISMS | satisfiability | COMPLEXITY | CYCLES | graph coloring | COMPUTER SCIENCE, THEORY & METHODS | ALGORITHMS | datalog | linear equations | GRAPHS
Journal Article
ACM Transactions on Computational Logic (TOCL), ISSN 1529-3785, 08/2014, Volume 15, Issue 4, pp. 1 - 47
..., Napoli, Italy MOSHE Y. VARDI, Rice University, Houston, Texas In open systems veri.cation, to formally check for reliability, one needs an appropriate formalism... 
Strategy logic | model checking | behavioral strategies | Behavioral strategies | Model checking | SATISFIABILITY | CONTEXTS | ATL | AUTOMATA | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | Binding | Multiagent systems | Algorithms | Reasoning | Games | Strategy | Mathematical models | Logic
Journal Article
Constraints, ISSN 1383-7133, 10/2019, Volume 24, Issue 3, pp. 211 - 233
... Kuldeep S. Meel 1 · Aditya A. Shrotri 2 · Moshe Y. Vardi 2 Published online: 26 December 2018 © Springer Science+Business Media, LLC, part of Springer Nature 2018... 
Boolean formulas | Artificial Intelligence | Operations Research/Decision Theory | Fully polynomial randomized approximation scheme | Computer Science | Hashing | Disjunctive normal form | Model counting | Optimization | ApproxMC
Journal Article
Electronic proceedings in theoretical computer science, ISSN 2075-2180, 07/2016, Volume 218
Journal Article
Theory of computing systems, ISSN 1433-0490, 2016, Volume 61, Issue 1, pp. 31 - 83
...Theory Comput Syst (2017) 61:31–83 DOI 10.1007/s00224-016-9676-2 Regular Queries on Graph Databases Juan L. Reutter1 ·Miguel Romero2 · Moshe Y. Vardi3... 
Regular queries | Conjunctive regular path queries | Graph databases | Containment | MATHEMATICS | EXPRESSIONS | COMPUTER SCIENCE, THEORY & METHODS | Databases | Queries | Operations research | Programming languages | Query languages | Complexity | Relational data bases
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 2010, Volume 12, Issue 2, pp. 123 - 137
...  Int J Softw Tools Technol Transfer (2010) 12:123137 DOI 10.1007/s10009-010-0140-3 SPIN 07 LTL satisability checking Kristin Y. Rozier Moshe Y. Vardi... 
Benchmark | Model checking | LTL satisfiability | LTL translation | Linear temporal logic | LTL-to-automata | Sanity check | Analysis | Universities and colleges | Technology transfer | Models | Software
Journal Article
International journal on software tools for technology transfer, ISSN 1433-2779, 2012, Volume 15, Issue 4, pp. 305 - 320
Journal Article
Journal of the ACM (JACM), ISSN 1557-735X, 03/2000, Volume 47, Issue 2, pp. 312 - 360
...An Automata-Theoretic Approach to Branching-Time Model Checking ORNA KUPFERMAN Hebrew University, Jerusalem, Israel MOSHE Y. VARDI Rice University, Houston... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | ALTERNATION | PROGRAMS | TEMPORAL LOGIC | COMPUTER SCIENCE, INFORMATION SYSTEMS | PROPOSITIONAL MU-CALCULUS | COMPUTER SCIENCE, THEORY & METHODS | Trees | Algorithms | Automata theory | Mathematical models | Temporal logic | Combinatorial analysis | Optimization | Complexity
Journal Article
IEEE transactions on robotics, ISSN 1941-0468, 2010, Volume 26, Issue 3, pp. 469 - 482
Journal Article
ACM Transactions on Computational Logic (TOCL), ISSN 1529-3785, 07/2001, Volume 2, Issue 3, pp. 408 - 429
...Weak Alternating Automata Are Not that Weak ORNA KUPFERMAN Hebrew University and MOSHE Y. VARDI Rice University Automata on in.nite words are used... 
complementation | weak alternating automata | Verification | Theory | Weak alternating automata
Journal Article
SIAM journal on computing, ISSN 1095-7111, 2016, Volume 45, Issue 4, pp. 1339 - 1376
Journal Article
Information and computation, ISSN 0890-5401, 2013, Volume 223, pp. 1 - 17
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments... 
Pushdown model checking | Branching-time temporal-logics | Modal μ-calculus | Game theory | Open systems | Infinite-state systems | MODEL-CHECKING | MATHEMATICS, APPLIED | Modal mu-calculus | COMPUTER SCIENCE, THEORY & METHODS | AUTOMATA-THEORETIC APPROACH | T cells | Analysis | Logic in Computer Science | Computer Science
Journal Article
SIAM journal on computing, ISSN 1095-7111, 2004, Volume 33, Issue 3, pp. 674 - 703
...SIAM J. COMPUT. c Vol. 33, No. 3, pp. 674703 COMPLETE AXIOMATIZATIONS FOR REASONING ABOUT KNOWLEDGE AND TIME JOSEPH Y. HALPERN, RON VAN DER MEYDEN, AND MOSHE Y... 
Common knowledge | Complete axiomatizations | Epistemic logic | Knowledge | Temporal logic | MATHEMATICS, APPLIED | common knowledge | complete axiomatizations | temporal logic | epistemic logic | COMPUTER SCIENCE, THEORY & METHODS | knowledge | LOGICS
Journal Article
Formal Methods in System Design, ISSN 0925-9856, 6/2016, Volume 48, Issue 3, pp. 149 - 151
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 8953, pp. 219 - 235
Conference Proceeding
IEEE Transactions on Robotics, ISSN 1552-3098, 06/2016, Volume 32, Issue 3, pp. 583 - 599
This paper introduces a motion-planning framework for a hybrid system with general continuous dynamics to satisfy a temporal logic specification consisting of... 
hybrid systems | motion planning | Buildings | Dynamics | US Government | formal methods | Control synthesis | temporal logic | Safety | Planning | Robots | partial satisfaction | REVISION | ROBOTICS | MOTION | DYNAMICS | SYSTEMS | Usage | Research | Mobile robots | Iterative methods (Mathematics) | Obstacles | Effectiveness | Specifications | Constrictions | Strategy | Trajectories
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 10982, pp. 99 - 116
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.