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

• 
  Rupak Majumdar, Alexandra Silva:
  35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada. LIPIcs 311, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-339-3 [contents]

• 
  Guillermo A. Pérez, Jean-François Raskin:
  34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium. LIPIcs 279, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-299-0 [contents]

• 
  Bartek Klin, Slawomir Lasota, Anca Muscholl:
  33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. LIPIcs 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-246-4 [contents]

• 
  Serge Haddad, Daniele Varacca:
  32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. LIPIcs 203, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-203-7 [contents]

• 
  Igor Konnov, Laura Kovács:
  31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). LIPIcs 171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-160-3 [contents]

• 
  Wan J. Fokkink, Rob van Glabbeek:
  30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. LIPIcs 140, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-121-4 [contents]

• 
  Sven Schewe, Lijun Zhang:
  29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China. LIPIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-087-3 [contents]

• 
  Roland Meyer, Uwe Nestmann:
  28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. LIPIcs 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-048-4 [contents]

• 
  Josée Desharnais, Radha Jagadeesan:
  27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. LIPIcs 59, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-017-0 [contents]

• 
  Luca Aceto, David de Frutos-Escrig:
  26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. LIPIcs 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-91-0 [contents]

• 
  Paolo Baldan, Daniele Gorla:
  CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Lecture Notes in Computer Science 8704, Springer 2014, ISBN 978-3-662-44583-9 [contents]

• 
  Pedro R. D'Argenio, Hernán C. Melgratti:
  CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8052, Springer 2013, ISBN 978-3-642-40183-1 [contents]

• 
  Maciej Koutny, Irek Ulidowski:
  CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7454, Springer 2012, ISBN 978-3-642-32939-5 [contents]

• 
  Joost-Pieter Katoen, Barbara König:
  CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings. Lecture Notes in Computer Science 6901, Springer 2011, ISBN 978-3-642-23216-9 [contents]

• 
  Paul Gastin, François Laroussinie:
  CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Lecture Notes in Computer Science 6269, Springer 2010, ISBN 978-3-642-15374-7 [contents]

• 
  Mario Bravetti, Gianluigi Zavattaro:
  CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5710, Springer 2009, ISBN 978-3-642-04080-1 [contents]

• 
  Franck van Breugel, Marsha Chechik:
  CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Lecture Notes in Computer Science 5201, Springer 2008, ISBN 978-3-540-85360-2 [contents]
• 
  Thomas T. Hildebrandt, Daniele Gorla:
  Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(1), Elsevier 2009 [contents]
• 
  Jens Chr. Godskesen, Massimo Merro:
  Proceedings of the First Workshop on Formal Methods for Wireless Systems, FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(2), Elsevier 2009 [contents]
• 
  Steve Kremer, Prakash Panangaden:
  Proceedings of the 6th Workshop on Security Issues in Concurrency, SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(3), Elsevier 2009 [contents]

CONCUR 2007 Home Page

• 
  Luís Caires, Vasco Thudichum Vasconcelos:
  CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703, Springer 2007, ISBN 978-3-540-74406-1 [contents]
• 
  Daniele Gorla, Catuscia Palamidessi:
  Proceedings of the Fifth Workshop on Security Issues in Concurrency, SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(1), Elsevier 2007 [contents]
• 
  Roberto M. Amadio, Thomas T. Hildebrandt:
  Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(2), Elsevier 2008 [contents]
• 
  Nicola Cannata, Emanuela Merelli:
  Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(3), Elsevier 2008 [contents]
• 
  Carlos Canal, Pascal Poizat, Mirko Viroli:
  Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(4), Elsevier 2008 [contents]
• 
  Barbara König, Arend Rensink, Reiko Heckel:
  Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 213(1), Elsevier 2008 [contents]

• 
  Christel Baier, Holger Hermanns:
  CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Lecture Notes in Computer Science 4137, Springer 2006, ISBN 3-540-37376-4 [contents]
• 
  Rob van Glabbeek, Peter D. Mosses:
  Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(1), Elsevier 2007 [contents]
• 
  Carlos Canal, Mirko Viroli:
  Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(2), Elsevier 2007 [contents]
• 
  Roberto M. Amadio, Iain Phillips:
  Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(3), Elsevier 2007 [contents]
• 
  Arend Rensink, Reiko Heckel, Barbara König:
  Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(4), Elsevier 2007 [contents]

• 
  Martín Abadi, Luca de Alfaro:
  CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Lecture Notes in Computer Science 3653, Springer 2005, ISBN 3-540-28309-9 [contents]
• 
  Carlos Canal, Mirko Viroli:
  Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(1), Elsevier 2006 [contents]
• 
  Arend Rensink, Reiko Heckel, Barbara König:
  Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005. Electronic Notes in Theoretical Computer Science 154(2), Elsevier 2006 [contents]
• 
  Jos C. M. Baeten, Iain C. C. Phillips:
  Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(3), Elsevier 2006 [contents]
• 
  Michael Backes, Andre Scedrov:
  Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005. Electronic Notes in Theoretical Computer Science 180(1), Elsevier 2007 [contents]
• 
  Éric Goubault:
  Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006. Electronic Notes in Theoretical Computer Science 230, Elsevier 2009 [contents]

• 
  Philippa Gardner, Nobuko Yoshida:
  CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. Lecture Notes in Computer Science 3170, Springer 2004, ISBN 3-540-22940-X [contents]
• 
  Luca Aceto, Wan J. Fokkink, Irek Ulidowski:
  Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(1), Elsevier 2005 [contents]
• 
  Jos C. M. Baeten, Flavio Corradini:
  Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(2), Elsevier 2005 [contents]
