Paul C Attie

E. Allen Emerson

Ohio State University
University of Texas at Austin
Florida International University
Department of Computer Science

External person

7 shared research output

Nancy Lynch

Department of EECS
Massachusetts Institute of Technology
Northeastern University
University of Sydney

External person

6 shared research output

Mohamad Jaber

American University of Beirut

External person

5 shared research output

Joseph Sifakis

Swiss Federal Institute of Technology Lausanne

External person

4 shared research output

Anish Arora

Ohio State University
University of Texas at Austin
Microelectronics and Computer Technology Corporation
Department of Computer Science

External person

4 shared research output

Michael Evangelist

Software Technology Program
Microelectronics and Computer Technology Corporation

External person

3 shared research output

Hana Chockler

Massachusetts Institute of Technology
Worcester Polytechnic Institute
IBM
IBM Research
WPI - Computer Science Department

External person

3 shared research output

Rachid Guerraoui

Swiss Federal Institute of Technology Lausanne
EPFL
EPFL IC

External person

2 shared research output

Petr Kuznetsov

Technical University of Berlin
Swiss Federal Institute of Technology Lausanne

External person

2 shared research output

Marius Bozga

CNRS
CNRS VERIMAG UMR 5104

External person

2 shared research output

Sergio Rajsbaum

Universidad Nacional Autónoma de México

External person

2 shared research output

Mohamed Gouda

University of Texas at Austin
Microelectronics and Computer Technology Corporation
Department of Computer Science

External person

2 shared research output

Amit P. Sheth

University of Georgia
Microelectronics and Computer Technology Corporation
The University of Georgia

External person

2 shared research output

Simon Bliudze

Swiss Federal Institute of Technology Lausanne

External person

2 shared research output

Mohamad Sakr

American University of Beirut
Saarland University

External person

2 shared research output

Nissim Francez

Microelectronics and Computer Technology Corporation
Technion-Israel Institute of Technology
University of Texas at Austin

External person

2 shared research output

Eduard Baranov

Swiss Federal Institute of Technology Lausanne

External person

2 shared research output

Orna Grumberg

Technion-Israel Institute of Technology
University of Texas at Austin

External person

2 shared research output

Saddek Bensalem

CNRS
CNRS VERIMAG UMR 5104

External person

2 shared research output

Fadi A. Zaraket

American University of Beirut

External person

2 shared research output

M. P. Singh

North Carolina State University
Microelectronics and Computer Technology Corporation

External person

2 shared research output

Al Abbass Khalil

American University of Beirut

External person

1 shared research output

Lenore Zuck

External person

1 shared research output

Adrian Lahanas

Northeastern University

External person

1 shared research output

Tadashi Araragi

Nippon Telegraph & Telephone

External person

1 shared research output

Dina Q. Goldin

University of Connecticut

External person

1 shared research output

Yliès Falcone

Université Grenoble Alpes

External person

1 shared research output

Elaine L. Sonderegger

University of Connecticut
University of Connecticut

External person

1 shared research output

Eliezer Levy

Microelectronics and Computer Technology Corporation

External person

1 shared research output

Rayan Hallal

American University of Beirut

External person

1 shared research output

Kinan Dak Al Bab

Boston University
American University of Beirut

External person

1 shared research output

Darrell Woelk

Microelectronics and Computer Technology Corporation

External person

1 shared research output

David H. Lorenz

University of Virginia

External person

1 shared research output

Yi Deng

University of Illinois at Urbana-Champaign

External person

1 shared research output

Ali Cherri

American University of Beirut

External person

1 shared research output

Antoine El-Hokayem

Université Grenoble Alpes

External person

1 shared research output

Vassilis Tsaoussidis

Northeastern University

External person

1 shared research output

Wei Sun

University of Illinois at Urbana-Champaign

External person

1 shared research output

Charles Richter

Software Technology Program
Microelectronics and Computer Technology Corporation

External person

1 shared research output

William L. Cocke

Augusta University

External person

1 shared research output

Aleksandra Portnova

Northeastern University

External person

1 shared research output

Greg Meredith

Microelectronics and Computer Technology Corporation

External person

1 shared research output

Jad Saklawi

American University of Beirut

External person

1 shared research output

Kinan Dak Al Bab

American University of Beirut

External person

1 shared research output

Phil Cannata

Microelectronics and Computer Technology Corporation

External person

1 shared research output

Ken Mano

Nippon Telegraph & Telephone

External person

1 shared research output

Kiyoshi Kogure

Nippon Telegraph & Telephone

External person

1 shared research output

Scott A. Smolka

Stony Brook University
Department of Computer Science
Department of Biomedical Informatics

External person

1 shared research output

Agostino Cortesi

External person

1 shared research output

Vincent Shen

Software Technology Program
Microelectronics and Computer Technology Corporation

External person

1 shared research output

Idit Keidar

Massachusetts Institute of Technology

External person

1 shared research output

Shigang Chen

University of Illinois at Urbana-Champaign

External person

1 shared research output

Victor Luchangco

Massachusetts Institute of Technology
University of Sydney

External person

1 shared research output

Glenn Bruns

Software Technology Program
Microelectronics and Computer Technology Corporation

External person

1 shared research output

Ira R. Forman

Microelectronics and Computer Technology Corporation

External person

1 shared research output

M. Rusinkiewicz

University of Houston
University of Houston

External person

1 shared research output

Christine Tomlinson

Microelectronics and Computer Technology Corporation

External person

1 shared research output

Champak Das

Florida International University

External person

1 shared research output

Paul C Attie

Network