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

• 
  Bob Coecke, Luke Ong, Prakash Panangaden:
  Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8 [contents]

• 
  Harout K. Aydinian, Ferdinando Cicalese, Christian Deppe:
  Information Theory, Combinatorics, and Search Theory - In Memory of Rudolf Ahlswede. Lecture Notes in Computer Science 7777, Springer 2013, ISBN 978-3-642-36898-1 [contents]

• 
  Oliviero Stock, Marco Schaerf:
  Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello. Lecture Notes in Computer Science 4155, Springer 2006, ISBN 3-540-37901-0 [contents]

• 
  Peter Grzybek, Reinhard Köhler:
  Exact Methods in the Study of Language and Text - Dedicated to Gabriel Altmann on the Occasion of his 75th Birthday. Quantitative Linguistics 62, De Gruyter 2007, ISBN 9783110894219 [contents]

• 
  Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten:
  It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science 10865, Springer 2018, ISBN 978-3-319-90088-9 [contents]

• 
  Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
  Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 [contents]

• 
  Andrei Voronkov, Margarita V. Korovina:
  HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. EPiC Series in Computing 42, EasyChair 2014 [contents]

• 
  Rolf Drechsler:
  Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag von Bernd Becker. MV-Wissenschaft 2014, ISBN 978-3-9564523-5-2 [contents]

• 
  Steffen Hölldobler:
  Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Applied Logic Series 19, Kluwer 2000, ISBN 0-7923-6261-6 [contents]

• 
  Philippe Goujon, Sylvain Lavelle, Penny Duquenoy, Kai Kimppa, Véronique Laurent:
  The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. - Proceedings of the Conference "Information Society: Governance, Ethics and Social Consequences", University of Namur, Belgium 22-23 May 2006. IFIP Advances in Information and Communication Technology 233, Springer 2007, ISBN 978-0-387-72380-8 [contents]

• 
  Cliff B. Jones, Zhiming Liu, Jim Woodcock:
  Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents]

• 
  Robert S. Boyer:
  Automated Reasoning: Essays in Honor of Woody Bledsoe. Automated Reasoning Series, Kluwer Academic Publishers 1991, ISBN 0-7923-1409-3 [contents]

• 
  Fedor V. Fomin, Stefan Kratsch, Erik Jan van Leeuwen:
  Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 12160, Springer 2020, ISBN 978-3-030-42070-3 [contents]

• 
  Malgorzata Marciniak, Agnieszka Mykowiecka:
  Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 5070, Springer 2009, ISBN 978-3-642-04734-3 [contents]

• 
  Ding-Zhu Du, Ker-I Ko:
  Advances in Algorithms, Languages, and Complexity - In Honor of Ronald V. Book. Kluwer 1997, ISBN 0-7923-4396-4 [contents]

• 
  Varvara L. Turova, Andrey E. Kovtanyuk, Hans Georg Bock, Florian Holzapfel, Ekaterina A. Kostina:
  Proceedings of the Workshop on Mathematical Modeling and Scientific Computing: Focus on Complex Processes and Systems - dedicated to the memory of Nikolai Botkin, Munich, Germany, November 19-20, 2020. CEUR Workshop Proceedings 2783, CEUR-WS.org 2020 [contents]

• 
  Werner Kuich, George Rahonis:
  Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement. Lecture Notes in Computer Science 7020, Springer 2011, ISBN 978-3-642-24896-2 [contents]

• 
  Jean-Raymond Abrial, Uwe Glässer:
  Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5115, Springer 2009, ISBN 978-3-642-11446-5 [contents]
• 
  Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe:
  Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 12750, Springer 2021, ISBN 978-3-030-76019-9 [contents]

• 
  Christian Freksa, Matthias Jantzen, Rüdiger Valk:
  Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday. Lecture Notes in Computer Science 1337, Springer 1997, ISBN 3-540-63746-X [contents]

• 
  Lev I. Rozonoer, Boris G. Mirkin, Ilya Muchnik:
  Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks. Lecture Notes in Computer Science 11100, Springer 2018, ISBN 978-3-319-99491-8 [contents]

• 
  Joost-Pieter Katoen, Rom Langerak, Arend Rensink:
  ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10500, Springer 2017, ISBN 978-3-319-68269-3 [contents]

• 
  Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran:
  Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9060, Springer 2015, ISBN 978-3-319-14725-3 [contents]

• 
  Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Jeffrey O. Shallit:
  The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski. World Scientific 2017, ISBN 978-981-3148-19-2 [contents]

• 
  Kai Sachs, Ilia Petrov, Pablo Ezequiel Guerrero:
  From Active Data Management to Event-Based Systems and More - Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6462, Springer 2010, ISBN 978-3-642-17225-0 [contents]

