Formal Methods (Formal Methods)

People 16

Papers 4

Journals 0

Jobs 0

Modal Logic

Computer Science

Automata Theory (Formal Languages)

Software Engineering

Formal Methods (Formal Verification)

Philosophy

Intellectual Property

Design

Informatics

Service Oriented Computing

Human Computer Interaction (HCI)

Temporal and Modal Logic

Embedded Systems

Human-machine Systems

Formal Theory

Fractal Electromagnetics

Formal Methods (Formal Methods)

Internet

Software Engineering education

Epistemic Logic

Formal methods

Follow Mr Zacchaeus Oni

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Mr Zacchaeus Oni Omogbadegun

Covenant University Canaanland, Ota.

Faculty Member

Computer and Information Sciences Department

Ambient Intelligence AmI (in ), Business Rules & Processes, Computer And Society, and Computer Ethics

Follow Eva

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Eva Navarro

The University of Manchester

Faculty Member

Computer Science Department

Complex Systems Science, Complex networks (Physics), Control Engineering, and Control Systems Engineering

Follow Hovhannes

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Hovhannes Stepanyan

Yerevan State University

Faculty Member

IT Management Department

Educational Robotics, Environment, Formal Methods (Formal Methods), and GPS Applications

Follow Purandar

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Purandar Bhaduri

Indian Institute of Technology Guwahati

Faculty Member

Computer Science and Engineering Department

Embedded Systems, Formal Methods (Formal Methods), and Computer Science

Follow Iñigo

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Iñigo Ortiz Monasterio

Universidad Iberoamericana - Mexico

Faculty Member

Arquitectura Department

"New" senses in art: touch, smell, taste, Art, Art Economics and Markets, and Art and Science

Follow Haiping

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Haiping Xu

University of Massachusetts, Dartmouth

Faculty Member

Computer and Information Science Department

Computer Science, Distributed Computing, Electronic Commerce, and Formal Methods (Formal Methods)

Follow Ella

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Ella Roubtsova

Open University The Netherlands

Faculty Member

School of Computer Science

Computer Science, Design Patterns, Embedded Systems, and Formal Methods (Formal Methods)

Follow Mehrshad

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Mehrshad Ghaffary

University of Geneva

Graduate Student

Political Science Department

Belief Revision (Computer Science), Epistemic Logic, and Formal Theory

Follow HJ

What is Following?

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

status updates
new papers
new research interests

and other research updates.

HJ Gao

XI'AN JIAO TONG UNIVERSITY

Post-Doc

COMPUTER SCIENCE Department

Automata Theory (Formal Languages), Formal Methods (Formal Methods), Formal Methods (Formal Verification), and Formal Theology

Follow Keishi

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Keishi Okamoto

Sendai National College of Technology

Faculty Member

Genral Sciences Department

Computer Science, Formal Methods (Formal Methods), Modal Logic, and Model Theory

Follow Judith

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Judith Carlton

The Open University

Graduate Student

Information and Communication Technologies Department

Computer Science, Formal Methods (Formal Methods), Gardens, and Genealogy

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 Navarre

University of Toulouse

Faculty Member

Computer Science Department

Computer Science, Formal Methods (Formal Methods), Human Computer Interaction, and Human Computer Interaction (HCI)

Follow Maximiliano

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Maximiliano Cristia

CIFASIS

Faculty Member

Software Engineering Group Department

Formal Methods (Formal Methods), Software Architecture, Software Engineering education, and Software Testing

Follow Ric

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Ric Hehner

University of Toronto

Emeritus

Computer Science Department

Computer Science, Formal Methods (Formal Methods), and Formal methods

Follow Joaquien

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Joaquien Duyewaard-Loszata

A Priori Knowledge, Abduction, Abductive Inference, and Abstracting

Follow Zhe

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Zhe Chen

University of Toulouse

Faculty Member

Computer Science Department

Automata Theory (Formal Languages), Computer Science, Formal Methods (Formal Methods), and Formal Methods (Formal Verification)

Formal Methods (Formal Methods)

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Emeritus

What is Following?

What is Following?

Faculty Member

Log In

Reset Password