Muriel Lascaux Jean-Pierre Couteron Olivier Phan

Source URL: www.pierre-nicole.com

EJEAS 3.1. Proef:14.51, page 1. ‘THE MODERN BARBARIAN’: NGUYEN VAN VINH AND THE COMPLEXITY OF COLONIAL MODERNITY IN VIETNAM CHRISTOPHER E. GOSCHA*

Source URL: www.er.uqam.ca

• Vietnam
• Phan Boi Chau
• Khai Dinh
• Vietnamese Martyrs
• Vietnam during World War I
• Socialism
• Asia
• Vinh

Summary of Course Participant Evaluations

Source URL: inweh.unu.edu

• Aquatic ecology
• Water
• Indomalaya
• Indus River Delta
• Sundarbans
• Ecological values of mangrove
• Phan Nguyên Hồng
• Biogeography
• Mangroves
• Physical geography

19th Australasian Fluid Mechanics Conference Melbourne, Australia 8-11 December 2014 Particle Collection Using Vibrating Bubbles H.V. Phan, M. S

Source URL: people.eng.unimelb.edu.au

• Fluid dynamics
• Materials science
• Microfluidics
• Analytical chemistry
• Biotechnology
• Nanofluidics
• Dielectrophoresis
• Gas
• Lab-on-a-chip
• Chemistry
• Physics
• Nanotechnology

Quantifying Information Leaks using Reliability Analysis † ˘ areanu ˘ Quoc-Sang Phan∗ Pasquale Malacaria∗ Corina S. Pas Marcelo d’Amorim‡

Source URL: www.eecs.qmul.ac.uk

• Systems engineering
• Reliability engineering
• Algorithm
• Information flow
• Side channel attack
• Systems science
• Applied mathematics
• Abstract interpretation
• Symbolic execution
• Quicken Interchange Format

Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria

Source URL: www.eecs.qmul.ac.uk

• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability Modulo Theories
• Quicken Interchange Format
• Java Pathfinder
• Boolean satisfiability problem
• Theoretical computer science
• Mathematics
• Applied mathematics

Quoc-Sang Phan Contact Information Theoretical Computer Science group

Source URL: www.eecs.qmul.ac.uk

• Quicken Interchange Format
• Ames Research Center
• Computer science
• Phan
• Pathfinder
• Theoretical computer science
• Science
• Computing
• California
• Java Pathfinder
• Dagstuhl
• Model checking

Concurrent Bounded Model Checking Quoc-Sang Phan Pasquale Malacaria ˘ areanu

Source URL: www.eecs.qmul.ac.uk

• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Model checking
• Java Pathfinder
• Satisfiability Modulo Theories
• Concolic testing
• KeY
• Theoretical computer science
• Applied mathematics
• Mathematics

Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract

Source URL: www.eecs.qmul.ac.uk

• Constraint programming
• Automated theorem proving
• Logic in computer science
• Electronic design automation
• Formal methods
• Satisfiability Modulo Theories
• DPLL algorithm
• Boolean satisfiability problem
• Solver
• Theoretical computer science
• Applied mathematics
• Mathematics

Self-composition by Symbolic Execution Quoc-Sang Phan Queen Mary University of London Abstract

Source URL: www.eecs.qmul.ac.uk