• 
  Marc Fischlin, Stefan Katzenbeisser:
  Number Theory and Cryptography - Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 8260, Springer 2013, ISBN 978-3-642-42000-9 [contents]

• 
  Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman:
  In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Lecture Notes in Computer Science 8000, Springer 2013, ISBN 978-3-642-41659-0 [contents]

• 
  Michael J. Dinneen, Bakhadyr Khoussainov, André Nies:
  Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7160, Springer 2012, ISBN 978-3-642-27653-8 [contents]

• 
  Diana Santos, Krister Lindén, Wanjiku Ng'ang'a:
  Shall We Play the Festschrift Game?, Essays on the Occasion of Lauri Carlson's 60th Birthday. Springer 2012, ISBN 978-3-642-30772-0 [contents]

• 
  Nachum Dershowitz, Ephraim Nissan:
  Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I. Lecture Notes in Computer Science 8001, Springer 2014, ISBN 978-3-642-45320-5 [contents]
• 
  Nachum Dershowitz, Ephraim Nissan:
  Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II. Lecture Notes in Computer Science 8002, Springer 2014, ISBN 978-3-642-45323-6 [contents]
• 
  Nachum Dershowitz, Ephraim Nissan:
  Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III. Lecture Notes in Computer Science 8003, Springer 2014, ISBN 978-3-642-45326-7 [contents]

• 
  Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders:
  Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2 [contents]

• 
  Olaf Owe, Stein Krogdahl, Tom Lyche:
  From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Lecture Notes in Computer Science 2635, Springer 2004, ISBN 3-540-21366-X [contents]

• 
  Henning Bordihn, Martin Kutrib, Bianca Truthe:
  Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 7300, Springer 2012, ISBN 978-3-642-31643-2 [contents]
• 
  Gheorghe Paun, Arto Salomaa:
  New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday). Lecture Notes in Computer Science 1218, Springer 1997, ISBN 3-540-62844-4 [contents]

• 
  Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen:
  Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9660, Springer 2016, ISBN 978-3-319-30733-6 [contents]

• 
  Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami:
  Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9465, Springer 2015, ISBN 978-3-319-25526-2 [contents]

• 
  Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
  Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents]

• 
  Adam R. Day, Michael R. Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander G. Melnikov, Frances A. Rosamond:
  Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10010, Springer 2017, ISBN 978-3-319-50061-4 [contents]

• 
  Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa:
  Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261, Springer 1997, ISBN 3-540-63246-8 [contents]

• 
  Reiko Heckel, Gabriele Taentzer:
  Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig. Lecture Notes in Computer Science 10800, Springer 2018, ISBN 978-3-319-75395-9 [contents]
• 
  Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer:
  Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3393, Springer 2005, ISBN 3-540-24936-2 [contents]

• 
  P. Simin Pulat, Subhash C. Sarin, Reha Uzsoy:
  Essays in Production, Project Planning and Scheduling, A Festschrift in Honor of Salah Elmaghraby. International Series in Operations Research & Management Science 200, Springer 2014, ISBN 978-1-4614-9055-5 [contents]

• 
  Stefan Kiefer, Jan Kretínský, Antonín Kucera:
  Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 14660, Springer 2024, ISBN 978-3-031-56221-1 [contents]

• 
  Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman:
  Theoretical Computer Science, Essays in Memory of Shimon Even. Lecture Notes in Computer Science 3895, Springer 2006, ISBN 3-540-32880-7 [contents]

• 
  Samarjit Chakraborty, Jörg Eberspächer:
  Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years). Springer 2012, ISBN 978-3-642-24348-6 [contents]

• 
  Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx:
  The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7370, Springer 2012, ISBN 978-3-642-30890-1 [contents]

• 
  Domenico Cantone, Alfredo Pulvirenti:
  From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career. Lecture Notes in Computer Science 14070, Springer 2024, ISBN 978-3-031-55247-2 [contents]

• 
  Roland Traunmüller, Maria Wimmer:
  Informatik in Recht und Verwaltung: Gestern - Heute - Morgen. Ehrenband Prof. Dr. Dr. Herbert Fiedler zum Achtzigsten Geburtstag. LNI T-5, GI 2009, ISBN 978-3-88579-424-0 [contents]

• 
  Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner:
  Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533, Springer 2009, ISBN 978-3-642-01747-6 [contents]

• 
  Shusaku Iida, José Meseguer, Kazuhiro Ogata:
  Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 [contents]

• 
  Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
  We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005, ISBN 1-904987-25-7 [contents]
• 
  Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
  We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, ISBN 1-904987-26-5 [contents]

• 
  Frank S. de Boer, Jacopo Mauro:
  Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. OASIcs 86, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-171-9 [contents]

