Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
230 results · clear filters Sort: newest oldest name
- Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th BirthdayComputer and information sciencese10stzj
- Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024Computer and information sciencese10sxn3
- From Multimedia Communications to the Future Internet - Essays Dedicated to Ralf Steinmetz on the Occasion of His RetirementComputer and information sciencese10sytr
- The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, University of Pennsylvania, Philadelphia, PA, USA, May 24-25, 2024Computer and information sciencese10syyg
- The Application of Formal Methods - Essays Dedicated to Jim Woodcock on the Occasion of His RetirementComputer and information sciencese10szeg
- Social Modeling Using the i* Framework: Essays in Honour of Eric YuComputer and information sciencese10szh9
- A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, Freiburg, Germany, 30th August 2024.Computer and information sciencese12117b
- Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th BirthdayComputer and information sciencese10sryp
- Engineering Safe and Trustworthy Cyber Physical Systems - Essays Dedicated to Werner Damm on the Occasion of His 71st BirthdayComputer and information sciencese10st3b
- Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th BirthdayComputer and information sciencese10svjb
- Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th BirthdayComputer and information sciencese10svn5
- Eelco Visser Commemorative Symposium, EVCS 2023, Delft, The Netherlands, April 5, 2023Computer and information sciencese10sz8w
- 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.Computer and information sciencese10srwt
- Automata and Complexity - Essays Presented to Eric Goles on the Occasion of His 70th BirthdayComputer and information sciencese10sv3a
- The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th BirthdayComputer and information sciencese10svdp
- Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th BirthdayComputer and information sciencese10svm7
- Advances in Computing, Informatics, Networking and Cybersecurity - A Book Honoring Professor Mohammad S. Obaidat's Significant Scientific ContributionsComputer and information sciencese10sxgd
- A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th BirthdayComputer and information sciencese10sz52
- Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th BirthdayComputer and information sciencese10ssep
- Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th BirthdayComputer and information sciencese10svcr
- Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th BirthdayComputer and information sciencese10svgf
- Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th BirthdayComputer and information sciencese10svwq
- A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th BirthdayComputer and information sciencese10swn4
- 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 RetirementComputer and information sciencese10sxqz
- Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th BirthdayComputer and information sciencese10ssdr
As JSON: https://labs.confref.org/api/search?series=s10cqtt&page=2