Virtual International Authority File


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

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 (10)

Open Section Close SectionWorks

Title Sources
Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers Sudoc [ABES], France
CAV'98 National Library of the Netherlands
Challenges for Next Generation Network Operations and Service Management 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings Sudoc [ABES], France
Computer aided verification : 10th International conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings National Library of the Netherlands Sudoc [ABES], France
Computer-Human Interaction 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings Sudoc [ABES], France
Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers 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 - ICDT '95 : 5th international conference, Prague, Czech Republic, January 11-13, 1995 : proceedings NUKAT Center of Warsaw University Library National Library of the Czech Republic Library of Congress/NACO Sudoc [ABES], France
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 National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
FORTE 2002 National Library of the Netherlands Sudoc [ABES], France
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 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
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings Sudoc [ABES], France
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
Reasoning about knowledge National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
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 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 (24)