Verification (Computer Science)

People 59

Papers 15

Journals 0

Jobs 0

Data Structures (Computer Science)

Computer Science

Algorithms

Computer Security And Reliability

Distributed Computing

Software Engineering

Formal Methods (Formal Verification)

Programming Languages

Program Semantics

Type Theory

Concurrent Programming Languages

Static Analysis

Programming Language Semantics

Software Testing

Real-time Systems

Software Evolution

Verification (Computer Science)

Program Analysis

Formal methods

Java Programming

Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science)

Follow Joseph

What is Following?

Following Joseph's work means that, in your Academia.edu News Feed, you will see Joseph's:

status updates
new papers
new research interests

and other research updates.

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Follow Saurabh

What is Following?

Following Saurabh's work means that, in your Academia.edu News Feed, you will see Saurabh's:

status updates
new papers
new research interests

and other research updates.

Saurabh Gupta

IIT Bombay

Graduate Student

Computer Science and Engineering Department

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), Artifial Intellegence, and Artificial Intelligence

Follow Amnon

What is Following?

Following Amnon's work means that, in your Academia.edu News Feed, you will see Amnon's:

status updates
new papers
new research interests

and other research updates.

Amnon Eden

University of Essex

Faculty Member

School of Computer Science and Electronic Engineering

Artificial Intelligence, CASE Tools, Cognitive Science, and Design Patterns

Follow Arnab

What is Following?

Following Arnab's work means that, in your Academia.edu News Feed, you will see Arnab's:

status updates
new papers
new research interests

and other research updates.

Arnab De

Indian Institute of Science

Graduate Student

Computer Science and Automation Department

Computer Science, Computer Security And Reliability, Program Analysis, and Programming Languages

Follow Jeremy

What is Following?

Following Jeremy's work means that, in your Academia.edu News Feed, you will see Jeremy's:

status updates
new papers
new research interests

and other research updates.

Jeremy Gibbons

University of Oxford

Faculty Member

Computing Laboratory

Architectural Patterns, Data Structures (Computer Science), Design Patterns, and E Science

Follow Muaz

What is Following?

Following Muaz's work means that, in your Academia.edu News Feed, you will see Muaz's:

status updates
new papers
new research interests

and other research updates.

Muaz Niazi

Bahria University, Islamabad-Pakistan

Faculty Member

Computer and Software Department

(Multi-) Agent Technology, Agent Based Simulation, Agent-Based Models, and Agent-based modeling

Follow Sandeep

What is Following?

Following Sandeep's work means that, in your Academia.edu News Feed, you will see Sandeep's:

status updates
new papers
new research interests

and other research updates.

Sandeep Shukla

Virginia Tech

Faculty Member

Electrical & Computer Engineering (ECE) Department

Algorithm, Algorithm Analysis, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), and Aspect Oriented Software Development

Follow Dejan

What is Following?

Following Dejan's work means that, in your Academia.edu News Feed, you will see Dejan's:

status updates
new papers
new research interests

and other research updates.

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Follow Sai

What is Following?

Following Sai's work means that, in your Academia.edu News Feed, you will see Sai's:

status updates
new papers
new research interests

and other research updates.

Sai Zhang

University of Washington

Graduate Student

Computer Science & Engineering Department

Programming Languages, Software Engineering, Software Testing, and Verification (Computer Science)

Follow Raul

What is Following?

Following Raul's work means that, in your Academia.edu News Feed, you will see Raul's:

status updates
new papers
new research interests

and other research updates.

Raul Santelices

Georgia Institute of Technology

Graduate Student

College of Computing

C++ Programming, Change Impact Analysis in software engineering, Change-effects analysis in software, and Compilers

Follow Artur

What is Following?

Following Artur's work means that, in your Academia.edu News Feed, you will see Artur's:

status updates
new papers
new research interests

and other research updates.

Artur Gomes

University of York

Graduate Student

Computer Science Department

Case Study Research, Computer Science, Distributed Computing, and Formal Methods (Formal Verification)

Follow Emanuele

What is Following?

Following Emanuele's work means that, in your Academia.edu News Feed, you will see Emanuele's:

status updates
new papers
new research interests

and other research updates.

Emanuele D'Osualdo

University of Oxford

Graduate Student

Computing Laboratory

Concurrency Theory, Model Checking, Programming Languages, and Semantics

Follow Rebekah

What is Following?

Following Rebekah's work means that, in your Academia.edu News Feed, you will see Rebekah's:

status updates
new papers
new research interests

and other research updates.

Rebekah Carter

The University of Manchester