• 
  Andrei Voronkov, Christoph Weidenbach:
  Programming Logics - Essays in Memory of Harald Ganzinger. Lecture Notes in Computer Science 7797, Springer 2013, ISBN 978-3-642-37650-4 [contents]

• 
  Zoltán Ésik, Zoltán Fülöp:
  Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday. Institute of Informatics, University of Szeged, Hungary 2009, ISBN 978-963-482-916-4 [contents]

• 
  Marcello Balduccini, Tran Cao Son:
  Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 6565, Springer 2011, ISBN 978-3-642-20831-7 [contents]

• 
  Venanzio Capretta, Robbert Krebbers, Freek Wiedijk:
  Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 14560, Springer 2024, ISBN 978-3-031-61715-7 [contents]

• 
  Jeffrey D. Ullman:
  Theoretical Studies in Computer Science, to Seymour Ginsburg on the occasion of his 2⁶. birthday. Academic Press 1992, ISBN 0-12-708240-9 [contents]

• 
  Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
  From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 [contents]

• 
  Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer:
  Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, Springer 2006, ISBN 3-540-35462-X [contents]

• 
  Andrew Adamatzky:
  Automata and Complexity - Essays Presented to Eric Goles on the Occasion of His 70th Birthday. Springer 2022, ISBN 978-3-030-92550-5 [contents]

• 
  Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell:
  Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5420, Springer 2009, ISBN 978-3-642-02028-5 [contents]

• 
  Uli Daldrup:
  Menschengerechte Softwaregestaltung, Konzepte und Werkzeuge auf dem Weg in die Praxis, Peter Gorny zum 60. Geburtstag. Berichte des German Chapter of the ACM 46, Teubner 1995, ISBN 3-519-02687-2 [contents]

• 
  Cristian S. Calude, Rusins Freivalds, Kazuo Iwama:
  Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 8808, Springer 2014, ISBN 978-3-319-13349-2 [contents]

• 
  Stefano Borgo, Roberta Ferrario, Claudio Masolo, Laure Vieu:
  Ontology Makes Sense - Essays in honor of Nicola Guarino. Frontiers in Artificial Intelligence and Applications 316, IOS Press 2019, ISBN 978-1-61499-954-6 [contents]

• 
  Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
  Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6300, Springer 2010, ISBN 978-3-642-15024-1 [contents]
• 
  Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte:
  Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 9300, Springer 2015, ISBN 978-3-319-23533-2 [contents]
• 
  Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
  Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9 [contents]

• 
  Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul D. Rowe:
  Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science 13066, Springer 2021, ISBN 978-3-030-91630-5 [contents]

• 
  Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan:
  From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Lecture Notes in Computer Science 12065, Springer 2020, ISBN 978-3-030-41102-2 [contents]

• 
  Gilles-Maurice de Schryver:
  A Way with Words - Recent Advances in Lexical Theory and Analysis: A Festschrift for Patrick Hanks. Menha Linguistics Series, Menha Publications 2010, ISBN 978-9970-10-101-6 [contents]

• 
  Karin Anna Hummel, Helmut Hlavacs, Wilfried N. Gansterer:
  Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges - IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6821, Springer 2011, ISBN 978-3-642-25574-8 [contents]

• 
  Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen:
  The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13360, Springer 2022, ISBN 978-3-031-08165-1 [contents]

• 
  Ezio Bartocci, Yliès Falcone, Martin Leucker:
  Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9 [contents]

• 
  Zhiming Liu, Jim Woodcock, Huibiao Zhu:
  Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents]
• 
  Jonathan P. Bowen, Qin Li, Qiwen Xu:
  Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 14080, Springer 2023, ISBN 978-3-031-40435-1 [contents]

• 
  Natasa Jonoska, Gheorghe Paun, Grzegorz Rozenberg:
  Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 2950, Springer 2004, ISBN 3-540-20781-3 [contents]

• 
  Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar:
  Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13660, Springer 2022, ISBN 978-3-031-22336-5 [contents]

• 
  Pedro López-García, John P. Gallagher, Roberto Giacobazzi:
  Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13160, Springer 2023, ISBN 978-3-031-31475-9 [contents]

• 
  Johannes Buchmann, Harald Ganzinger, Wolfgang J. Paul:
  Informatik, Festschrift zum 60. Geburtstag von Günter Hotz. Teubner-Texte zur Informatik 1, Teubner / Springer 1992, ISBN 978-3-8154-2033-1 [contents]

• 
  Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger:
  Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11011, Springer 2018, ISBN 978-3-319-98354-7 [contents]

