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

Authors on this page:

Martín Abadi

Parosh Aziz Abdulla

Parosh A. Abdulla

Andreas Abel

Serge Abiteboul

Samson Abramsky

Beniamino Accattoli

Matteo Acclavio

Luca Aceto

Antonis Achilleos

Nathanael Leedom Ackerman

Nathanael L. Ackerman

Peter Aczel

Jiri Adamek

Micah Adler

Bharat Adsul

Jirí Adámek

Klaus Aehlig

Foto N. Afrati

Bahareh Afshari

Manindra Agrawal

Amal J. Ahmed

Amal Ahmed

Ki Yung Ahn

Benedikt Ahrens

Alexander Aiken

C. Aiswarya

William E. Aitken

Yohji Akama

S. Akshay

Fabio Alessi

Stuart F. Allen

Cameron Allett

Antoine Allioux

Joël D. Allred

Noga Alon

Bowen Alpern

Thorsten Altenkirch

Rajeev Alur

Mário S. Alvim

Roberto M. Amadio

Antoine Amarilli

Todd Waugh Ambridge

Benjamin Aminof

functional PCSP dichotomy. 1-12 Benjamin Aminof

Pedro H. Azevedo de Amorim

Arthur Azevedo de Amorim

Ashwani Anand

Elli Anastasiadi

Henrik R. Andersen

Matthew Anderson

Miguel E. Andrés

Carlo Angiuli

Melissa Antonelli

Andrew W. Appel

Carlos E. Areces

Marcelo Arenas

Georgios Argyris

Ofer Arieli

Zena M. Ariola

Nathanael Arkor

André Arnold

Victor Arrial

Kazuyuki Asada

Ali Asadi

Eugene Asarin

Federico Aschieri

Pranav Ashok

Karima Ashraf

Julian Asilis

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

Jon Aytac


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