Very relevant titles

2023

Descriptional complexity of formal systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

DCFS (Workshop) (25th : 2023 : Potsdam, Germany)

Cham : Springer, [2023]

 

2023

Rigorous state-based methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

ABZ (Conference) (9th : 2023 : Nancy, France)

Cham : Springer, 2023

 

2023

Implementation and application of automata : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

CIAA (Conference) (27th : 2023 : Famagusta, Cyprus)

Cham : Springer, 2023

 

2022

Descriptional complexity of formal systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings

DCFS (Workshop) (24th : 2022 : Debrecen, Hungary)

Cham, Switzerland : Springer, 2022

 

2022

Implementation and application of automata : 26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022, Proceedings

CIAA (Conference) (26th : 2022 : Rouen, France)

Cham, Switzerland : Springer, 2022

 

2021

Descriptional complexity of formal systems : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual event, September 5, 2021, Proceedings

DCFS (Workshop) (23rd : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Language and automata theory and applications : 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, proceedings

LATA (Conference) (15th : 2021 : Milan, Italy)

Cham, Switzerland : Springer, [2021]

 

2021

Implementation and application of automata : 25th international conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings

CIAA (Conference) (25th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings

ABZ (Conference) (8th : 2021 : Online)

Cham : Springer, [2021]

 

2020

Descriptional complexity of formal systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings

DCFS (Workshop) (22nd : 2020)

Cham, Switzerland : Springer, [2020]

 

2020

Language and automata theory and applications 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, proceedings

LATA (Conference) (14th : 2020 : Milan, Italy)

Cham, Switzerland : Springer, [2020]

 

2020

Rigorous state-based methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

ABZ (Conference) (7th : 2020 : Ulm, Germany)
1st ed. 2020
Cham : Springer International Publishing : Imprint: Springer, 2020

 

2019

Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

LATA (Conference) (13th : 2019 : Saint Petersburg, Russia)

Cham, Switzerland : Springer, 2019

 

2018

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

ABZ (Conference) (6th : 2018 : Southampton, England)

Cham, Switzerland : Springer, 2018

 

2018

Language and automata theory and applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

LATA (Conference) (12th : 2018 : Ramat Gan, Israel)

Cham, Switzerland : Springer, [2018]

 

2018

Implementation and application of automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30-August 2, 2018, Proceedings

CIAA (Conference) (23rd : 2018 : Charlottetown, P.E.I.)

Cham, Switzerland : Springer, 2018

 

2017

Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

LATA (Conference) (11th : 2017 : Umeå, Sweden)

Cham : Springer, 2017

 

2017

Implementation and application of automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

CIAA (Conference) (22nd : 2017 : Marne-la-Vallée, France)

Cham, Switzerland : Springer, 2017

 

2017

Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

International Conference on the Quantitative Evaluation of Systems (14th : 2017 : Berlin, Germany)

Cham, Switzerland : Springer, 2017

 

2016

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

ABZ (Conference) (5th : 2016 : Linz, Austria)

Switzerland : Springer, 2016

 

2016

Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

LATA (Conference) (10th : 2016 : Prague, Czech Republic)

Cham : Springer, 2016

 

2016

Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

International Conference on the Quantitative Evaluation of Systems (13th : 2016 : Québec, Québec)

Switzerland : Springer, 2016

 

2015

Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings.

International Colloquium on Automata, Languages and Programming (42nd : 2015 : Kyoto, Japan)

Heidelberg : Springer, 2015

 

2015

Language and automata theory and applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

LATA (Conference) (9th : 2015 : Nice, France)

Cham : Springer, 2015

 

2015

Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings

CIAA (Conference) (20th : 2015 : Umeå, Sweden)

Cham : Springer, [2015]

 

2015

Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

International Conference on the Quantitative Evaluation of Systems (12th : 2015 : Madrid, Spain)

Cham : Springer, 2015

 

2015

Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings.

International Colloquium on Automata, Languages and Programming (42nd : 2015 : Kyoto, Japan)

Heidelberg : Springer, 2015

 

2014

ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

ABZ (Conference) (4th : 2014 : Toulouse, France)

Cham : Springer, 2014

 

2014

Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings.

International Colloquium on Automata, Languages, and Programming (41st : 2014 : Copenhagen, Denmark)

Heidelberg : Springer, 2014

 

2014

Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings.

International Colloquium on Automata, Languages, and Programming (41st : 2014 : Copenhagen, Denmark)

Heidelberg : Springer, 2014

 

2014

Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

LATA (Conference) (8th : 2014 : Madrid, Spain)

Cham : Springer, 2014

 

2014

Implementation and application of automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014. Proceedings

CIAA (Conference) (19th : 2014 : Giessen, Germany)

Cham : Springer, 2014

 

2014

Quantitative evaluation of systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings

International Conference on the Quantitative Evaluation of Systems (11th : 2014 : Florence, Italy)

Cham : Springer, [2014]

 

2014

Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

ABZ (Conference) (4th : 2014 : Toulouse, France)

Heidelberg : Springer, 2014

 

2013

Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings.

International Colloquium on Automata, Languages, and Programming (40th : 2013 : Rīga, Latvia)

Heidelberg : Springer, [2013]

 

2013

Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

LATA (Conference) (7th : 2013 : Bilbao, Spain)



 

2013

Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

CIAA (Conference) (18th : 2013 : Halifax, N.S.)

Heidelberg : Springer, [2013]

 

2013

Implementation and application of automata : 21st International Conference, Proceedings, CIAA 2016, Seoul, South Korea, July 19-22, 2016. Proceedings

CIAA (Conference) (21st : 2016 : Seoul, Korea)

Switzerland : Springer, [2013]

 

2013

Quantitative evaluation of systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

International Conference on the Quantitative Evaluation of Systems (10th : 2013 : Buenos Aires, Argentina)

Heidelberg : Springer, 2013

 

2012

Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings

DCFS (Workshop) (14th : 2012 : Braga, Portugal)



 

2012

Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

LATA (Conference) (6th : 2012 : La Coruña, Spain)



 

2012

Implementation and application of automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

CIAA (Conference) (17th : 2012 : Porto, Portugal)



 

2011

Algorithmic foundations of robotics. selected contributions of the ninth International Workshop on the Algorithmic Foundations of Robotics

International Workshop on the Algorithmic Foundations of Robotics (9th : 2010 : National University of Singapore)



 

2011

Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings.

International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)



 

2011

Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings.

International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)



 

2011

Descriptional complexity of formal systems : 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings

DCFS (Workshop) (13th : 2011 : Giessen, Germany; Limburg, Germany)



 

2011

Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings

Symposium on Mathematical Foundations of Computer Science (1972- ) (36th : 2011 : Warsaw, Poland)



 

2011

Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers

CIAA (Conference) (15th : 2010 : Winnipeg, Man.)



 

2011

Language and automata theory and applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, proceedings

LATA (Conference) (5th : 2011 : Tarragona, Spain)



 

2011

Implementation and application of automata : 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : revised selected papers

CIAA (Conference) (16th : 2011 : Blois, France)