• 
  Lubos Brim, Martin Leucker:
  Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(3), Elsevier 2005 [contents]
• 
  Jeremy T. Bradley, William J. Knottenbelt:
  Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(4), Elsevier 2005 [contents]
• 
  Riccardo Focardi, Gianluigi Zavattaro:
  Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(5), Elsevier 2005 [contents]
• 
  Michael Huth:
  Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(6), Elsevier 2005 [contents]
• 
  Julian Rathke:
  Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, FGUC 2004, London, UK, September 3-4, 2004. Electronic Notes in Theoretical Computer Science 138(1), Elsevier 2005 [contents]
• 
  Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
  Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 138(2), Elsevier 2005 [contents]
• 
  Julian C. Bradfield, Faron Moller:
  Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 138(3), Elsevier 2005 [contents]

• 
  Roberto M. Amadio, Denis Lugiez:
  CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2761, Springer 2003, ISBN 3-540-40753-7 [contents]
• 
  Vincent Danos, Cosimo Laneve:
  Proceedings of the First Workshop on Concurrent Models in Molecular Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 180(3), Elsevier 2007 [contents]

CONCUR 2002 Home Page

• 
  Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera:
  CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2421, Springer 2002, ISBN 3-540-44043-7 [contents]
• 
  Alexander Kurz:
  Categorical Methods for Concurrency, Interaction, and Mobility 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(1), Elsevier 2002 [contents]
• 
  Uwe Nestmann, Prakash Panangaden:
  9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(2), Elsevier 2002 [contents]
• 
  Antonio Brogi, Jean-Marie Jacquet:
  Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(3), Elsevier 2003 [contents]
• 
  Lubos Brim, Orna Grumberg:
  Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(4), Elsevier 2002 [contents]
• 
  Walter Vogler, Kim Larsen:
  Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(5), Elsevier 2003 [contents]
• 
  Antonín Kucera, Richard Mayr:
  4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(6), Elsevier 2003 [contents]

• 
  Kim Guldstrand Larsen, Mogens Nielsen:
  CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Lecture Notes in Computer Science 2154, Springer 2001, ISBN 3-540-42497-0 [contents]
• 
  Luca Aceto, Prakash Panangaden:
  8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001. Electronic Notes in Theoretical Computer Science 52(1), Elsevier 2002 [contents]
• 
  Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
  3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(2), Elsevier 2002 [contents]
• 
  Flavio Corradini, Walter Vogler:
  Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(3), Elsevier 2002 [contents]

• 
  Catuscia Palamidessi:
  CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Lecture Notes in Computer Science 1877, Springer 2000, ISBN 3-540-67897-2 [contents]
• 
  Luca Aceto, Björn Victor:
  7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(1), Elsevier 2003 [contents]
• 
  Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
  2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(2), Elsevier 2000 [contents]
• 
  Flavio Corradini, Paola Inverardi:
  Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000. Electronic Notes in Theoretical Computer Science 39(3), Elsevier 2000 [contents]

• 
  Jos C. M. Baeten, Sjouke Mauw:
  CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Lecture Notes in Computer Science 1664, Springer 1999, ISBN 3-540-66425-4 [contents]

• 
  Davide Sangiorgi, Robert de Simone:
  CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings. Lecture Notes in Computer Science 1466, Springer 1998, ISBN 3-540-64896-8 [contents]
• 
  Frank S. de Boer, Maurizio Gabbrielli:
  Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, COTIC 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(1), Elsevier 1998 [contents]
• 
  Ilaria Castellani, Catuscia Palamidessi:
  Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(2), Elsevier 1998 [contents]
• 
  Uwe Nestmann, Benjamin C. Pierce:
  3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998. Electronic Notes in Theoretical Computer Science 16(3), Elsevier 1998 [contents]

• 
  Antoni W. Mazurkiewicz, Józef Winkowski:
  CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. Lecture Notes in Computer Science 1243, Springer 1997, ISBN 3-540-63141-0 [contents]

• 
  Ugo Montanari, Vladimiro Sassone:
  CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. Lecture Notes in Computer Science 1119, Springer 1996, ISBN 3-540-61604-7 [contents]

• 
  Insup Lee, Scott A. Smolka:
  CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings. Lecture Notes in Computer Science 962, Springer 1995, ISBN 3-540-60218-6 [contents]

• 
  Bengt Jonsson, Joachim Parrow:
  CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science 836, Springer 1994, ISBN 3-540-58329-7 [contents]

• 
  Eike Best:
  CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Lecture Notes in Computer Science 715, Springer 1993, ISBN 3-540-57208-2 [contents]

• 
  Rance Cleaveland:
  CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Lecture Notes in Computer Science 630, Springer 1992, ISBN 3-540-55822-5 [contents]

• 
  Jos C. M. Baeten, Jan Friso Groote:
  CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Lecture Notes in Computer Science 527, Springer 1991, ISBN 3-540-54430-5 [contents]

• 
  Jos C. M. Baeten, Jan Willem Klop:
  CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings. Lecture Notes in Computer Science 458, Springer 1990, ISBN 3-540-53048-7 [contents]

• 
  Akinori Yonezawa, Takayasu Ito:
  Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings. Lecture Notes in Computer Science 491, Springer 1991, ISBN 3-540-53932-8 [contents]

• 
  Friedrich H. Vogt:
  Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Lecture Notes in Computer Science 335, Springer 1988, ISBN 3-540-50403-6 [contents]

• 
  Stephen D. Brookes, A. W. Roscoe, Glynn Winskel:
  Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Lecture Notes in Computer Science 197, Springer 1985, ISBN 3-540-15670-4 [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-05-24 01:05 CEST 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: