Theoretical Computer Science (TCS)

7 brands:

ESOP

ETAPS

FASE

FoSSaCS

STOC

TACAS

WRLA

6320 papers in 174 issues:

2019

Proceedings of the 28th European Symposium on Programming (ESOP 2019)

Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE 2019)

2018

Proceedings of the 27th European Symposium on Programming (ESOP 2018)

Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018)

Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications (WRLA 2018)

2017

Proceedings of the 24th European Symposium on Programming (ESOP 2017)

Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering (FASE 2017)

2016

Proceedings of the 25th European Symposium on Programming (ESOP 2016)

Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016)

Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications (WRLA 2016)

2015

Proceedings of the 24th European Symposium on Programming (ESOP 2015)

Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015)

Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)

Proceedings of the 47th Annual ACM Symposium on Theory of Computing (STOC 2015)

Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

2014

Proceedings of the 23rd European Symposium on Programming (ESOP 2014)

Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)

Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2014)

Proceedings of the 46th Annual ACM Symposium on Theory of Computing (STOC 2014)

Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)

Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications (WRLA 2014)

2013

Proceedings of the 22nd European Symposium on Programming (ESOP 2013)

Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013)

Proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2013)

Proceedings of the 45th Annual ACM Symposium on Theory of Computing (STOC 2013)

Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)

2012

Proceedings of the 21st European Symposium on Programming (ESOP 2012)

Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)

Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2012)

Proceedings of the 44th Annual ACM Symposium on Theory of Computing (STOC 2012)

Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)

Revised Selected Papers of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012)

2011

Proceedings of the 20th European Symposium on Programming (ESOP 2011)

Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011)

Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2011)

Proceedings of the 43rd Annual ACM Symposium on Theory of Computing (STOC 2011)

Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011)

2010

Proceedings of the 19th European Symposium on Programming (ESOP 2010)

Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010)

Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2010)

Proceedings of the 42nd Annual ACM Symposium on Theory of Computing (STOC 2010)

Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010)

Revised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)

Special Issue of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)

2009

Proceedings of the 18th European Symposium on Programming (ESOP 2009)

Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009)

Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2009)

Proceedings of the 41st Annual ACM Symposium on Theory of Computing (STOC 2009)

Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)

2008

Proceedings of the 17th European Symposium on Programming (ESOP 2008)

Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE 2008)

Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008)

Proceedings of the 40th Annual ACM Symposium on Theory of Computing (STOC 2008)

Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008)

2007

Proceedings of the 16th European Symposium on Programming (ESOP 2007)

Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007)

Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2007)

Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC 2007)

Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)

2006

Proceedings of the 15th European Symposium on Programming (ESOP 2006)

Proceedings of the Ninth International Conference on Fundamental Approaches to Software Engineering (FASE 2006)

Proceedings of the Ninth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2006)

Proceedings of the 38th Annual ACM Symposium on Theory of Computing (STOC 2006)

Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006)

Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications (WRLA 2006)

2005

Proceedings of the 14th European Symposium on Programming (ESOP 2005)

Proceedings of the Eighth International Conference on Fundamental Approaches to Software Engineering (FASE 2005)

Proceedings of the Eighth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2005)

Proceedings of the 37th Annual ACM Symposium on Theory of Computing (STOC 2005)

Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)

2004

Proceedings of the 13th European Symposium on Programming (ESOP 2004)

Proceedings of the Seventh International Conference on Fundamental Approaches to Software Engineering (FASE 2004)

Proceedings of the Seventh International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2004)

Proceedings of the 36th Annual ACM Symposium on Theory of Computing (STOC 2004)

Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)

Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)

Special Issue of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)

2003

Proceedings of the 12th European Symposium on Programming (ESOP 2003)

Proceedings of the Sixth International Conference on Fundamental Approaches to Software Engineering (FASE 2003)

Proceedings of the Sixth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2003)

Proceedings of the 35th Annual ACM Symposium on Theory of Computing (STOC 2003)

Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)

2002

Proceedings of the 11th European Symposium on Programming (ESOP 2002)

Proceedings of the Fifth International Conference on Fundamental Approaches to Software Engineering (FASE 2002)

Proceedings of the Fifth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2002)

Proceedings of the 34th Annual ACM Symposium on Theory of Computing (STOC 2002)

Proceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002)

Proceedings of the Fourth International Workshop on Rewriting Logic and its Applications (WRLA 2002)

2001

Proceedings of the 10th European Symposium on Programming (ESOP 2001)

Proceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering (FASE 2001)

Proceedings of the Fourth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2001)

Proceedings of the 33rd Annual ACM Symposium on Theory of Computing (STOC 2001)

Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001)

2000

Proceedings of the Ninth European Symposium on Programming (ESOP 2000)

Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering (FASE 2000)

Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2000)

Proceedings of the 32nd Annual ACM Symposium on Theory of Computing (STOC 2000)

Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000)

Proceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA 2000)

1999

Proceedings of the Eighth European Symposium on Programming (ESOP 1999)

Proceedings of the Second International Conference on Fundamental Approaches to Software Engineering (FASE 1999)

Proceedings of the Second International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 1999)

Proceedings of the 31st Annual ACM Symposium on Theory of Computing (STOC 1999)

Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1999)

1998

Proceedings of the Seventh European Symposium on Programming (ESOP 1998)

Proceedings of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998)

Special Issue on Fundamental Approaches to Software Engineering (FASE 1998) (FASE 1998)

Proceedings of the First International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 1998)

Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC 1998)

Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998)

Proceedings of the Second International Workshop on Rewriting Logic and its Applications (WRLA 1998)

1997

Proceedings of the 29th Annual ACM Symposium on Theory of Computing (STOC 1997)

Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1997)

Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development (TAPSOFT CAAP/FASE 1997)

1996

Proceedings of the Sixth European Symposium on Programming (ESOP 1996)

Proceedings of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)

Proceedings of the 28th Annual ACM Symposium on Theory of Computing (STOC 1996)

Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1996)

Special Issue of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)

1995

Proceedings of the 27th Annual ACM Symposium on Theory of Computing (STOC 1995)

Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1995)

Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development (TAPSOFT CAAP/FASE 1995)

Special Volume of the Sixth International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1995)

1994

Proceedings of the Fifth European Symposium on Programming (ESOP 1994)

Selected Papers of the Fifth European Symposium on Programming (ESOP 1994)

Proceedings of the 26th Annual ACM Symposium on Theory of Computing (STOC 1994)

1993

Proceedings of the 25th Annual ACM Symposium on Theory of Computing (STOC 1993)

Proceedings of the Fifth International Joint Conference on Theory and Practice of Software Development (TAPSOFT CAAP/FASE 1993)

1992

Proceedings of the Fourth European Symposium on Programming (ESOP 1992)

Selected Papers of the Fourth European Symposium on Programming (ESOP 1992)

Proceedings of the 24th Annual ACM Symposium on Theory of Computing (STOC 1992)

1991

Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (TAPSOFT, Vol.2: ADC 1991)

Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1991)

Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Combining Paradigms for Software Development (TAPSOFT, Vol.2: CCPSD 1991)

Proceedings of the 23rd Annual ACM Symposium on Theory of Computing (STOC 1991)

1990

Proceedings of the Third European Symposium on Programming (ESOP 1990)

Selected Papers of the Third European Symposium on Programming (ESOP 1990)

Proceedings of the 22nd Annual ACM Symposium on Theory of Computing (STOC 1990)

1989

Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.1: AS 1989)

Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.2: AS 1989)

Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1989)

Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Current Issues in Programming Languages (TAPSOFT, Vol.2: CCIPL 1989)

Proceedings of the 21st Annual ACM Symposium on Theory of Computing (STOC 1989)

1988

Proceedings of the Second European Symposium on Programming (ESOP 1988)

Proceedings of the 20th Annual ACM Symposium on Theory of Computing (STOC 1988)

1987

Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.1: AS 1987)

Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.2: AS 1987)

Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1987)

Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Functional and Logic Programming and Specifications (TAPSOFT, Vol.2: CFLP 1987)

Proceedings of the 19th Annual ACM Symposium on Theory of Computing (STOC 1987)

1986

Proceedings of the First European Symposium on Programming (ESOP 1986)

Proceedings of the 18th Annual ACM Symposium on Theory of Computing (STOC 1986)

1985

Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on the Role of Semantics in Software Development (TAPSOFT, Vol.1: AS 1985)

Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on the Role of Semantics in Software Development (TAPSOFT, Vol.2: AS 1985)

Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1985)

Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Software Engineering (TAPSOFT, Vol.2: CSE 1985)

Proceedings of the 17th Annual ACM Symposium on Theory of Computing (STOC 1985)

1984

Proceedings of the 16th Annual ACM Symposium on Theory of Computing (STOC 1984)

1983

Proceedings of the 15th Annual ACM Symposium on Theory of Computing (STOC 1983)

1982

Proceedings of the 14th Annual ACM Symposium on Theory of Computing (STOC 1982)

1981

Proceedings of the 13th Annual ACM Symposium on Theory of Computing (STOC 1981)

1980

Proceedings of the 12th Annual ACM Symposium on Theory of Computing (STOC 1980)

1979

Proceedings of the 11th Annual ACM Symposium on Theory of Computing (STOC 1979)

1978

Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC 1978)

1977

Proceedings of the Ninth Annual ACM Symposium on Theory of Computing (STOC 1977)

1976

Proceedings of the Eighth Annual ACM Symposium on Theory of Computing (STOC 1976)

1975

Proceedings of the Seventh Annual ACM Symposium on Theory of Computing (STOC 1975)

1974

Proceedings of the Sixth Annual ACM Symposium on Theory of Computing (STOC 1974)

1973

Proceedings of the Fifth Annual ACM Symposium on Theory of Computing (STOC 1973)

1972

Proceedings of the Fourth Annual ACM Symposium on Theory of Computing (STOC 1972)

1971

Proceedings of the Third Annual ACM Symposium on Theory of Computing (STOC 1971)

1970

Proceedings of the Second Annual ACM Symposium on Theory of Computing (STOC 1970)

1969

Proceedings of the First Annual ACM Symposium on Theory of Computing (STOC 1969)