Lics

ACM/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: A

Authors on this page:

Martín Abadi

Parosh A. Abdulla

Andreas Abel

Serge Abiteboul

Samson Abramsky

Beniamino Accattoli

Matteo Acclavio

Luca Aceto

Nathanael Leedom Ackerman

Nathanael L. Ackerman

Peter Aczel

Jiri Adamek

Micah Adler

Bharat Adsul

Klaus Aehlig

Foto N. Afrati

Bahareh Afshari

Manindra Agrawal

Amal J. Ahmed

Ki Yung Ahn

Benedikt Ahrens

Alexander Aiken

C. Aiswarya

William E. Aitken

Yohji Akama

S. Akshay

Fabio Alessi

Stuart F. Allen

Joël D. Allred

Noga Alon

Bowen Alpern

Thorsten Altenkirch

Rajeev Alur

Mário S. Alvim

Roberto M. Amadio

Antoine Amarilli

Benjamin Aminof

Arthur Azevedo de Amorim

Henrik R. Andersen

Matthew Anderson

Miguel E. Andrés

Andrew W. Appel

Carlos E. Areces

Marcelo Arenas

Ofer Arieli

Zena M. Ariola

Nathanael Arkor

André Arnold

Kazuyuki Asada

Eugene Asarin

Federico Aschieri

Pranav Ashok

Karima Ashraf

Andrea Asperti

David Aspinall

Mohamed Faouzi Atig

Robert Atkey

Albert Atserias

Philippe Audebaud

Robert J. Aumann

Martin Avanzini

Jeremy Avigad

Arnon Avron

Steven Awodey

Steve Awodey


Last modified: 2021-04-0120:36
Sam Staton