Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
229 results · clear filters Sort: newest oldest name
- Time for Verification, Essays in Memory of Amir PnueliComputer and information sciencese10sxxk
- Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de RoeverComputer and information sciencese10sy61
- Algorithms and Applications, Essays Dedicated to Esko Ukkonen on the Occasion of His 60th BirthdayComputer and information sciencese10sz44
- Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th BirthdayComputer and information sciencese10szar
- Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthdayComputer and information sciencese10srs0
- Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th BirthdayComputer and information sciencese10ssfm
- Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th BirthdayComputer and information sciencese10sshf
- Informatik in Recht und Verwaltung: Gestern - Heute - Morgen. Ehrenband Prof. Dr. Dr. Herbert Fiedler zum Achtzigsten GeburtstagComputer and information sciencese10stp4
- Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th BirthdayComputer and information sciencese10str0
- Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th BirthdayComputer and information sciencese10sv48
- Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th BirthdayComputer and information sciencese10swzg
- Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th BirthdayComputer and information sciencese10sx70
- Conceptual Modeling: Foundations and Applications - Essays in Honor of John MylopoulosComputer and information sciencese10sxbr
- Fundamental Problems in Computing, Essays in Honor of Professor Daniel J. Rosenkrantz.Computer and information sciencese10sy9v
- Algorithmic BioprocessesComputer and information sciencese10sybq
- Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008.Computer and information sciencese10srxr
- Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th BirthdayComputer and information sciencese10sx46
- Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].Computer and information sciencese10sz1a
- Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th BirthdayComputer and information sciencese10sz28
- 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, 2007Computer and information sciencese10srp6
- Exact Methods in the Study of Language and Text - Dedicated to Gabriel Altmann on the Occasion of his 75th BirthdayComputer and information sciencese10ss66
- Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th BirthdayComputer and information sciencese10svxn
- Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th BirthdayComputer and information sciencese10swek
- Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney].Computer and information sciencese10syn2
- Computation, Meaning, and Logic: Articles dedicated to Gordon PlotkinComputer and information sciencese120hrt
As JSON: https://labs.confref.org/api/search?kind=event&series=s10cqtt&page=7