Volumes and issues

Search all Acta Informatica articles

Volume 60 March - December 2023Mar - Dec 2023
- Issue 4 December 2023
- Issue 3 September 2023
- Issue 2 June 2023
- Issue 1 March 2023
Volume 59 February - December 2022Feb - Dec 2022
- Issue 6 December 2022
- Issue 5 October 2022
- Issue 4 August 2022
  Special Issue: Klaus-Jörn Lange Festschrift
- Issue 2-3 June 2022
- Issue 1 February 2022
Volume 58 April - December 2021Apr - Dec 2021
- Issue 6 December 2021
- Issue 5 October 2021
- Issue 4 August 2021
  Special Issue dedicated to Martin Kutrib's 60th birthday
- Issue 3 June 2021
- Issue 1-2 April 2021
Volume 57 April - December 2020Apr - Dec 2020
- Issue 6 December 2020
  Special Issue: EXPRESS/SOS 2016 + 2017
- Issue 3-5 October 2020
  Special Issue: Rob van Glabbeek - Festschrift
- Issue 1-2 April 2020
  Special Issue on Synthesis
Volume 56 February - November 2019Feb - Nov 2019
- Issue 7-8 November 2019
- Issue 6 September 2019
- Issue 5 July 2019
- Issue 4 June 2019
- Issue 3 April 2019
- Issue 2 March 2019
- Issue 1 February 2019
Volume 55 February - December 2018Feb - Dec 2018
- Issue 8 December 2018
  Special issue: The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015)
- Issue 7 November 2018
- Issue 6 September 2018
  Special Issue: FM15
- Issue 5 August 2018
- Issue 4 June 2018
- Issue 3 May 2018
- Issue 2 March 2018
  Special issue: GandALF 2015
- Issue 1 February 2018
Volume 54 February - December 2017Feb - Dec 2017
- Issue 8 December 2017
  Special issue: The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
- Issue 7 November 2017
  Special Issue: Synthesis - Part 2
- Issue 6 September 2017
  Special Issue: Synthesis - Part 1
- Issue 5 August 2017
- Issue 4 June 2017
- Issue 3 May 2017
  Special Issue: Selected Papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) – Part 3
- Issue 2 March 2017
  Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) – Part 2
- Issue 1 February 2017
  Special Issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)
Volume 53 February - October 2016Feb - Oct 2016
- Issue 6-8 October 2016
  Special Issue: Selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)
- Issue 5 August 2016
- Issue 4 June 2016
  Special Issue: Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
- Issue 3 April 2016
  Special Issue: Temporal Representation and Reasoning (TIME’13) - Part 2
- Issue 2 March 2016
  Special Issue: Temporal representation and reasoning (TIME’13) – Part 1
- Issue 1 February 2016
Volume 52 February - November 2015Feb - Nov 2015
- Issue 7-8 November 2015
- Issue 6 September 2015
- Issue 4-5 June 2015
  Special Issue: Combining Compositionality and Concurrency: Part 2
- Issue 2-3 April 2015
  Special Issue: Comprehending Asynchrony in Specification and Analysis
- Issue 1 February 2015
  Special issue: Combining Compositionality and Concurrency: Part 1
Volume 51 February - November 2014Feb - Nov 2014
- Issue 8 November 2014
- Issue 7 October 2014
- Issue 6 September 2014
- Issue 5 August 2014
- Issue 3-4 June 2014
  Special Issue: Synthesis
