skip to content

Vardi, Moshe Y.

Overview
Works: 545 works in 1,350 publications in 3 languages and 22,303 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator, Other, Contributor
Classifications: QA76.9.D3, 005.74
Publication Timeline
Key
Publications about Moshe Y Vardi
Publications by Moshe Y Vardi
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( Book )
19 editions published between 2001 and 2002 in English and German and held by 243 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
Database theory--ICDT '92 : 4th International Conference, Berlin, Germany, October 14-16, 1992 : proceedings by J Biskup( Book )
19 editions published in 1995 in English and Italian and held by 236 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
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings by Orna Grumberg( Book )
10 editions published in 1998 in English and held by 187 libraries worldwide
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice
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 184 libraries worldwide
Advances in Neural Networks - ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II by Wen Yu( file )
6 editions published in 2009 in English and held by 81 libraries worldwide
The three volume set LNCS 5551/5552/5553 constitutes the refereed proceedings of the 6th International Symposium on Neural Networks, ISNN 2009, held in Wuhan, China in May 2009. The 409 revised papers presented were carefully reviewed and selected from a total of 1.235 submissions. The papers are organized in 20 topical sections on theoretical analysis, stability, time-delay neural networks, machine learning, neural modeling, decision making systems, fuzzy systems and fuzzy neural networks, support vector machines and kernel methods, genetic algorithms, clustering and classification, pattern recognition, intelligent control, optimization, robotics, image processing, signal processing, biomedical applications, fault diagnosis, telecommunication, sensor network and transportation systems, as well as applications
Detection of Intrusions and Malware, and Vulnerability Assessment 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings by David Hutchison( file )
6 editions published between 2008 and 2009 in English and held by 44 libraries worldwide
This book constitutes the refereed post-proceedings of the 9th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2012, held in Heraklion, Crete, Greece, in July 2012. The 10 revised full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on malware, mobile security, secure design, and intrusion detection systems (IDS)
Times of convergence : technologies across learning contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, the Netherlands, September 16-19, 2008 : proceedings by European Conference on Technology Enhanced Learning( Computer File )
3 editions published in 2008 in English and held by 18 libraries worldwide
This book constitutes the refereed proceedings of the Third European Conference on Technology Enhanced Learning, EC-TEL 2008, held in Maastricht, The Netherlands, in September 2008. The 52 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference covers the different fields of learning technologies: education, psychology, computer science. The papers address the design of innovative environments, computational models and architectures, results of empirical studies on socio-cognitive processes, field studies regarding the use of technologies in context, collaborative processes, pedagogical scenarios, reusable learning objects and emerging objects, groups and communities, learning networks, interaction analysis, metadata, personalization, collaboration scripts, learning adaptation, collaborative environments, resources, tangible tools, as well as learning management systems
Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings by Sven Overhage( Computer File )
11 editions published between 2008 and 2009 in English and held by 8 libraries worldwide
This book constitutes the thoroughly refereed proceedings of the 5th International Conference on the Quality of Software Architectures, QoSA 2009, held in East Stroudsbury, PA, USA in June 2009, in conjunction with the 12th International Symposium on Component Based Software Engineering (CBSE 2009). The 13 revised full papers were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on model-driven quality analysis, architectural performance prediction, architectural knowledge, as well as case studies and experience reports
Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers by Barbara Paech( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs. The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results. The full papers have been grouped thematically under the headings Innovative Requirements Engineering Techniques and Innovative Applications of Natural-Language Processing Techniques
Cognitive vision : 4th international workshop, ICVW 2008, Santorini, Greece, May 12, 2008 : revised selected papers by David Hutchison( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This volume constitutes the post-conference proceedings of the 4th International Cognitive Vision Workshop, ICVW 2008, held in Santorini, Greece, on May 12, 2008. The 11 papers presented were carefully reviewed and selected from 17 submissions. They cover important aspects of cognitive vision like face recognition, activity interpretation, attention, memory maps and scene interpretation
Groupware : design, implementation, and use : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008 : revised selected papers by Robert Owen Briggs( file )
1 edition published in 2008 in English and held by 0 libraries worldwide
This book constitutes the refereed post-conference proceedings of the 14th International Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2008. The 30 papers presented were carefully reviewed and selected from numerous submission. The topics covered are groupware solutions, co-located groups, groupware for health care, collaborative systems development, collaborative emergency response, groupware approaches, patterns of collaboration, thinklets-based process design, mobile applications, knowledge and learning, groupware technologies, and collaborative modeling
Bio-inspired computing and communication : first Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 revised selected papers by David Hutchison( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, held in Cambridge, UK, in April 2007. The 35 revised full papers presented were carefully reviewed and selected from many high quality submissions. All recent developments in the field of bio-inspired design of networks are addressed, with particular regard to wireless networks and the self-organizing properties of biological networks. The papers are organized in topical sections on biological networks, network epidemics, complex networks, bio-inspired network mode, network protocol in wireless communication, data management, distributed computing, and security
Advances in visual computing : first international symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005 : proceedings by George Bebis( file )
4 editions published in 2008 in English and held by 0 libraries worldwide
It is with great pleasure that we welcome you all to the proceedings of the 2nd InternationalSymposiumonVisualComputing(ISVC2006)heldinLakeTahoe. Followinga successfulmeeting lastyear, wewitnesseda muchstrongerandmore productive event this year. ISVC o?ers a common umbrella for the four main areas of visual computing including vision, graphics, visualization, and virtual reality. Its goal is to provide a forum for researchers, scientists, engineers and practitionersthroughouttheworldtopresenttheirlatestresearch?ndings, ideas, developments and applications in the broader area of visual computing. This year, the program consisted of 13 oral sessions, one poster session, ten special tracks, and six keynote presentations. The response to the call for - pers was very strong. We received more than twice the papers received last year. Speci?cally, we received over 280 submissions for the main symposium from which we accepted 65 papers for oral presentation (23% acceptance) and 56 papers for poster presentation (20% acceptance). Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 57 papers were accepted for presentation in the special tracks. All papers were reviewed with an emphasis on potential to contribute to the state of the art in the?eld. Selection criteria included accuracy and originality of ideas, clarity and signi?cance of results, and presentation quality. The review process was quite rigorous, involving two to three independent blind reviews followed by several days of discussion. During the discussion period we tried to correct anomalies and errors that might have existed in the initial reviews
High performance computing--HiPC 2007 : 14th international conference, Goa, India, December 18-21, 2007 : proceedings by Srinivas Aluru( file )
2 editions published in 2008 in English and held by 0 libraries worldwide
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008. The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture
Pervasive computing : innovations in intelligent multimedia and applications by Aboul Ella Hassanien( file )
4 editions published in 2009 in English and held by 0 libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference on Pervasive Computing, Pervasive 2012, held in Newcastle, UK, in June 2012. The 28 revised papers presented were carefully reviewed and selected from 138 submissions. The contributions are grouped into the following topical sections: activity capturing; urban mobility and computing; home and energy; HCI; development tools and devices; indoor location and positioning; social computing and games; privacy; public displays and services
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Moshe Vardi
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.
משה ורדי
โมเช วาย. วาดิ
Languages
English (102)
German (1)
Italian (1)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.