default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  65th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2024, Chicago, IL, USA, October 27-30, 2024. IEEE 2024, ISBN 979-8-3315-1674-1 [contents]

• 
  64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023. IEEE 2023, ISBN 979-8-3503-1894-4 [contents]

• 
  63rd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2022, Denver, CO, USA, October 31 - November 3, 2022. IEEE 2022, ISBN 978-1-6654-5519-0 [contents]

• 
  62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022. IEEE 2022, ISBN 978-1-6654-2055-6 [contents]

• 
  Sandy Irani:
  61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020. IEEE 2020, ISBN 978-1-7281-9621-3 [contents]

• 
  David Zuckerman:
  60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019. IEEE Computer Society 2019, ISBN 978-1-7281-4952-3 [contents]

• 
  Mikkel Thorup:
  59th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2018, Paris, France, October 7-9, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-4230-6 [contents]

• 
  Chris Umans:
  58th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2017, Berkeley, CA, USA, October 15-17, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-3464-6 [contents]

• 
  Irit Dinur:
  IEEE 57th Annual Symposium on Foundations of Computer Science, FOCS 2016, Hyatt Regency, New Brunswick, New Jersey, USA, October 9-11, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-3933-3 [contents]

• 
  Venkatesan Guruswami:
  IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-8191-8 [contents]

• 
  55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, October 18-21, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-6517-5 [contents]

• 
  54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, Berkeley, CA, USA, October, 26-29, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5135-7 [contents]

• 
  53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, New Brunswick, NJ, USA, October 20-23, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-4383-1 [contents]

• 
  Rafail Ostrovsky:
  IEEE 52nd Annual Symposium on Foundations of Computer Science, FOCS 2011, Palm Springs, CA, USA, October 22-25, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1843-4 [contents]

FOCS 2010 Home Page

• 
  51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, Las Vegas, Nevada, USA, October 23-26, 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4244-7 [contents]

FOCS 2009 Home Page

• 
  50th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2009, Atlanta, Georgia, USA, October 25-27, 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3850-1 [contents]

focs2008.org

• 
  49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, Philadelphia, PA, USA, October 25-28, 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3436-7 [contents]

• 
  48th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2007, Providence, RI, USA, October 20-23, 2007, Proceedings. IEEE Computer Society 2007, ISBN 978-0-7695-3010-9 [contents]

• 
  47th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2006, Berkeley, California, USA, October 21-24, 2006, Proceedings. IEEE Computer Society 2006, ISBN 0-7695-2720-5 [contents]

FOCS 2005 Home Page

• 
  46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005, Pittsburgh, PA, USA, October 23-25, 2005, Proceedings. IEEE Computer Society 2005, ISBN 0-7695-2468-0 [contents]

• 
  45th Symposium on Foundations of Computer Science, FOCS 2004, Rome, Italy, October 17-19, 2004, Proceedings. IEEE Computer Society 2004, ISBN 0-7695-2228-9 [contents]

• 
  44th Symposium on Foundations of Computer Science, FOCS 2003, Cambridge, MA, USA, October 11-14, 2003, Proceedings. IEEE Computer Society 2003, ISBN 0-7695-2040-5 [contents]

• 
  43rd Symposium on Foundations of Computer Science, FOCS 2002, Vancouver, BC, Canada, November 16-19, 2002, Proceedings. IEEE Computer Society 2002, ISBN 0-7695-1822-2 [contents]

FOCS 2001 Home Page

• 
  42nd Annual Symposium on Foundations of Computer Science, FOCS 2001, Las Vegas, Nevada, USA, October 14-17, 2001. IEEE Computer Society 2001, ISBN 0-7695-1390-5 [contents]

FOCS 2000 Home Page

• 
  41st Annual Symposium on Foundations of Computer Science, FOCS 2000, Redondo Beach, California, USA, November 12-14, 2000. IEEE Computer Society 2000, ISBN 0-7695-0850-2 [contents]

• 
  40th Annual Symposium on Foundations of Computer Science, FOCS 1999, New York, NY, USA, October 17-18, 1999. IEEE Computer Society 1999, ISBN 0-7695-0409-4 [contents]

• 
  39th Annual Symposium on Foundations of Computer Science, FOCS 1998, Palo Alto, California, USA, November 8-11, 1998. IEEE Computer Society 1998, ISBN 0-8186-9172-7 [contents]

• 
  38th Annual Symposium on Foundations of Computer Science, FOCS 1997, Miami Beach, Florida, USA, October 19-22, 1997. IEEE Computer Society 1997, ISBN 0-8186-8197-7 [contents]

• 
  37th Annual Symposium on Foundations of Computer Science, FOCS 1996, Burlington, Vermont, USA, 14-16 October, 1996. IEEE Computer Society 1996, ISBN 0-8186-7594-2 [contents]