- Issue 2 March 2014
- Issue 1 February 2014
Volume 50 February - December 2013Feb - Dec 2013
- Issue 7-8 December 2013
- Issue 5-6 September 2013
- Issue 4 June 2013
- Issue 3 May 2013
- Issue 2 March 2013
- Issue 1 February 2013
Volume 49 February - November 2012Feb - Nov 2012
- Issue 7-8 November 2012
- Issue 6 September 2012
- Issue 5 August 2012
- Issue 4 June 2012
- Issue 3 May 2012
- Issue 2 March 2012
- Issue 1 February 2012
Volume 48 February - December 2011Feb - Dec 2011
- Issue 7-8 December 2011
- Issue 5-6 August 2011
- Issue 4 July 2011
- Issue 3 May 2011
- Issue 2 April 2011
- Issue 1 February 2011
Volume 47 February - December 2010Feb - Dec 2010
- Issue 7-8 December 2010
- Issue 5-6 September 2010
- Issue 4 June 2010
- Issue 3 May 2010
- Issue 2 March 2010
- Issue 1 February 2010
Volume 46 February - December 2009Feb - Dec 2009
- Issue 8 December 2009
- Issue 7 November 2009
- Issue 6 October 2009
- Issue 5 August 2009
- Issue 4 July 2009
- Issue 3 May 2009
- Issue 2 April 2009
- Issue 1 February 2009
Volume 45 February - December 2008Feb - Dec 2008
- Issue 7-8 December 2008
- Issue 6 August 2008
- Issue 5 July 2008
- Issue 4 June 2008
- Issue 3 May 2008
- Issue 2 April 2008
- Issue 1 February 2008
Volume 44 April - December 2007Apr - Dec 2007
- Issue 7-8 December 2007
- Issue 6 October 2007
- Issue 5 September 2007
- Issue 3-4 July 2007
- Issue 2 May 2007
- Issue 1 April 2007
Volume 43 June 2006 - March 2007Jun 2006 - Mar 2007
- Issue 8 March 2007
- Issue 7 February 2007
  Hybrid Systems
- Issue 6 January 2007
- Issue 5 December 2006
- Issue 4 November 2006
- Issue 3 October 2006
- Issue 2 August 2006
- Issue 1 June 2006
Volume 42 October 2005 - April 2006Oct 2005 - Apr 2006
- Issue 8-9 April 2006
- Issue 6-7 March 2006
- Issue 4-5 December 2005
  Special issue: Types in concurrency. Part II , Guest Editor: R. De Nicola, D. Sangiorgi
- Issue 2-3 November 2005
  Special Issue: Types in concurrency. Part I , Guest Editor: R. De Nicola, D. Sangiorgi
