Electronic proceedings in theoretical computer science ; EPTCS

Format: Monographische Schriftenreihe, Elektronische Schriftenreihe
Sprache: Unbestimmt
veröffentlicht: Sydney: NICTA, 2008-
Schlagworte:
ISSN: 2075-2180
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Einzelbände

Band Jahr Titel
184(2015), Seite 49-63 2015 Breaking dense structures proving stability of densely structured hybrid systems Eike Möhlmann and Oliver Theel
189(2015), Seite 53-67 2015 Analysis of Petri nets and transition systems Eike Best, Uli Schlachter
229(2016), Seite 21-34 2016 What you really need to know about your neighbor Werner Damm, Bernd Finkbeiner, Astrid Rakow
234 1st January 2017 Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016 edited by: Sibylle Schwarz and Janis Voigtländer
235 1st January 2017 Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation Porto, Portugal, 23rd June 2016 edited by: Horatiu Cirstea and Santiago Escobar
236 1st January 2017 Proceedings 13th International Conference on Quantum Physics and Logic Glasgow, Scotland, 6-10 June 2016 edited by: Ross Duncan and Chris Heunen
237 11th January 2017 Proceedings XVI Jornadas sobre Programación y Lenguajes Salamanca, Spain, 14-16th September 2016 edited by: Alicia Villanueva
238 17th January 2017 Proceedings Fourth International Workshop on Linearity Porto, Portugal, 25 June 2016 edited by: Iliano Cervesato and Maribel Fernández
239 24th January 2017 Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 edited by: Serge Autexier and Pedro Quaresma
240 27th January 2017 Proceedings of the Third Workshop on Formal Integrated Development Environment Limassol, Cyprus, November 8, 2016 edited by: Catherine Dubois, Paolo Masci and Dominique Méry
241 7th February 2017 Proceedings, ML Family/OCaml Users and Developers workshops Vancouver, Canada, 3rd & 4th September 2015 edited by: Jeremy Yallop and Damien Doligez
242 7th February 2017 Proceedings Eighth Workshop on Intersection Types and Related Systems Porto, Portugal, 26th June 2016 edited by: Naoki Kobayashi
243 6th March 2017 Proceedings of the Ninth Workshop on Methods for Modalities Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017 edited by: Sujata Ghosh and R. Ramanujam
244 15th March 2017 Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems Uppsala, Sweden, 29th April 2017 edited by: Holger Hermanns and Peter Höfner
245 20th March 2017 Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures Uppsala, Sweden, 22nd April 2017 edited by: Jan Kofroň and Jana Tumova
246 8th April 2017 Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software Uppsala, Sweden, 29th April 2017 edited by: Vasco T. Vasconcelos and Philipp Haller
247 8th April 2017 Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis Uppsala, Sweden, 22nd April 2017 edited by: Erika Ábrahám and Sergiy Bogomolov
248 18th April 2017 Proceedings 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis Uppsala, Sweden, April 22-23, 2017 edited by: Guillaume Bonfante and Georg Moser
249 2nd May 2017 Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications Austin, Texas, USA, May 22-23, 2017 edited by: Anna Slobodova and Warren Hunt Jr.
250 12th July 2017 Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems Uppsala, Sweden, 23rd April 2017 edited by: Herbert Wiklicky and Erik de Vink
251 25th July 2017 Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge Liverpool, UK, 24-26 July 2017 edited by: Jérôme Lang
252 21st August 2017 Proceedings 15th International Conference on Automata and Formal Languages Debrecen, Hungary, September 4-6, 2017 edited by: Erzsébet Csuhaj-Varjú, Pál Dömösi and György Vaszil
253 23rd August 2017 Proceedings Fifth International Workshop on Verification and Program Transformation Uppsala, Sweden, 29th April 2017 edited by: Alexei Lisitsa, Andrei P. Nemytykh and Maurizio Proietti
254 23rd August 2017 Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques Torino, Italy, 19 September 2017 edited by: Adrian Francalanza and Gordon J. Pace
255 31st August 2017 Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 edited by: Kirstin Peters and Simone Tini
256 2017 Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification Roma, Italy, 20-22 September 2017 Edited by: Patricia Bouyer, Andrea Orlandini and Pierluigi San Pietro
257 7th September 2017 Proceedings First Workshop on Formal Verification of Autonomous Vehicles Turin, Italy, 19th September 2017 edited by: Lukas Bulwahn, Maryam Kamali and Sven Linker
258 13th September 2017 Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types Edinburgh, UK, 28-29 November 2016 edited by: Ekaterina Komendantskaya and John Power
259 10th October 2017 Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies Uppsala, Sweden, 29th April 2017 edited by: Alex Groce and Stefan Leue
260 28th November 2017 Proceedings Sixth Workshop on Synthesis Heidelberg, Germany, 22nd July 2017 edited by: Dana Fisman and Swen Jacobs
261 29th November 2017 Proceedings 10th Interaction and Concurrency Experience Neuchâtel, Switzerland, 21-22nd June 2017 edited by: Massimo Bartoletti, Laura Bocchi, Ludovic Henrio and Sophia Knight
262 4th December 2017 Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving Brasília, Brazil, 23-24 September 2017 edited by: Catherine Dubois and Bruno Woltzenlogel Paleo
263 22nd December 2017 Proceedings Third Workshop on Graphs as Models Uppsala, Sweden, 23rd April 2017 edited by: Timo Kehrer and Alice Miller
264 3rd February 2018 Proceedings First Workshop on Architectures, Languages and Paradigms for IoT Turin, Italy, September 18, 2017 edited by: Danilo Pianini and Guido Salvaneschi
265 16th February 2018 Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Oxford, UK, 8th September 2017 edited by: Horatiu Cirstea and David Sabel
266 27th February 2018 Proceedings 14th International Conference on Quantum Physics and Logic Nijmegen, The Netherlands, 3-7 July 2017 edited by: Bob Coecke and Aleks Kissinger
267 2nd March 2018 Proceedings 6th International Workshop on Theorem proving components for Educational software Gothenburg, Sweden, 6 Aug 2017 edited by: Pedro Quaresma and Walther Neuper
273 2nd July 2018 Proceedings of the 9th International Workshop on Physics and Computation Fontainebleau, France, 26 June 2018 edited by: Michael Cuffaro and Philippos Papayannopoulos
274 3rd July 2018 Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Oxford, UK, 7th July 2018 edited by: Frédéric Blanqui and Giselle Reis
275 10th July 2018 Proceedings of the 7th Workshop on Mathematically Structured Functional Programming Oxford, UK, 8th July 2018 edited by: Robert Atkey and Sam Lindley
276 24th August 2018 Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics Beijing, China, September 3, 2018 edited by: Jorge A. Pérez and Simone Tini
277 7th September 2018 Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification Saarbrücken, Germany, 26-28th September 2018 edited by: Andrea Orlandini and Martin Zimmermann
278 12th September 2018 Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis Oxford, UK, 13th July 2018 edited by: Temesghen Kahsai and German Vidal
279 4th October 2018 Proceedings 11th Interaction and Concurrency Experience Madrid, Spain, June 20-21, 2018 edited by: Massimo Bartoletti and Sophia Knight
280 29th October 2018 Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications Austin, Texas, USA, November 5-6, 2018 edited by: Shilpi Goel and Matt Kaufmann
281 19th October 2018 Proceedings Seventh International Workshop on Classical Logic and Computation Oxford (UK), 7th of July 2018 edited by: Stefano Berardi and Alexandre Miquel
282 24th October 2018 Proceedings, 18th Refinement Workshop Oxford, UK, 18th July 2018 edited by: John Derrick, Brijesh Dongol and Steve Reeves
283 8th November 2018 Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences Nice, France, 2-3rd September 2018 edited by: Martha Lewis, Bob Coecke, Jules Hedges, Dimitri Kartsaklis and Dan Marsden
284 27th November 2018 Proceedings 4th Workshop on Formal Integrated Development Environment Oxford, England, 14 July 2018 edited by: Paolo Masci, Rosemary Monahan and Virgile Prevosto
285 31st December 2018 Proceedings, ML Family Workshop/OCaml Users and Developers workshops Nara, Japan, September 22-23, 2016 edited by: Kenichi Asai and Mark Shinwell
286 3rd January 2019 Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology Thessaloniki, Greece, 21st April 2018 edited by: Bernd Finkbeiner and Samantha Kleinberg
287 31st January 2019 Proceedings of the 15th International Conference on Quantum Physics and Logic Halifax, Canada, 3-7th June 2018 edited by: Peter Selinger and Giulio Chiribella
288 6th February 2019 Proceedings Tenth International Workshop on Computing with Terms and Graphs Oxford, UK, 7th July 2018 edited by: Maribel Fernández and Ian Mackie
289 22nd February 2019 Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Oxford, England, 8th July 2018 edited by: Joachim Niehren and David Sabel
290 1st April 2019 Proceedings 7th International Workshop on Theorem proving components for Educational software Oxford, United Kingdom, 18 july 2018 edited by: Pedro Quaresma and Walther Neuper
291 2nd April 2019 Proceedings, Programming Language Approaches to Concurrency- and Communication-cEntric Software Prague, Czech Republic, 7th April 2019 edited by: Francisco Martins and Dominic Orchard
292 15th April 2019 Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications Oxford, UK, 7-8 July 2018 edited by: Thomas Ehrhard, Maribel Fernández, Valeria de Paiva and Lorenzo Tortora de Falco
293 23rd April 2019 Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems Oxford, UK, 8th July 2018 edited by: Michele Pagani and Sandra Alves
294 16th May 2019 Proceedings, ML Family/OCaml Users and Developers workshops Oxford, UK, 7th September 2017 edited by: Sam Lindley and Gabriel Scherer
295 18th June 2019 Proceedings Seventh International Workshop on Trends in Functional Programming in Education Chalmers University, Gothenburg, Sweden, 14th June 2018 edited by: Peter Achten and Heather Miller
296 9th July 2019 Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning Prague, Czech Republic, 6-7th April 2019 edited by: Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos and Mattias Ulbrich
297 19th July 2019 Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge Toulouse, France, 17-19 July 2019 edited by: Lawrence S. Moss
298 14th August 2019 Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis Prague, Czech Republic, 6.4.2019-7.4.2019 edited by: Thomas Seiller and Steffen Jost