• 
  Pierangela Samarati, Indrajit Ray, Indrakshi Ray:
  From Database to Cyber Security - Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 11170, Springer 2018, ISBN 978-3-030-04833-4 [contents]

• 
  Andreas Geyer-Schulz, Alfred Taudes:
  Informationswirtschaft: Ein Sektor mit Zukunft. LNI P-33, GI 2003, ISBN 3-88579-362-8 [contents]

• 
  Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough:
  The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Lecture Notes in Computer Science 2566, Springer 2002, ISBN 3-540-00326-6 [contents]

• 
  Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
  Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 [contents]

• 
  Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner:
  Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 4600, Springer 2007, ISBN 978-3-540-73146-7 [contents]

• 
  Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater:
  The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday. Lecture Notes in Computer Science 9100, Springer 2016, ISBN 978-3-662-49300-7 [contents]

• 
  Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik:
  PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003. ACM 2003, ISBN 1-58113-604-8 [contents]

• 
  Christoph Beierle, Gerhard Brewka, Matthias Thimm:
  Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. College Publications 2016, ISBN 978-1-84890-198-8 [contents]

• 
  Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer:
  Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3838, Springer 2005, ISBN 3-540-30911-X [contents]

• 
  Ding-Zhu Du, Jie Wang:
  Complexity and Approximation - In Memory of Ker-I Ko. Lecture Notes in Computer Science 12000, Springer 2020, ISBN 978-3-030-41671-3 [contents]

• 
  Emmerich Kelih, Róisín Knight, Ján Macutek, Andrew Wilson:
  Issues in Quantitative Linguistics 4, Dedicated to Reinhard Köhler on the occasion of his 65th birthday. Studies in Quantitative Linguistics 23, RAM-Verlag 2016, ISBN 978-3-942303-44-6 [contents]

• 
  Piotr Prokopowicz, Jacek M. Czerniak, Dariusz Mikolajewski, Lukasz Apiecionek, Dominik Slezak:
  Theory and Applications of Ordered Fuzzy Numbers - A Tribute to Professor Witold Kosiński. Studies in Fuzziness and Soft Computing 356, Springer 2017, ISBN 978-3-319-59613-6 [contents]

• 
  Antonis C. Kakas, Fariba Sadri:
  Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Computer Science 2407, Springer 2002, ISBN 3-540-43959-5 [contents]
• 
  Antonis C. Kakas, Fariba Sadri:
  Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Lecture Notes in Computer Science 2408, Springer 2002, ISBN 3-540-43960-9 [contents]

• 
  Robert L. Constable, Alexandra Silva:
  Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7230, Springer 2012, ISBN 978-3-642-29484-6 [contents]

• 
  Maritta Heisel:
  Software Service and Application Engineering - Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 7365, Springer 2012, ISBN 978-3-642-30834-5 [contents]

• 
  Dimitris Karagiannis, Bodo Rieger:
  Herausforderungen in der Wirtschaftsinformatik - Festschrift für Hermann Krallmann. Springer 2006, ISBN 978-3-540-28906-7, pp. I-XV, 1-321 [contents]

• 
  Maximilian Eibl, Christian Wolff, Christa Womser-Hacker:
  Designing Information Systems: Festschrift für Jürgen Krause zum Anlass seines 60. Geburtstages 2004. Schriften zur Informationswissenschaft 43, UVK 2005, ISBN 3-89669-564-9 [contents]

• 
  Rainer Hammwöhner, Marc Rittberger, Wolfgang Semar:
  Wissen in Aktion - Der Primat der Pragmatik als Motto der Konstanzer Informationswissenschaft. Festschrift für Rainer Kuhlen. Schriften zur Informationswissenschaft 41, Hochschulverband für Informationswissenschaft 2004, ISBN 3-89669-704-8 [contents]

• 
  Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott:
  Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Lecture Notes in Computer Science 8222, Springer 2014, ISBN 978-3-642-54788-1 [contents]

• 
  Ernst-Rüdiger Olderog, Bernhard Steffen:
  Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Lecture Notes in Computer Science 1710, Springer 1999, ISBN 3-540-66624-9 [contents]

• 
  Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare:
  Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10460, Springer 2017, ISBN 978-3-319-63120-2 [contents]

• 
  Michael J. Maher:
  Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings. Lecture Notes in Computer Science 3321, Springer 2004, ISBN 3-540-24087-X [contents]

• 
  Sylvain Pogodalla, Myriam Quatrini, Christian Retoré:
  Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6700, Springer 2011, ISBN 978-3-642-21489-9 [contents]

• 
  Marten Lohstroh, Patricia Derler, Marjan Sirjani:
  Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10760, Springer 2018, ISBN 978-3-319-95245-1 [contents]

• 
  Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce:
  Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265, Springer 2012, ISBN 978-3-642-30742-3 [contents]

