Electronic Proceedings in Theoretical Computer Science
container_qzezkwolyvf33pglm2jldjklca
Open Publishing Association
Showing first 25 out of 4,012 results
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.188.0
A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira
2016
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.203.6
Secure Execution of Distributed Session Programs
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou
2011
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.69.1
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2019
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.302.1
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation
Fevzi Belli, Mutlu Beyazit
2009
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.3.6
Fourier Series Formalization in ACL2(r)
Cuong K. Chau, Matt Kaufmann, Warren A. Hunt
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.192.4
A Graphical Approach to Progress for Structured Communication in Web Services
Marco Carbone, Søren Debois
2010
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.38.4
Dependent Inductive and Coinductive Types are Fibrational Dialgebras
Henning Basold
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.191.3
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
2013
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.134.4
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2014
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.162.2
The HIVE Tool for Informed Swarm State Space Exploration
Anton Wijs
2011
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.72.10
Checking Zenon Modulo Proofs in Dedukti
Raphaël Cauderlier, Pierre Halmagrand
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.186.7
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
Salvador Lucas
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.200.3
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
2011
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.51.1
Simple strategies for Banach-Mazur games and fairly correct systems
Thomas Brihaye, Quentin Menet
2013
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.119.5
A structured approach to VO reconfigurations through Policies
Stephan Reiff-Marganiec
2012
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.83.3
On Multiplicative Linear Logic, Modality and Quantum Circuits
Ugo Dal Lago, Claudia Faggian
2012
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.95.6
Two-Domain DNA Strand Displacement
Luca Cardelli
2010
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.26.5
Relating BIP and Reo
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.189.3
A Type-Safe Model of Adaptive Object Groups
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
2012
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.91.1
Uniform Proofs of Normalisation and Approximation for Intersection Types
Kentaro Kikuchi
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.177.2
Koka: Programming with Row Polymorphic Effect Types
Daan Leijen
2014
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.153.8
Types for Security Protocols
Riccardo Focardi, Matteo Maffei
2009
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.7.0.1
jsCoq: Towards Hybrid Theorem Proving Interfaces
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot
2017
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.239.2
Domain-specific queries and Web search personalization: some investigations
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola
2015
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.188.6
« Previous
Showing results 0 — 25 out of 4,012 results
Next »