WorldCat Identities

Vardi, Moshe Y.

Overview
Works: 931 works in 2,149 publications in 2 languages and 29,491 library holdings
Genres: Conference papers and proceedings 
Roles: Other, Author, Editor, Creator, htt, Contributor
Publication Timeline
.
Most widely held works by Moshe Y Vardi
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings by Doron A Peled( )

19 editions published between 2001 and 2002 in English and German and held by 392 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings by Alan J Hu( Book )

12 editions published in 1998 in English and held by 339 WorldCat member libraries worldwide

Annotation
Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings by LPAR 2003( Book )

16 editions published in 2003 in English and held by 338 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003. The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction
Database theory--ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings by Georg Gottlob( Book )

15 editions published in 1995 in English and held by 316 WorldCat member libraries worldwide

"This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis."--PUBLISHER'S WEBSITE
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California by Conference on Theoretical Aspects of Reasoning about Knowledge( Book )

13 editions published between 1988 and 1989 in English and held by 194 WorldCat member libraries worldwide

Advances in visual computing : 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedings by International Symposium on Visual Computing( )

6 editions published in 2008 in English and Undetermined and held by 174 WorldCat member libraries worldwide

The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual Computing, ISVC 2008, held in Las Vegas, NV, USA, in December 2008. The 102 revised full papers and 70 poster papers presented together with 56 full and 8 poster papers of 8 special tracks were carefully reviewed and selected from more than 340 submissions. The papers are organized in topical sections on computer graphics, visualization, shape/recognition, video analysis and event recognition, virtual reality, reconstruction, motion, face/gesture, and computer vision applications. The 8 additional special tracks address issues such as object recognition, real-time vision algorithm implementation and application, computational bioimaging and visualization, discrete and computational geometry, soft computing in image processing and computer vision, visualization and simulation on immersive display devices, analysis and visualization of biomedical visual data, as well as image analysis for remote sensing data
Verbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papers by Anna Esposito( )

5 editions published in 2008 in English and Undetermined and held by 131 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007. The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition
Interactive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedings by Joint International Conference on Interactive Digital Storytelling( )

2 editions published in 2008 in English and held by 115 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative
Transactions on rough sets IX by David Hutchison( )

3 editions published in 2008 in English and held by 109 WorldCat member libraries worldwide

Annotation The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. This book, which constitutes the ninth volume of the Transactions on Rough Sets series, providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions of papers included in the first conference on Rough Sets and Intelligent Systems Paradigms. The 26 papers presented in this volume introduce a number of new advances in the foundations and applications of artificial intelligence, engineering, image processing, logic, mathematics, medicine, music, and science
Theory and practice of model transformations : second international conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings by ICMT 2009( )

2 editions published in 2009 in English and held by 104 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected from 38 submissions. The papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations
Practical aspects of knowledge management : 7th international conference, PAKM 2008, Yokohama, Japan, November 22 -23, 2008, proceedings by David Hutchison( )

3 editions published in 2008 in English and held by 102 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Practical Aspects of Knowledge Management, PAKM 2008, held in Yokohama, Japan, in November 2008. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 62 submissions. All aspects of knowledge management and their role in next-generation business solutions are addressed in perspective to business and organisation sciences, cognitive science, and computer science. The papers are organized in topical sections on knowledge sharing, collaboration platforms, content-oriented retrieval, knowledge acquisition, knowledge management solutions, knowledge mining from data, text and the Web, ontology, and knowledge utilization
Cryptology and network security : 7th international conference, CANS 2008, Hong-Kong, China, December 2-4, 2008 ; proceedings by David Hutchison( )

3 editions published in 2008 in English and held by 99 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS 2008, held in Hong-Kong, China, in December 2008. The 27 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on cryptosystems, signatures, identification, authentication and key management, cryptographic algorithms and protocols, stream ciphers and block ciphers, cryptographic foundations, applications and implementations, as well as security in ad hoc networks and wireless sensor networks
Biometrics and identity management : first European workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008 : revised selected papers by David Hutchison( )

4 editions published in 2008 in English and Undetermined and held by 99 WorldCat member libraries worldwide