- Issue 1 October 2005
Volume 41 November 2004 - October 2005Nov 2004 - Oct 2005
- Issue 9 October 2005
- Issue 7-8 June 2005
- Issue 6 May 2005
- Issue 4-5 March 2005
- Issue 2-3 December 2004
- Issue 1 November 2004
Volume 40 September 2003 - September 2004Sept 2003 - Sept 2004
- Issue 9 September 2004
- Issue 8 July 2004
- Issue 6-7 May 2004
- Issue 5 March 2004
- Issue 4 February 2004
- Issue 3 November 2003
- Issue 2 October 2003
- Issue 1 September 2003
Volume 39 January - August 2003Jan - Aug 2003
- Issue 9 August 2003
- Issue 8 August 2003
- Issue 6-7 June 2003
- Issue 5 May 2003
- Issue 4 April 2003
- Issue 3 March 2003
- Issue 2 February 2003
- Issue 1 January 2003
Volume 38 September 2001 - November 2002Sept 2001 - Nov 2002
- Issue 11-12 November 2002
- Issue 11-12 November 2002
- Issue 10 September 2002
- Issue 9 August 2002
- Issue 8 July 2002
- Issue 7 June 2002
- Issue 6 April 2002
- Issue 5 March 2002
- Issue 4 January 2002
- Issue 3 December 2001
- Issue 2 November 2001
- Issue 1 September 2001
Volume 37 August 2000 - August 2001Aug 2000 - Aug 2001
- Issue 11-12 August 2001
- Issue 10 July 2001
- Issue 9 June 2001
- Issue 8 May 2001
- Issue 7 March 2001
- Issue 6 February 2001
- Issue 4-5 January 2001
- Issue 3 November 2000
- Issue 2 September 2000
- Issue 1 August 2000
Volume 36 January 1999 - July 2000Jan 1999 - Jul 2000
- Issue 12 July 2000
- Issue 11 May 2000
- Issue 9-10 April 2000
- Issue 8 March 2000
- Issue 7 January 2000
- Issue 6 October 1999
- Issue 5 September 1999
- Issue 4 July 1999
- Issue 3 March 1999
- Issue 2 February 1999
- Issue 1 January 1999
Volume 35 January - December 1998Jan - Dec 1998
- Issue 12 December 1998
- Issue 11 November 1998
- Issue 10 October 1998
- Issue 9 September 1998
- Issue 8 August 1998
- Issue 7 July 1998
- Issue 6 June 1998
- Issue 5 May 1998
- Issue 4 April 1998
- Issue 3 March 1998
- Issue 2 February 1998
- Issue 1 January 1998
Volume 34 January - November 1997Jan - Nov 1997
- Issue 12 November 1997
- Issue 11 November 1997
- Issue 10 September 1997
- Issue 9 September 1997
- Issue 8 August 1997
- Issue 7 July 1997
- Issue 6 June 1997
- Issue 5 May 1997
- Issue 4 April 1997
- Issue 3 March 1997
- Issue 2 February 1997
- Issue 1 January 1997
Volume 33 February - November 1996Feb - Nov 1996
- Issue 8 November 1996
- Issue 7 October 1996
- Issue 6 September 1996
- Issue 5 August 1996
- Issue 4 June 1996
- Issue 3 May 1996
- Issue 2 March 1996
- Issue 1 February 1996
Volume 32 January - August 1995Jan - Aug 1995
- Issue 8 August 1995
- Issue 7 July 1995
- Issue 6 June 1995
- Issue 5 May 1995
- Issue 4 April 1995
- Issue 3 March 1995
- Issue 2 March 1995
- Issue 1 January 1995
Volume 31 January - August 1994Jan - Aug 1994
- Issue 8 August 1994
- Issue 7 July 1994
- Issue 6 June 1994
- Issue 5 May 1994
- Issue 4 April 1994
- Issue 3 March 1994
- Issue 2 February 1994
- Issue 1 January 1994
Volume 30 January - August 1993Jan - Aug 1993
- Issue 8 August 1993
- Issue 7 July 1993
- Issue 6 June 1993
- Issue 5 May 1993
- Issue 4 April 1993
- Issue 3 March 1993
- Issue 2 February 1993
- Issue 1 January 1993
Volume 29 January - August 1992Jan - Aug 1992
- Issue 8 August 1992
- Issue 6-7 June 1992
- Issue 5 May 1992
- Issue 4 April 1992
- Issue 3 March 1992
- Issue 2 February 1992
- Issue 1 January 1992
Volume 28 February 1990 - August 1991Feb 1990 - Aug 1991
- Issue 8 August 1991
- Issue 7 July 1991
- Issue 6 June 1991
- Issue 5 May 1991
- Issue 4 April 1991
- Issue 3 March 1991
- Issue 1 November 1990
- Issue 2 February 1990
Volume 27 January 1989 - September 1990Jan 1989 - Sept 1990
- Issue 8 September 1990
- Issue 7 July 1990
- Issue 6 May 1990
- Issue 5 April 1990
- Issue 4 March 1990
- Issue 2 November 1989
- Issue 1 November 1989
- Issue 3 January 1989
Volume 26 October 1988 - October 1989Oct 1988 - Oct 1989
- Issue 8 October 1989
- Issue 7 September 1989
- Issue 6 July 1989
- Issue 5 March 1989
- Issue 4 February 1989
- Issue 3 November 1988
- Issue 1-2 October 1988
Volume 25 January - August 1988Jan - Aug 1988
- Issue 6 August 1988
- Issue 5 June 1988
- Issue 4 May 1988
- Issue 3 April 1988
- Issue 2 February 1988
- Issue 1 January 1988
Volume 24 February - November 1987Feb - Nov 1987
- Issue 6 November 1987
- Issue 5 September 1987
- Issue 4 August 1987
- Issue 3 June 1987
- Issue 2 April 1987
- Issue 1 February 1987
Volume 23 April - November 1986Apr - Nov 1986
- Issue 6 November 1986
- Issue 5 September 1986
- Issue 4 July 1986
- Issue 3 June 1986
- Issue 2 May 1986
- Issue 1 April 1986
Volume 22 April 1985 - March 1986Apr 1985 - Mar 1986
- Issue 6 March 1986
- Issue 5 December 1985
- Issue 4 October 1985
- Issue 3 August 1985
- Issue 2 June 1985
- Issue 1 April 1985
Volume 21 May 1984 - March 1985May 1984 - Mar 1985
- Issue 6 March 1985
- Issue 5 December 1984
- Issue 4 November 1984
- Issue 3 October 1984
- Issue 2 August 1984
- Issue 1 May 1984
Volume 20 September - December 1983Sept - Dec 1983
- Issue 4 December 1983
- Issue 2 November 1983
- Issue 1 October 1983
- Issue 3 September 1983
Volume 19 April - September 1983Apr - Sept 1983
- Issue 4 September 1983
- Issue 3 July 1983
- Issue 2 April 1983
- Issue 1 April 1983
Volume 18 March 1982 - January 1983Mar 1982 - Jan 1983
- Issue 4 January 1983
- Issue 3 December 1982
- Issue 2 November 1982
- Issue 1 March 1982
Volume 17 April - October 1982Apr - Oct 1982
- Issue 4 October 1982
- Issue 3 August 1982
- Issue 2 June 1982
- Issue 1 April 1982
Volume 16 August - December 1981Aug - Dec 1981
- Issue 4 December 1981
- Issue 3 November 1981
- Issue 2 October 1981
- Issue 1 August 1981
Volume 15 December 1980 - August 1981Dec 1980 - Aug 1981
- Issue 4 August 1981
- Issue 3 June 1981
- Issue 2 June 1981
- Issue 1 December 1980
Volume 14 June - October 1980Jun - Oct 1980
- Issue 4 October 1980
- Issue 3 September 1980
- Issue 2 August 1980
- Issue 1 June 1980
Volume 13 January - May 1980Jan - May 1980
- Issue 4 May 1980
- Issue 3 March 1980
- Issue 2 February 1980
- Issue 1 January 1980
Volume 12 June - November 1979Jun - Nov 1979
- Issue 4 November 1979
- Issue 3 October 1979
- Issue 2 June 1979
- Issue 1 June 1979
Volume 11 March 1978 - December 1979Mar 1978 - Dec 1979
- Issue 4 December 1979
- Issue 3 September 1979
- Issue 2 June 1979
- Issue 1 March 1978
Volume 10 March - December 1978Mar - Dec 1978
- Issue 4 December 1978
- Issue 3 September 1978
- Issue 2 June 1978
- Issue 1 March 1978
Volume 9 March 1977 - December 1978Mar 1977 - Dec 1978
- Issue 4 December 1978
- Issue 3 September 1978
- Issue 2 June 1978
- Issue 1 March 1977
Volume 8 March - October 1977Mar - Oct 1977
- Issue 4 October 1977
- Issue 3 September 1977
- Issue 2 June 1977
- Issue 1 March 1977
Volume 7 March 1976 - December 1977Mar 1976 - Dec 1977
- Issue 4 December 1977
- Issue 3 September 1977
- Issue 2 June 1976
- Issue 1 March 1976
Volume 6 March - December 1976Mar - Dec 1976
- Issue 4 December 1976
- Issue 3 September 1976
- Issue 2 June 1976
- Issue 1 March 1976
Volume 5 March - December 1975Mar - Dec 1975
- Issue 4 December 1975
- Issue 1-3 March 1975
Volume 4 March 1974 - December 1975Mar 1974 - Dec 1975
- Issue 4 December 1975
- Issue 3 September 1975
- Issue 2 June 1975
- Issue 1 March 1974
Volume 3 March 1973 - December 1974Mar 1973 - Dec 1974
- Issue 4 December 1974
- Issue 3 September 1974
- Issue 2 June 1974
- Issue 1 March 1973
Volume 2 March - December 1973Mar - Dec 1973
- Issue 4 December 1973
- Issue 3 September 1973
- Issue 2 June 1973
- Issue 1 March 1973
Volume 1 March 1971 - December 1972Mar 1971 - Dec 1972
- Issue 4 December 1972
- Issue 3 September 1972
- Issue 2 June 1971
- Issue 1 March 1971