• 
  Ganesh Gopalakrishnan:
  Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, Salt Lake City, UT, USA, May 5, 2007. Electronic Notes in Theoretical Computer Science 193, Elsevier 2007 [contents]

• 
  Ada Lovelace Symposium 2015 - Celebrating 200 Years of a Computer Visionary, Ada Lovelace Symposium 2015, Oxford, UK, December 10, 2015. ACM 2015, ISBN 978-1-4503-4150-9 [contents]

• 
  Nachum Dershowitz:
  Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Lecture Notes in Computer Science 2772, Springer 2003, ISBN 3-540-21002-4 [contents]

• 
  John Mantas, Arie Hasman, Reinhold Haux:
  Achievements, Milestones and Challenges in Biomedical and Health Informatics, International Symposium on Achievements, Milestones, and Challenges in Biomedical and Health Informatics (BMHI 2022), Athens, Greece, 29 October 2022, retirement of Professor John Mantas. Studies in Health Technology and Informatics 300, IOS Press 2022, ISBN 978-1-64368-340-9 [contents]

• 
  Carlos Martín-Vide, Gheorghe Paun:
  Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday. Editura Academiei Române, Bucuresti 2000, ISBN 973-27-0770-4 [contents]

• 
  Matteo Baldoni, Cristina Baroglio:
  Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. CEUR Workshop Proceedings 487, CEUR-WS.org 2008 [contents]

• 
  Jian-Jia Chen:
  A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday. Springer 2021, ISBN 978-3-030-47487-4 [contents]

• 
  Nimrod Megiddo:
  Essays in Game Theory, In Honor of Michael Maschler. Springer 1994, ISBN 978-1-4612-7621-0 [contents]

• 
  Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
  Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005). The Publishing House of the Romanian Academy 2014, ISBN 978-973-27-2470-5 [contents]

• 
  Hermann A. Maurer:
  New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991, Proceedings [on occasion of H. Maurer's 50th birthday]. Lecture Notes in Computer Science 555, Springer 1991, ISBN 3-540-54869-6 [contents]
• 
  Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa:
  Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6570, Springer 2011, ISBN 978-3-642-19390-3 [contents]

• 
  Tomasa Calvo Sánchez, Joan Torrens-Sastre:
  Fuzzy Logic and Information Fusion - To Commemorate the 70th Birthday of Professor Gaspar Mayor. Studies in Fuzziness and Soft Computing 339, Springer 2016, ISBN 978-3-319-30419-9 [contents]

• 
  Vladimir Lifschitz:
  Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. Academic Press / Elsevier 1991, ISBN 978-0-12-450010-5 [contents]

• 
  Maria Paola Bonacina, Mark E. Stickel:
  Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. Lecture Notes in Computer Science 7788, Springer 2013, ISBN 978-3-642-36674-1 [contents]

• 
  Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic:
  Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Lecture Notes in Computer Science 11565, Springer 2019, ISBN 978-3-030-19051-4 [contents]

• 
  Susanne Albers, Helmut Alt, Stefan Näher:
  Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5760, Springer 2009, ISBN 978-3-642-03455-8 [contents]

• 
  Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
  Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents]

• 
  Sebastian Nanz:
  The Future of Software Engineering. Springer 2011, ISBN 978-3-642-15186-6 [contents]

• 
  Gordon D. Plotkin, Colin Stirling, Mads Tofte:
  Proof, Language, and Interaction, Essays in Honour of Robin Milner. The MIT Press 2000, ISBN 978-0-262-16188-6 [contents]

• 
  Vicenç Torra, Anders Dahlbom, Yasuo Narukawa:
  Fuzzy Sets, Rough Sets, Multisets and Clustering. Studies in Computational Intelligence 671, Springer 2017, ISBN 978-3-319-47556-1 [contents]

• 
  Pierpaolo Degano, Rocco De Nicola, José Meseguer:
  Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5065, Springer 2008, ISBN 978-3-540-68676-7 [contents]

• 
  Stefan Michaelis, Nico Piatkowski, Marco Stolpe:
  Solving Large Scale Learning Tasks. Challenges and Algorithms - Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 9580, Springer 2016, ISBN 978-3-319-41705-9 [contents]

• 
  Andrew Adamatzky:
  Reversibility and Universality, Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday. Emergence, Complexity and Computation 30, Springer 2018, ISBN 978-3-319-73215-2 [contents]

• 
  Jens Palsberg:
  Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5700, Springer 2009, ISBN 978-3-642-04163-1 [contents]

• 
  Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra:
  Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Lecture Notes in Computer Science 4460, Springer 2007, ISBN 978-3-540-75938-6 [contents]

