Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Index by Authors:

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Papers and Short Presentations by Authors: C

Authors on this page:

Yang Cai

Cristiano Calcagno

Andrea Calì

Diego Calvanese

Juanito Camilleri

Felix Canavoi

Arnaud Carayol

Aurelio Carboni

Luca Cardelli

Alberto Carraro

Facundo Carreiro

Robert Cartwright

Catarina Carvalho

Paul Caspi

Giuseppe Castagna

Simon Castellan

Balder ten Cate

Gian Luca Cattani

Didier Caucal

Karlis Cerans

Serenella Cerrito

Iliano Cervesato

Rohit Chadha

Pierre Chambart

Edward Y. Chang

Witold Charatonik

Krishnendu Chatterjee

Laura Chaubard

Swarat Chaudhuri

Kaustuv Chaudhuri

Hubie Chen

Taolue Chen

Yijia Chen

Wei Chen

James Cheney

Yannick Chevalier

Fabrice Chevalier

Shang-Ching Chou

Søren Christensen

Juliusz Chroboczek

Martin Churchill

Agata Ciabattoni

Stefan Ciobaca

Pierre Clairambault

Edmund M. Clarke

Rance Cleaveland

Lorenzo Clemente

Peter Clote

Michael Codish

Bob Coecke

Claudio Sacerdoti Coen

Mika Cohen

Dario Colazzo

Thomas Colcombet

Loïc Colson

Hubert Comon-Lundh

Adriana B. Compagnoni

Kevin J. Compton

Robert L. Constable

Evelyne Contejean

Stephen A. Cook

Mario Coppo

Paolo Coppola

Thierry Coquand

Flavio Corradini

Agostino Cortesi

Stavros S. Cosmadakis

Miguel Couceiro

Bruno Courcelle

Costas Courcoubetis

Patrick Cousot

Radhia Cousot

Emanuele Covino

Karl Crary

Julien Cretin

Carles Creus

Ioana Cristescu

Roy L. Crole

Raphaëlle Crubillé

László Csirmaz

Licong Cui

Pierre-Louis Curien

Wojciech Czerwiński


Last modified: 2016-01-1416:22
Andrzej Murawski