Secure Multiparty Computation for Cooperative Cyber Risk Assessment Kyle Hogan, Noah Luther, Nabil Schear, Emily Shen, David Stott, Sophia Yakoubov, Arkady Yerukhimovich MIT Lincoln Laboratory Emails: {kyle.hogan, noah.l

Source URL: cybersec-prod.s3.amazonaws.com

Semantic web: from XML to OWL Pierre Genevès CNRS Nabil Layaïda

Source URL: tyrex.inria.fr

A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria

Source URL: tyrex.inria.fr

Semantic web: from XML to OWL Pierre Genevès CNRS Nabil Layaïda

Source URL: tyrex.inria.fr

• Computing
• Data
• Functional languages
• Data management
• Markup languages
• 4GL
• XQuery
• Semantic Web
• NoSQL

Location of boundary markers in Taba between Egypt and Israel

Source URL: legal.un.org

• Geography of Asia
• Law
• Arbitration
• Red Sea
• International relations
• International Court of Justice judges
• Nabil Elaraby
• Compromis
• Taba
• Arbitration award
• Sinai Peninsula
• Arbitral tribunal

Secure and Resilient Cloud Computing for the Department of Defense Nabil A. Schear, Patrick T. Cable, Robert K. Cunningham, Vijay N. Gadepally, Thomas M. Moyer, and Arkady B. Yerukhimovich

Source URL: www.ll.mit.edu

• Computing
• Cloud computing
• Cloud infrastructure
• Cloud storage
• Cloud computing security
• Computer security
• OpenStack
• Crypto cloud computing
• Cloud computing issues

XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda

Source URL: gnome.inrialpes.fr

• Software engineering
• Logic
• Type theory
• Computer programming
• Data types
• Functional languages
• Recursive data type
• Monad
• Type inference
• FO
• XQuery
• Inference

Reasoning with Style Pierre Genev`es (CNRS) Joint work with: Mart´ı Bosch (Universitat Polit`ecnica de Catalunya) Nabil Laya¨ıda (Inria)

Source URL: tyrex.inria.fr

• HTML
• Computing
• World Wide Web
• Software engineering
• Cascading Style Sheets
• HTML element
• Underline
• Style sheet
• Span and div
• Buenos Aires
• International Joint Conference on Artificial Intelligence

Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda

Source URL: db.ucsd.edu

• Model theory
• Formal languages
• Mathematical logic
• First-order logic
• Predicate logic
• Interpretation
• Well-formed formula
• Linear temporal logic
• Craig interpolation

Journal of Digital Libraries (JDL) Dr. Nabil R. Adam, Executive Editor- in-Chief, Rutgers University Dr. Erich J. Neuhold, Editor-in-Chief, Fraunhofer IPSI Dr. Richard Furuta, Editor- in-Chief, Texas A&M University CALL

Source URL: cimic.rutgers.edu