• 
  Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola:
  Space-Efficient Data Structures, Streams, and Algorithms - Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday. Lecture Notes in Computer Science 8066, Springer 2013, ISBN 978-3-642-40272-2 [contents]

• 
  Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu:
  Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos. Lecture Notes in Computer Science 5600, Springer 2009, ISBN 978-3-642-02462-7 [contents]

• 
  Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel:
  Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. Lecture Notes in Computer Science 5765, Springer 2010, ISBN 978-3-642-17321-9 [contents]

• 
  Matthias L. Hemmje, Claudia Niederée, Thomas Risse:
  From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 3379, Springer 2005, ISBN 3-540-24551-0 [contents]

• 
  Christian W. Probst, Chris Hankin, René Rydhof Hansen:
  Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science 9560, Springer 2016, ISBN 978-3-319-27809-4 [contents]

• 
  Gilles Venturini, Paula Brito:
  Symbolic Data Analysis and Visualization: Special Issue in honor of Monique Noirhomme-Fraiture. RNTI E-29, Hermann-Éditions 2015, ISBN 9782705691264 [contents]

• 
  Petros Nicopolitidis, Sudip Misra, Laurence T. Yang, Bernard P. Zeigler, Zhaolng Ning:
  Advances in Computing, Informatics, Networking and Cybersecurity - A Book Honoring Professor Mohammad S. Obaidat's Significant Scientific Contributions. Lecture Notes in Networks and Systems 289, Springer 2022, ISBN 978-3-030-87048-5 [contents]

• 
  Patrick Horster:
  Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher Wege zwischen Mathematik und Informatik [Festschrift anläßlich der Emeritierung von Professor Dr. Walter Oberschel]. Vieweg+Teubner Verlag / Springer 1999, ISBN 978-3-528-05720-6 [contents]

• 
  Roland Meyer, André Platzer, Heike Wehrheim:
  Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science 9360, Springer 2015, ISBN 978-3-319-23505-9 [contents]

• 
  Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria-Ribera Sancho, Ernest Teniente:
  Conceptual Modeling Perspectives. Springer 2017, ISBN 978-3-319-67270-0 [contents]

• 
  Rolf Klein, Hans-Werner Six, Lutz M. Wegner:
  Computer Science in Perspective, Essays Dedicated to Thomas Ottmann. Lecture Notes in Computer Science 2598, Springer 2003, ISBN 3-540-00579-X [contents]

• 
  Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia:
  The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 11760, Springer 2019, ISBN 978-3-030-31174-2 [contents]

• 
  Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten:
  Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 8464, Springer 2014, ISBN 978-3-319-06879-4 [contents]

• 
  Marco Aiello, Athman Bouguettaya, Damian Andrew Tamburri, Willem-Jan van den Heuvel:
  Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement. Lecture Notes in Computer Science 12521, Springer 2021, ISBN 978-3-030-73202-8 [contents]

• 
  Carlos Martín-Vide, Victor Mitrana:
  Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun. Kluwer Academic Publishers 2001, ISBN 978-90-481-5607-8 [contents]
• 
  Carlos Martín-Vide, Victor Mitrana:
  Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun. Topics in Computer Mathematics 9, Taylor and Francis 2003, ISBN 0415298857 [contents]
• 
  Jozef Kelemen, Alica Kelemenová:
  Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6610, Springer 2011, ISBN 978-3-642-19999-8 [contents]

• 
  Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach:
  Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 14165, Springer 2023, ISBN 978-3-031-40131-2 [contents]

• 
  Carmen Graciani Díaz, Agustín Riscos-Núñez, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
  Enjoying Natural Computing - Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 11270, Springer 2018, ISBN 978-3-030-00264-0 [contents]

• 
  Josef Wiemeyer, Arnold Baca, Martin Lames:
  Sportinformatik gestern, heute, morgen - Festschrift zu Ehren von Prof. Dr. Jürgen Perl. Schriften der Deutschen Vereinigung für Sportwissenschaft 198, Czwalina Verlag 2010, ISBN 978-3-88020-548-2 [contents]

• 
  Peter Achten, Pieter W. M. Koopman:
  The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Lecture Notes in Computer Science 8106, Springer 2013, ISBN 978-3-642-40354-5 [contents]

• 
  Luca Cardelli, Marcelo Fiore, Glynn Winskel:
  Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. Electronic Notes in Theoretical Computer Science 172, Elsevier 2007 [contents]

• 
  Zohar Manna, Doron A. Peled:
  Time for Verification, Essays in Memory of Amir Pnueli. Lecture Notes in Computer Science 6200, Springer 2010, ISBN 978-3-642-13753-2 [contents]