This volume constitutes the post-conference proceedings of the First European Workshop on Biometrics and Identity Management, BIOID 2008, held in Roskilde, Denmark, during May 7-9, 2008. The 23 regular papers presented were carefully selected from numerous submissions. They cover the following topics: biometric data quality; biometrical templates - face recognition; biometrical templates -- other modalities; biometric attacks and countermeasures; biometric interfaces, and standards and privacy. These papers are presented together with 4 position papers by invited speakers on biometrics and identity management
Frontiers in Algorithmics : third international workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings by FAW 2009( )

4 editions published in 2009 in English and Undetermined and held by 97 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009. The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on graph algorithms; game theory with applications; graph theory, computational geometry; machine learning; parameterized algorithms, heuristics and analysis; approximation algorithms; as well as pattern recognition algorithms, large scale data mining
Computer performance evaluation and benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings by David Kaeli( )

3 editions published in 2009 in English and held by 97 WorldCat member libraries worldwide

This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009. The 9 papers presented were carefully selected and reviewed for inclusion in the book. The result is a collection of high-quality papers discussing current issues in the area of benchmarking research and technology. The topics covered are: benchmark suites, CPU benchmarking, power/thermal benchmarking, and modeling and sampling techniques
Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures by Egon Börger( )

2 editions published in 2008 in English and held by 97 WorldCat member libraries worldwide

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product line techniques, evolvable software, the evolution of service-oriented software architectures, Web services, and security in such evolving distributed systems. The nine revised full papers presented were carefully reviewed and selected by 21 reviewers. The papers are organized in topical sections on foundations and methodology, service oriented architecture and web services, software technology, and security. This book is written with the intent to produce a state-of-the-art compendium of recent advances in software engineering
Approximation and online algorithms : 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised papers by WAOA 2008( )

2 editions published in 2009 in English and held by 96 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post workshop proceedings of the 6th International Workshop on Approximation and Online Algorithms, WAOA 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 conference event. The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems
High performance embedded architectures and compilers : fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings by Yale N Patt( )

3 editions published in 2009 in English and held by 96 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The 27 revised full papers presented together with 2 invited keynote paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on dynamic translation and optimization, low level scheduling, parallelism and resource control, communication, mapping for CMPs, power, cache issues as well as parallel embedded applications
Semantic multimedia : third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008 : proceedings by International Conference on Semantic and Digital Media Technologies( )

4 editions published in 2008 in English and held by 95 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Semantics and Digital Media Technologies, SAMT 2008, held in Koblenz, Germany, in December 2008. The 12 revised full papers presented together with the abstracts of 2 invited keynote lectures were carefully reviewd and selected from 52 submissions. The conference brings together forums, projects, institutions and individuals investigating the integration of knowledge, semantics and low-level multimedia processing, including new emerging media and application areas. The papers cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management of multimedia, semantic user interfaces for multimedia, semantics in visualization and computer graphics, as well as applications of semantic multimedia
Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings by David Hutchison( )

3 editions published in 2009 in English and held by 94 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Test and Proofs, TAP 2009, held in Zurich, Switzerland, in July 2009. The 10 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 20 submissions. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test data, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic bug finding; formal frameworks; tool descriptions and experience reports; and case studies
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.50 for Transactio ... to 0.70 for Computer a ...)

WorldCat IdentitiesRelated Identities
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Covers
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedingsLogic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedingsDatabase theory--ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedingsAdvances in visual computing : 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedingsVerbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papersInteractive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedingsTransactions on rough sets IXTheory and practice of model transformations : second international conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings
Alternative Names
Moshe Vardi Amerikaans informaticus

Moshe Vardi informaticien américain

Moshe Y. Vardi amerikansk ingeniør og informatikar

Moshe Y. Vardi amerikansk ingeniør og informatiker

Moshe Y. Vardi amerikansk ingenjör och datavetare

Moshe Y. Vardi israelisch-amerikanischer Informatiker

Vardi, M. Y.

Vardi, Moshe.

Wardiy, Mošeh Yaʿaqob

Wardiy Mošeh Yaʿaqob 1954-....

Варди, Моше

Моше Варді

ורדי, משה יעקב

ורדי משה יעקב 1954-....

משה ורדי

โมเช วาย. วาดิ

Languages
English (118)

German (1)