default search action

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

Authors:

• no matches

• 

Institutions:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

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

• 
  Taylor J. Smith:
  Implementation and Application of Automata - 30th International Conference, CIAA 2026, Kingston, ON, Canada, August 5-8, 2026, Proceedings. Lecture Notes in Computer Science 16695, Springer 2026, ISBN 978-3-032-31176-4 [contents]

• 
  Giuseppa Castiglione, Sabrina Mantaci:
  Implementation and Application of Automata - 29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, Proceedings. Lecture Notes in Computer Science 15981, Springer 2026, ISBN 978-3-032-02601-9 [contents]

• 
  Szilárd Zsolt Fazekas:
  Implementation and Application of Automata - 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings. Lecture Notes in Computer Science 15015, Springer 2024, ISBN 978-3-031-71111-4 [contents]

• 
  Benedek Nagy:
  Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings. Lecture Notes in Computer Science 14151, Springer 2023, ISBN 978-3-031-40246-3 [contents]

• 
  Pascal Caron, Ludovic Mignot:
  Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings. Lecture Notes in Computer Science 13266, Springer 2022, ISBN 978-3-031-07468-4 [contents]

• 
  Sebastian Maneth:
  Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings. Lecture Notes in Computer Science 12803, Springer 2021, ISBN 978-3-030-79120-9 [contents]

• 
  Michal Hospodár, Galina Jirásková:
  Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings. Lecture Notes in Computer Science 11601, Springer 2019, ISBN 978-3-030-23678-6 [contents]

• 
  Cezar Câmpeanu:
  Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings. Lecture Notes in Computer Science 10977, Springer 2018, ISBN 978-3-319-94811-9 [contents]

• 
  Arnaud Carayol, Cyril Nicaud:
  Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings. Lecture Notes in Computer Science 10329, Springer 2017, ISBN 978-3-319-60133-5 [contents]

• 
  Yo-Sub Han, Kai Salomaa:
  Implementation and Application of Automata - 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Lecture Notes in Computer Science 9705, Springer 2016, ISBN 978-3-319-40945-0 [contents]

• 
  Frank Drewes:
  Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings. Lecture Notes in Computer Science 9223, Springer 2015, ISBN 978-3-319-22359-9 [contents]

• 
  Markus Holzer, Martin Kutrib:
  Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings. Lecture Notes in Computer Science 8587, Springer 2014, ISBN 978-3-319-08845-7 [contents]

• 
  Stavros Konstantinidis:
  Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Lecture Notes in Computer Science 7982, Springer 2013, ISBN 978-3-642-39273-3 [contents]

• 
  Nelma Moreira, Rogério Reis:
  Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7381, Springer 2012, ISBN 978-3-642-31605-0 [contents]

• 
  Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel:
  Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings. Lecture Notes in Computer Science 6807, Springer 2011, ISBN 978-3-642-22255-9 [contents]

• 
  Michael Domaratzki, Kai Salomaa:
  Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6482, Springer 2011, ISBN 978-3-642-18097-2 [contents]

• 
  Sebastian Maneth:
  Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5642, Springer 2009, ISBN 978-3-642-02978-3 [contents]

• 
  Oscar H. Ibarra, Bala Ravikumar:
  Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings. Lecture Notes in Computer Science 5148, Springer 2008, ISBN 978-3-540-70843-8 [contents]

• 
  Jan Holub, Jan Zdárek:
  Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4783, Springer 2007, ISBN 978-3-540-76335-2 [contents]

• 
  Oscar H. Ibarra, Hsu-Chun Yen:
  Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. Lecture Notes in Computer Science 4094, Springer 2006, ISBN 3-540-37213-X [contents]

• 
  Jacques Farré, Igor Litovsky, Sylvain Schmitz:
  Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3845, Springer 2006, ISBN 3-540-31023-1 [contents]

• 
  Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu:
  Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3317, Springer 2004, ISBN 3-540-24318-6 [contents]

• 
  Oscar H. Ibarra, Zhe Dang:
  Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2759, Springer 2003, ISBN 3-540-40561-5 [contents]

• 
  Jean-Marc Champarnaud, Denis Maurel:
  Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers. Lecture Notes in Computer Science 2608, Springer 2003, ISBN 3-540-40391-4 [contents]

CIAA 2001 Home Page

• 
  Bruce W. Watson, Derick Wood:
  Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers. Lecture Notes in Computer Science 2494, Springer 2002, ISBN 3-540-00400-9 [contents]

• 
  Sheng Yu, Andrei Paun:
  Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Lecture Notes in Computer Science 2088, Springer 2001, ISBN 3-540-42491-1 [contents]

• 
  Oliver Boldt, Helmut Jürgensen:
  Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers. Lecture Notes in Computer Science 2214, Springer 2001, ISBN 3-540-42812-7 [contents]

• 
  Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi:
  Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers. Lecture Notes in Computer Science 1660, Springer 1999, ISBN 3-540-66652-4 [contents]

• 
  Derick Wood, Sheng Yu:
  Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers. Lecture Notes in Computer Science 1436, Springer 1998, ISBN 3-540-64694-9 [contents]

• 
  Darrell R. Raymond, Derick Wood, Sheng Yu:
  Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers. Lecture Notes in Computer Science 1260, Springer 1997, ISBN 3-540-63174-7 [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 2026-10-15 01:33 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, funded, and maintained by:

 

Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.