• 
  Peter Müller, Ina Schaefer:
  Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer 2018, ISBN 978-3-319-98046-1 [contents]

• 
  David Naccache:
  Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 6805, Springer 2012, ISBN 978-3-642-28367-3 [contents]

• 
  Cliff B. Jones, John L. Lloyd:
  Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 6875, Springer 2011, ISBN 978-3-642-24540-4 [contents]

• 
  Wolfgang Lenski:
  Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Lecture Notes in Computer Science 3075, Springer 2004, ISBN 3-540-22562-5 [contents]

• 
  Jean-Louis Lassez, Gordon D. Plotkin:
  Computational Logic - Essays in Honor of Alan Robinson. The MIT Press 1991, ISBN 0-262-12156-5 [contents]

• 
  Egon Börger:
  Computation Theory and Logic, In Memory of Dieter Rödding. Lecture Notes in Computer Science 270, Springer 1987, ISBN 3-540-18170-9 [contents]

• 
  Dennis Dams, Ulrich Hannemann, Martin Steffen:
  Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Lecture Notes in Computer Science 5930, Springer 2010, ISBN 978-3-642-11511-0 [contents]

• 
  Jürgen Münch, Klaus Schmid:
  Perspectives on the Future of Software Engineering, Essays in Honor of Dieter Rombach. Springer 2013, ISBN 978-3-642-37394-7 [contents]

• 
  Thomas Gibson-Robinson, Philippa J. Hopcroft, Ranko Lazic:
  Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10160, Springer 2017, ISBN 978-3-319-51045-3 [contents]

• 
  S. S. Ravi, Sandeep K. Shukla:
  Fundamental Problems in Computing, Essays in Honor of Professor Daniel J. Rosenkrantz. Springer 2009, ISBN 978-1-4020-9687-7 [contents]

• 
  Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa:
  Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]. Lecture Notes in Computer Science 2300, Springer 2002, ISBN 3-540-43190-X [contents]
• 
  Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree:
  Algorithmic Bioprocesses. Natural Computing Series, Springer 2009, ISBN 978-3-540-88868-0 [contents]

• 
  Jie Lu, Etienne E. Kerre:
  A Tribute to Prof. Dr. Da Ruan. Springer 2013, ISBN 978-3-642-30306-7 [contents]

• 
  Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg:
  Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 3113, Springer 2004, ISBN 3-540-22393-2 [contents]
• 
  Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg:
  Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa. Springer 1999, ISBN 3-540-65984-6 [contents]
• 
  Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg:
  Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings. Lecture Notes in Computer Science 812, Springer 1994, ISBN 3-540-58131-6 [contents]

• 
  Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada:
  Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 12300, Springer 2020, ISBN 978-3-030-62076-9 [contents]

• 
  Atif Mashkoor, Qing Wang, Bernhard Thalheim:
  Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. College Publications 2018, ISBN 978-1-84890-276-3 [contents]

• 
  Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis:
  Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7360, Springer 2012, ISBN 978-3-642-29413-6 [contents]

• 
  Dieter Hutter, Werner Stephan:
  Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 2605, Springer 2005, ISBN 3-540-25051-4 [contents]

• 
  R. Narasimhan:
  A Perspective in Theoretical Computer Science - Commemorative Volume for Gift Siromoney. World Scientific Series in Computer Science 16, World Scientific 1989, ISBN 978-9971-5-0925-5, pp. 1-456 [contents]

• 
  Madhavan Mukund, K. Rangarajan, K. G. Subramanian:
  Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]. Series in Machine Perception and Artificial Intelligence 66, World Scientific 2007, ISBN 978-981-256-889-2 [contents]

• 
  Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky:
  From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11500, Springer 2019, ISBN 978-3-030-31513-9 [contents]

• 
  David L. Dowe:
  Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011. Lecture Notes in Computer Science 7070, Springer 2013, ISBN 978-3-642-44957-4 [contents]

• 
  Christos D. Zaroliagis, Grammati E. Pantziou, Spyros C. Kontogiannis:
  Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9295, Springer 2015, ISBN 978-3-319-24023-7 [contents]

• 
  Tiziana Margaria, Susanne Graf, Kim G. Larsen:
  Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11200, Springer 2019, ISBN 978-3-030-22347-2 [contents]

• 
  Dieter Fensel:
  Foundations for the Web of Information and Services - A Review of 20 Years of Semantic Web Research. Springer 2011, ISBN 978-3-642-19796-3 [contents]

• 
  Neil D. Jones, Masami Hagiya, Masahiko Sato:
  Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Lecture Notes in Computer Science 792, Springer 1994, ISBN 0-387-57935-4 [contents]

• 
  Gul Agha, Olivier Danvy, José Meseguer:
  Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Lecture Notes in Computer Science 7000, Springer 2011, ISBN 978-3-642-24932-7 [contents]