Volumes and issues

Volume 60 March - December 2023Mar - Dec 2023

Volume 59 February - December 2022Feb - Dec 2022

Volume 58 April - December 2021Apr - Dec 2021

Volume 57 April - December 2020Apr - Dec 2020

Volume 56 February - November 2019Feb - Nov 2019

Volume 55 February - December 2018Feb - Dec 2018

Volume 54 February - December 2017Feb - Dec 2017

Volume 53 February - October 2016Feb - Oct 2016

Volume 52 February - November 2015Feb - Nov 2015

Volume 51 February - November 2014Feb - Nov 2014

Volume 50 February - December 2013Feb - Dec 2013

Volume 49 February - November 2012Feb - Nov 2012

Volume 48 February - December 2011Feb - Dec 2011

Volume 47 February - December 2010Feb - Dec 2010

Volume 46 February - December 2009Feb - Dec 2009

Volume 45 February - December 2008Feb - Dec 2008

Volume 44 April - December 2007Apr - Dec 2007

Volume 43 June 2006 - March 2007Jun 2006 - Mar 2007

Volume 42 October 2005 - April 2006Oct 2005 - Apr 2006

Volume 41 November 2004 - October 2005Nov 2004 - Oct 2005

Volume 40 September 2003 - September 2004Sept 2003 - Sept 2004