Graduate Student

Computer Science Department

Automata and Languages, Computer Science, Dynamical Systems, and Hybrid Systems Control

Follow Marco

What is Following?

Following Marco's work means that, in your Academia.edu News Feed, you will see Marco's:

status updates
new papers
new research interests

and other research updates.

Marco Antoniotti

Università degli Studi di Milano-Bicocca

Faculty Member

Dipartimento di Informatica, Sistemistica e Comunicazione Department

Algorithms, Application Integration (Computer Science), Bioinformatics, and Computational Biology

Follow Jan Tobias

What is Following?

Following Jan Tobias's work means that, in your Academia.edu News Feed, you will see Jan Tobias's:

status updates
new papers
new research interests

and other research updates.

Jan Tobias Muehlberg

Katholieke Universiteit Leuven

Post-Doc

Computer Science Department

Automated reasoning, Certification Test and Evaluation (CT&E), Formal methods, and Semantics (Computer Science)

Follow Leopoldo

What is Following?

Following Leopoldo's work means that, in your Academia.edu News Feed, you will see Leopoldo's:

status updates
new papers
new research interests

and other research updates.

Leopoldo Teixeira

Universidade Federal de Pernambuco

Graduate Student

Center of Informatics

Aspect Oriented Software Development, Software Engineering, Software Evolution, and Software Product Lines

Follow Semih

What is Following?

Following Semih's work means that, in your Academia.edu News Feed, you will see Semih's:

status updates
new papers
new research interests

and other research updates.

Semih Okur

University of Illinois at Urbana-Champaign

Graduate Student

Computer Science Department

Compute Unified Device Architecture NVIDIA CUDA, Computer Engineering, Computer Science And Engineering, and Concurrent Programming Languages

Follow Eduardo

What is Following?

Following Eduardo's work means that, in your Academia.edu News Feed, you will see Eduardo's:

status updates
new papers
new research interests

and other research updates.

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

Computer Science, Concurrency Theory, Concurrent Programming Languages, and Formal methods

Follow Piotr

What is Following?

Following Piotr's work means that, in your Academia.edu News Feed, you will see Piotr's:

status updates
new papers
new research interests

and other research updates.

Piotr Kaźmierczak

University of Bergen

Graduate Student

Department of Information Science and Media Studies

Epistemic Logic, Formal methods, Grid Computing, and Haskell

Follow Jorge

What is Following?

Following Jorge's work means that, in your Academia.edu News Feed, you will see Jorge's:

status updates
new papers
new research interests

and other research updates.

Jorge Chávez

Universidad Nacional Mayor de San Marcos

Faculty Member

Facultad de Ingeniería de Sistemas e Informática Department

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, (Multi-) Agent Technology, .net Programming, and Academic Technology

Follow Alexander

What is Following?

Following Alexander's work means that, in your Academia.edu News Feed, you will see Alexander's:

status updates
new papers
new research interests

and other research updates.

Alexander Lamaison

Imperial College London

Graduate Student

Computing Department

Compilers, Duck Typing (Python), Open Source Software, and Program Analysis

Follow Zhiyang

What is Following?

Following Zhiyang's work means that, in your Academia.edu News Feed, you will see Zhiyang's:

status updates
new papers
new research interests

and other research updates.

Zhiyang Ong

Universita' di Verona

Graduate Student

Computer Science Department

Analog/RF and Mixed-Signal VLSI Design, Circuits and Systems, Complex Networks, and Computer Architecture

Follow David

What is Following?

Following David's work means that, in your Academia.edu News Feed, you will see David's:

status updates
new papers
new research interests

and other research updates.

David Deharbe

UFRN

Faculty Member

DIMAp Department

Formal Methods (Formal Verification), Formal methods, Functional Programming, and Model-Driven Development

Follow Zeinab

What is Following?

Following Zeinab's work means that, in your Academia.edu News Feed, you will see Zeinab's:

status updates
new papers
new research interests

and other research updates.

Zeinab Sharifi

AmirKabir University Of Technology

Graduate Student

Computer Engineering and Information Technology Engineering Department

Algorithm, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), Java Programming, and Program Analysis

Follow ED

What is Following?

Following ED's work means that, in your Academia.edu News Feed, you will see ED's:

status updates
new papers
new research interests

and other research updates.

ED Colbert

University of Southern California

Graduate Student

Computer Science Department

Aspect Oriented Software Development, C++ Programming, Computer Games Technology, and Computer Security

← Previous 1 2 3 Next →

Verification (Computer Science)

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Post-Doc

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

Log In

Reset Password