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

Yang Cai

Cristiano Calcagno

Andrea Calì

Diego Calvanese

Juanito Camilleri

Felix Canavoi

Florent Capelli

Venanzio Capretta

Arnaud Carayol

Michael Carbin

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

Gérard Cécé

Karlis Cerans

Serenella Cerrito

Julien Cervelle

Iliano Cervesato

Rohit Chadha

Souymodip Chakraborty

Pierre Chambart

Edward Y. Chang

Witold Charatonik

Krishnendu Chatterjee

Laura Chaubard

Kaustuv Chaudhuri

Swarat Chaudhuri

Hubie Chen

Yu-Fang Chen

Taolue Chen

Wei Chen

Yijia Chen

James Cheney

Steven W. T. Cheung

Yannick Chevalier

Fabrice Chevalier

Dmitry Chistikov

Adam Chlipala

Ventsislav Chonev

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

Liron 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

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

Wojciech Czerwinski

Wojciech Czerwiński


Last modified: 2018-10-2313:2
Sam Staton