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 Q R S T U V W X Y Z

Papers and Short Presentations by Authors: C

Authors on this page:

Michaël Cadilhac

Pierre Cagne

Yang Cai

Cristiano Calcagno

Andrea Calì

Diego Calvanese

Juanito Camilleri

Felix Canavoi

Florent Capelli

Venanzio Capretta

Paolo Capriotti

Arnaud Carayol

Michael Carbin

Aurelio Carboni

Clément Carbonnel

Luca Cardelli

Titouan Carette

David Carral

Alberto Carraro

Facundo Carreiro

Robert Cartwright

Catarina Carvalho

Antonio Casares

Paul Caspi

Giuseppe Castagna

Simon Castellan

Valentina Castiglioni

Daniel Castle

Balder ten Cate

Gian Luca Cattani

Didier Caucal

Gérard Cécé

Karlis Cerans

Serenella Cerrito

Julien Cervelle

Iliano Cervesato

Rohit Chadha

Souymodip Chakraborty

Supratik Chakraborty

Pierre Chambart

Edward Y. Chang

Angelos Charalambidis

Witold Charatonik

Krishnendu Chatterjee

Giannos Chatziagapis

Laura Chaubard

Kaustuv Chaudhuri

Swarat Chaudhuri

Hubie Chen

Yu-Fang Chen

Taolue Chen

Wei Chen

Yijia Chen

Yu Chen

Xiaohong Chen

James Cheney

Steven W. T. Cheung

Yannick Chevalier

Fabrice Chevalier

Dmitry Chistikov

Adam Chlipala

Miroslav Chodil

Ventsislav Chonev

Shang-Ching Chou

Søren Christensen

Juliusz Chroboczek

Martin Churchill

Agata Ciabattoni

Lorenzo Ciardo

Gianluca Cima

Stefan Ciobaca

Laura Ciobanu

Pierre Clairambault

Edmund M. Clarke

Rance Cleaveland

Lorenzo Clemente

Peter Clote

Alexandre Clément

Michael Codish

Bob Coecke

Claudio Sacerdoti Coen

Norine Coenen

Mika Cohen

Liron Cohen

Dario Colazzo

Thomas Colcombet

Loïc Colson

Hubert Comon-Lundh

Adriana B. Compagnoni

Kevin J. Compton

Andrea Condoluci

Marco Console

Robert L. Constable

Evelyne Contejean

Stephen A. Cook

Martin C. Cooper

Mario Coppo

Paolo Coppola

Thierry Coquand

Andrea Corradini

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é

Raphaëlle Crubillé

László Csirmaz

Licong Cui

Pierre-Louis Curien

Gianluca Curzi

Wojciech Czerwinski

Wojciech Czerwiński


Last modified: 2024-10-249:41
Sam Staton