• 
  36th Annual Symposium on Foundations of Computer Science, FOCS 1995, Milwaukee, Wisconsin, USA, 23-25 October 1995. IEEE Computer Society 1995, ISBN 0-8186-7183-1 [contents]

• 
  35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, November 20-22, 1994. IEEE Computer Society 1994, ISBN 0-8186-6580-7 [contents]

• 
  34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, November 3-5, 1993. IEEE Computer Society 1993, ISBN 0-8186-4370-6 [contents]

• 
  33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, October 24-27, 1992. IEEE Computer Society 1992, ISBN 0-8186-2900-2 [contents]

• 
  32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1-4, 1991. IEEE Computer Society 1991, ISBN 0-8186-2445-0 [contents]

• 
  31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume I. IEEE Computer Society 1990, ISBN 0-8186-2082-X [contents]
• 
  31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume II. IEEE Computer Society 1990 [contents]

• 
  30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989. IEEE Computer Society 1989, ISBN 0-8186-1982-1 [contents]

• 
  29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988. IEEE Computer Society 1988, ISBN 0-8186-0877-3 [contents]

• 
  28th Annual Symposium on Foundations of Computer Science, Los Angeles, California, USA, 27-29 October 1987. IEEE Computer Society 1987, ISBN 0-8186-0807-2 [contents]

• 
  27th Annual Symposium on Foundations of Computer Science, Toronto, Canada, 27-29 October 1986. IEEE Computer Society 1986, ISBN 0-8186-0740-8 [contents]

• 
  26th Annual Symposium on Foundations of Computer Science, Portland, Oregon, USA, 21-23 October 1985. IEEE Computer Society 1985, ISBN 0-8186-0644-4 [contents]

• 
  25th Annual Symposium on Foundations of Computer Science, West Palm Beach, Florida, USA, 24-26 October 1984. IEEE Computer Society 1984, ISBN 0-8186-0591-X [contents]

• 
  24th Annual Symposium on Foundations of Computer Science, Tucson, Arizona, USA, 7-9 November 1983. IEEE Computer Society 1983, ISBN 0-8186-0508-1 [contents]

• 
  23rd Annual Symposium on Foundations of Computer Science, Chicago, Illinois, USA, 3-5 November 1982. IEEE Computer Society 1982 [contents]

• 
  22nd Annual Symposium on Foundations of Computer Science, Nashville, Tennessee, USA, 28-30 October 1981. IEEE Computer Society 1981 [contents]

• 
  21st Annual Symposium on Foundations of Computer Science, Syracuse, New York, USA, 13-15 October 1980. IEEE Computer Society 1980 [contents]

• 
  20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 29-31 October 1979. IEEE Computer Society 1979 [contents]

• 
  19th Annual Symposium on Foundations of Computer Science, Ann Arbor, Michigan, USA, 16-18 October 1978. IEEE Computer Society 1978 [contents]

• 
  18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977. IEEE Computer Society 1977 [contents]

• 
  17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 25-27 October 1976. IEEE Computer Society 1976 [contents]

• 
  16th Annual Symposium on Foundations of Computer Science, Berkeley, California, USA, October 13-15, 1975. IEEE Computer Society 1975 [contents]

• 
  15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974. IEEE Computer Society 1974 [contents]

• 
  14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973. IEEE Computer Society 1973 [contents]

• 
  13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972. IEEE Computer Society 1972 [contents]

• 
  12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971. IEEE Computer Society 1971 [contents]

• 
  11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970. IEEE Computer Society 1970 [contents]

• 
  10th Annual Symposium on Switching and Automata Theory, Waterloo, Ontario, Canada, October 15-17, 1969. IEEE Computer Society 1969 [contents]

• 
  9th Annual Symposium on Switching and Automata Theory, Schenectady, New York, USA, October 15-18, 1968. IEEE Computer Society 1968 [contents]

• 
  8th Annual Symposium on Switching and Automata Theory, Austin, Texas, USA, October 18-20, 1967. IEEE Computer Society 1967 [contents]

• 
  7th Annual Symposium on Switching and Automata Theory, Berkeley, California, USA, October 23-25, 1966. IEEE Computer Society 1966 [contents]

• 
  6th Annual Symposium on Switching Circuit Theory and Logical Design, Ann Arbor, Michigan, USA, October 6-8, 1965. IEEE Computer Society 1965 [contents]

• 
  5th Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, USA, November 11-13, 1964. IEEE Computer Society 1964 [contents]

• 
  4th Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, Illinois, USA, October 28-30, 1963. IEEE Computer Society 1963 [contents]

• 
  3rd Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, Illinois, USA, October 7-12, 1962. IEEE Computer Society 1962 [contents]

• 
  2nd Annual Symposium on Switching Circuit Theory and Logical Design, Detroit, Michigan, USA, October 17-20, 1961. IEEE Computer Society 1961 [contents]

• 
  1st Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, Illinois, USA, October 9-14, 1960. IEEE Computer Society 1960 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-11-07 00:42 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: