Virtual International Authority File


Vardi, Moshe Y. NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France ISNI National Library of Israel BIBSYS Library of Congress/NACO

Vardi, Moshe Y., 1954- National Library of the Czech Republic German National Library

Moshe Y. Vardi American computer scientist Wikidata

VIAF ID: 42887943 (Personal)


ISNI: 0000  0001  1059  5149 

Open Section Close Section Preferred Forms





Open Section Close Section 4xx's: Alternate Name Forms (12)

Open Section Close SectionWorks

Title Sources
CAV'98 National Library of the Netherlands
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures Sudoc [ABES], France
Computer aided verification : 10th International conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings Sudoc [ABES], France BIBSYS National Library of the Netherlands
Computer-Human Interaction 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings Sudoc [ABES], France
Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings Sudoc [ABES], France
Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, M¡̂laga, Spain, October 6-8, 2008. Proceedings Sudoc [ABES], France
Computers Helping People with Special Needs 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings Sudoc [ABES], France
Constraint Handling Rules Current Research Topics Sudoc [ABES], France
Database theory / guest eds: G. Gottlob, M. Y. Vardi. - Amsterdam, 1998. NUKAT Center of Warsaw University Library
Database theory--ICDT'95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings National Library of the Czech Republic NUKAT Center of Warsaw University Library Sudoc [ABES], France BIBSYS Library of Congress/NACO
Detection of Intrusions and Malware, and Vulnerability Assessment 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings Sudoc [ABES], France
Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings Sudoc [ABES], France
Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers Sudoc [ABES], France
Financial Cryptography and Data Security 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers Sudoc [ABES], France
Finite Model Theory and Its Applications Sudoc [ABES], France
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings Sudoc [ABES], France BIBSYS Library of Congress/NACO National Library of the Netherlands
FORTE 2002 Sudoc [ABES], France National Library of the Netherlands
Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers Sudoc [ABES], France
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings Sudoc [ABES], France
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings Sudoc [ABES], France
Image and Signal Processing 3rd International Conference, ICISP 2008 Cherbourg-Octeville, France, July 1-3, 2008 Proceedings Sudoc [ABES], France
Information Theoretic Security Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings Sudoc [ABES], France
IP Operations and Management 8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings Sudoc [ABES], France
Journal on Data Semantics XI Sudoc [ABES], France
Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers Sudoc [ABES], France
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers Sudoc [ABES], France
Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers Sudoc [ABES], France
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers Sudoc [ABES], France
Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings Sudoc [ABES], France BIBSYS Library of Congress/NACO German National Library
Motion in Games First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008. Revised Papers Sudoc [ABES], France
Network and Parallel Computing IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings Sudoc [ABES], France
On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings Sudoc [ABES], France
Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings Sudoc [ABES], France
Post-Quantum Cryptography Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA, October 17-19, 2008 Proceedings Sudoc [ABES], France
Practical Aspects of Knowledge Management 7th International Conference, PAKM 2008, Yokohama, Japan, November 22-23, 2008. Proceedings Sudoc [ABES], France
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France BIBSYS Library of Congress/NACO
Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers Sudoc [ABES], France
Progress in Cryptology - INDOCRYPT 2008 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings Sudoc [ABES], France
Progress in Pattern Recognition, Image Analysis and Applications 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings Sudoc [ABES], France
Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings Sudoc [ABES], France
Reflections on the Teaching of Programming Methods and Implementations Sudoc [ABES], France
Reliable implementation of real number algorithms: theory and practice International Seminar, Dagstuhl Castle, Germany, January 8-13, 2006 : revised papers Sudoc [ABES], France
Research and Advanced Technology for Digital Libraries 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings Sudoc [ABES], France
Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers Sudoc [ABES], France
Resilient Networks and Services Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings Sudoc [ABES], France
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings Sudoc [ABES], France
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers Sudoc [ABES], France
Scientific and Statistical Database Management 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings Sudoc [ABES], France
Secure Data Management 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings Sudoc [ABES], France
Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings Sudoc [ABES], France
Semantic Web, Ontologies and Databases VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers Sudoc [ABES], France
Semantics in Data and Knowledge Bases Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers Sudoc [ABES], France
Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings Sudoc [ABES], France
Smart Card Research and Advanced Applications 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings Sudoc [ABES], France
Smart Sensing and Context Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008. Proceedings Sudoc [ABES], France
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Sudoc [ABES], France
Towards a Service-Based Internet First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings Sudoc [ABES], France
Trust, Privacy and Security in Digital Business 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings Sudoc [ABES], France
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings Sudoc [ABES], France
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section History of VIAF ID:42887943 (14)