Volume 39 January - August 2003Jan - Aug 2003

Volume 38 September 2001 - November 2002Sept 2001 - Nov 2002

Volume 37 August 2000 - August 2001Aug 2000 - Aug 2001

Volume 36 January 1999 - July 2000Jan 1999 - Jul 2000

Volume 35 January - December 1998Jan - Dec 1998

Volume 34 January - November 1997Jan - Nov 1997

Volume 33 February - November 1996Feb - Nov 1996

Volume 32 January - August 1995Jan - Aug 1995

Volume 31 January - August 1994Jan - Aug 1994

Volume 30 January - August 1993Jan - Aug 1993

Volume 29 January - August 1992Jan - Aug 1992

Volume 28 February 1990 - August 1991Feb 1990 - Aug 1991

Volume 27 January 1989 - September 1990Jan 1989 - Sept 1990

Volume 26 October 1988 - October 1989Oct 1988 - Oct 1989

Volume 25 January - August 1988Jan - Aug 1988

Volume 24 February - November 1987Feb - Nov 1987

Volume 23 April - November 1986Apr - Nov 1986

Volume 22 April 1985 - March 1986Apr 1985 - Mar 1986

Volume 21 May 1984 - March 1985May 1984 - Mar 1985

Volume 20 September - December 1983Sept - Dec 1983

Volume 19 April - September 1983Apr - Sept 1983

Volume 18 March 1982 - January 1983Mar 1982 - Jan 1983

Volume 17 April - October 1982Apr - Oct 1982

Volume 16 August - December 1981Aug - Dec 1981

Volume 15 December 1980 - August 1981Dec 1980 - Aug 1981

Volume 14 June - October 1980Jun - Oct 1980

Volume 13 January - May 1980Jan - May 1980

Volume 12 June - November 1979Jun - Nov 1979

Volume 11 March 1978 - December 1979Mar 1978 - Dec 1979

Volume 10 March - December 1978Mar - Dec 1978

Volume 9 March 1977 - December 1978Mar 1977 - Dec 1978

Volume 8 March - October 1977Mar - Oct 1977

Volume 7 March 1976 - December 1977Mar 1976 - Dec 1977

Volume 6 March - December 1976Mar - Dec 1976

Volume 5 March - December 1975Mar - Dec 1975

Volume 4 March 1974 - December 1975Mar 1974 - Dec 1975

Volume 3 March 1973 - December 1974Mar 1973 - Dec 1974

Volume 2 March - December 1973Mar - Dec 1973

Volume 1 March 1971 - December 1972Mar 1971 - Dec 1972

search

Navigation