Home
|
News
|
Facebook Connect
|
Invite
|
Login
|
Signup
browse:
Departments
Research Interests
People
10 people
Formal Verification
Gustavo Cabral
University of Tokyo
Computer Sciences
Computer Networks
Distributed Computing
Grid Computing
Mobile Distributed Systems
Formal Verification
Parallel Computing
Programming Languages
Compilers
Program Semantics
Programming Paradigms
Aspect Oriented Programming
Object Oriented Programming
Software Engineering
Formal Methods (Formal Verification)
Model Driven Development
Theory Of Computation
Computational Complexity Theory
Concurrency Theory
(
More
)
(
Fewer
)
Add Gustavo as a Contact
Send Gustavo a Message
Arunabh Das
University of Texas at Austin
Computer Sciences
Distributed Algorithms
Computer Security And Reliability
Cryptography
Digital Signature
Pki
Fault Tolerant Computing
Information Security
Mobile Device Security
Wireless Security
Data Structures
Distributed Computing
Grid Computing
Mobile Distributed Systems
Formal Verification
Operating Systems
Parallel Computing
High Performance Computing
(
More
)
(
Fewer
)
Add Arunabh as a Contact
Send Arunabh a Message
David Faragó
Karlsruhe Institute of Technology (KIT)
Computer Music
Computer Sciences
Formal Verification
Quality Management
Add David as a Contact
Send David a Message
David Friggens
Victoria University of Wellington
Computer Sciences
Computational Logic
Formal Verification
Formal Methods (Formal Verification)
Logic
Mathematics
Logic And Foundations Of Mathematics
Modal Logic
Add David as a Contact
Send David a Message
Carlo Alberto Furia
Consiglio Nazionale delle Ricerche (CNR)
Computer Sciences
Formal Verification
Real Time Computing
Software Engineering
Formal Methods (Formal Verification)
Temporal And Modal Logic
Physics
Quantum Computing
Add Carlo Alberto as a Contact
Send Carlo alberto a Message
Martin Henson
University of Essex
Academic Development
International Business
Computer Sciences
Formal Verification
Software Engineering
Formal Methods (Formal Verification)
International Development
International Education
International Organizations
International Science Policy
(
More
)
(
Fewer
)
Add Martin as a Contact
Send Martin a Message
Masud Khokhar
University of Oxford
Computer Sciences
Computer Aided Design
Formal Verification
Real Time Computing
Simulation
Ubiquitous Computing
Software Engineering
Formal Methods
Add Masud as a Contact
Send Masud a Message
Fabio Massacci
University of Trento
Computer Sciences
Computational Complexity
Computational Logic
Proof Theory
Computer Forensics
Computer Security And Reliability
Cryptography
Information Security
Mobile Device Security
Wireless Security
Distributed Computing
Mobile Distributed Systems
Formal Verification
Information Science
Network Security
Software Engineering
Formal Methods (Formal Verification)
Model Driven Development
Temporal And Modal Logic
Theory Of Computation
Automata Theory (Formal Languages)
Computational Complexity Theory
Ubiquitous Computing
Systems Engineering
(
More
)
(
Fewer
)
Add Fabio as a Contact
Send Fabio a Message
Serguei Mokhov
Concordia University
Cosmology
Applied Linguistics
Astronomy
Biometrics
Computational Intelligence
Computational Intelligence And Games
Computational Linguistics
E Learning
Virtual Environments
Virtual Reality
Computer Music
Computer Sciences
Algorithms
Computational Geometry
Distributed Algorithms
Evolutionary Algorithms
Parallel Algorithms
Artificial Intelligence
Artificial Neural Network
Computer Vision
Natural Language Processing (Computational Linguistics)
Cognitive Science
Automated Reasoning
Machine Learning
Expert Systems
Fuzzy Logic
Natural Language Processing
Computational Logic
Proof Theory
Computer Forensics
Digital Investigation
Computer Graphics
Image Processing
Scientific Visualization
Computer Security And Reliability
Cryptography
Fault Tolerant Computing
Information Security
Data Structures
Distributed Computing
Formal Verification
Free, Libre And Open Source Software
Human Computer Interaction
Information Visualization
Linear Logic
Network Security
Operating Systems
Parallel Computation
Parallel Computing
Programming Languages
Compilers
Concurrent Programming Languages
Program Semantics
Programming Paradigms
Aspect Oriented Programming
Functional Programming
Object Oriented Programming
Type Theory
Software Engineering
Formal Methods (Formal Verification)
Software Factories And Software Factory Class Designs
Temporal And Modal Logic
Ubiquitous Computing
Visualization
Creative Problem Solving
Cybercrimes
Cybernetics
Multidimensional Scaling
Educational Informatics
Engineering
Audio Signal Processing
Computer Architecture
Computer Science And Engineering
Artificial Intelligence
Computional Intelligence
Data Analysis
Software Engineering
Forensic Science
Human Computer Interaction (Hci)
Semantics
Classification
Real Time Computing
Signal Processing
Design Patterns
Formal Methods
Parallel Programming
Programming Language Semantics
Virtual Machines
Requirements Engineering
Software Arhitceture
Software Engineering Education
Software Maintenance
Software Security
(
More
)
(
Fewer
)
Add Serguei as a Contact
Send Serguei a Message
Gian Perrone
University of Waikato
Computer Science
Computer Sciences
Distributed Algorithms
Distributed Computing
Formal Verification
Programming Languages
Compilers
Concurrent Programming Languages
Program Semantics
Programming Paradigms
Functional Programming
Static Analysis
Type Theory
Software Engineering
Formal Methods (Formal Verification)
Model Driven Development
(
More
)
(
Fewer
)
Add Gian as a Contact
Send Gian a Message