• 
  Antoine Amarilli, Alin Deutsch:
  The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, May 24-25, 2024, University of Pennsylvania, Philadelphia, PA, USA. OASIcs 119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-320-1 [contents]

• 
  Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe:
  Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7260, Springer 2012, ISBN 978-3-642-28278-2 [contents]

• 
  Masami Ito, Gheorghe Paun, Sheng Yu:
  Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin. World Scientific 2001, ISBN 981-02-4739-7 [contents]

• 
  Jörg Flum, Erich Grädel, Thomas Wilke:
  Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Texts in Logic and Games 2, Amsterdam University Press 2008, ISBN 978-90-5356-576-6 [contents]

• 
  Arnon Avron, Nachum Dershowitz, Alexander Rabinovich:
  Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Lecture Notes in Computer Science 4800, Springer 2008, ISBN 978-3-540-78126-4 [contents]

• 
  Luis Magdalena, José L. Verdegay, Francesc Esteva:
  Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic. Studies in Fuzziness and Soft Computing 322, Springer 2015, ISBN 978-3-319-16234-8 [contents]

• 
  Andrei Voronkov:
  Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. EPiC Series in Computing 10, EasyChair 2012 [contents]

Turing 100 Conference @ Manchester, UK

ACM Turing Centenary Celebration @ San Francisco, CA, USA

• 
  Tapio Elomaa, Heikki Mannila, Pekka Orponen:
  Algorithms and Applications, Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6060, Springer 2010, ISBN 978-3-642-12475-4 [contents]

• 
  Bernhard Schölkopf, Zhiyuan Luo, Vladimir Vovk:
  Empirical Inference - Festschrift in Honor of Vladimir N. Vapnik. Springer 2013, ISBN 978-3-642-41135-9 [contents]

• 
  Nils Jansen, Mariëlle Stoelinga, Petra van den Bos:
  A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13560, Springer 2022, ISBN 978-3-031-15628-1 [contents]

• 
  David A. Pelta, Carlos Cruz Corona:
  Soft Computing Based Optimization and Decision Models - To Commemorate the 65th Birthday of Professor José Luis "Curro" Verdegay. Studies in Fuzziness and Soft Computing 360, Springer 2018, ISBN 978-3-319-64285-7 [contents]

• 
  Ralf Lämmel, Peter D. Mosses, Friedrich Steimann:
  Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands. OASIcs 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-267-9 [contents]

• 
  Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella:
  A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9600, Springer 2016, ISBN 978-3-319-30935-4 [contents]

• 
  Simon Siegler, Nathan Wasser:
  Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6463, Springer 2010, ISBN 978-3-642-17171-0 [contents]

• 
  Theo Härder, Wolfgang Lehner:
  Data Management in a Connected World, Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 3551, Springer 2005, ISBN 3-540-26295-4 [contents]

• 
  Andreas Dolzmann, Andreas Seidl, Thomas Sturm:
  Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. Books on Demand 2005, ISBN 3-8334-2669-1, pp. i-xii, 1-558 [contents]

• 
  Thomas W. Reps, Mooly Sagiv, Jörg Bauer:
  Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 4444, Springer 2007, ISBN 978-3-540-71315-9 [contents]

• 
  Rocco De Nicola, Rolf Hennicker:
  Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 [contents]

• 
  László Böszörményi, Jürg Gutknecht, Gustav Pomberger:
  The School of Niklaus Wirth, "The Art of Simplicity". dpunkt.verlag/Copublication with Morgan-Kaufmann 2000, ISBN 3-932588-85-1 [contents]

• 
  Gul A. Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura:
  Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 8665, Springer 2014, ISBN 978-3-662-44470-2 [contents]

• 
  Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini:
  On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1. Studies in Fuzziness and Soft Computing 298, Springer 2013, ISBN 978-3-642-35640-7 [contents]
• 
  Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini:
  On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 2. Studies in Fuzziness and Soft Computing 299, Springer 2013, ISBN 978-3-642-35643-8 [contents]

• 
  Cliff B. Jones, Ji Wang, Naijun Zhan:
  Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 11180, Springer 2018, ISBN 978-3-030-01460-5 [contents]
• 
  Cliff B. Jones, Zhiming Liu, Jim Woodcock:
  Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents]

• 
  Adam E. Gaweda, Janusz Kacprzyk, Leszek Rutkowski, Gary G. Yen:
  Advances in Data Analysis with Computational Intelligence Methods - Dedicated to Professor Jacek Żurada. Studies in Computational Intelligence 738, Springer 2018, ISBN 978-3-319-67945-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 2024-11-15 19:45 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: