default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Proceedings in Theoretical Computer Science (EPTCS)

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

visit
authority control:
export stream metadata
export records of this stream
first 1000 hits only:
BHT key:
- db/series/eptcs/index.bht
stream key:
- streams/series/eptcs
ask others
view this stream in
- dblp search
share bibliography
persistent URL:
- https://dblp.org/streams/series/eptcs
help us
- How can I correct errors in dblp?
- contact dblp

> Home > Series

SPARQL queries

Venue statistics

records by year

document access

frequent authors

440
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2601-03249
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2601-03249
Leen Lambers, Oszkár Semeráth:
Proceedings 16th International Workshop on Graph Computation Models, GCM@STAF 2025, Koblenz, Germany, 10 June 2025. EPTCS 440, 2026 [contents]
439
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2601-00047
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2601-00047
Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski:
Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025. EPTCS 439, 2026 [contents]
438
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2512-22054
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2512-22054
Giuseppe De Palma, Saverio Giallorenzo:
Proceedings First Workshop on Adaptable Cloud Architectures, WACA@DisCoTec 2025, Lille, France, 20th June 2025. EPTCS 438, 2025 [contents]
437
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-20540
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-20540
Adam Bjorndahl:
Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2025, Düsseldorf, Germany, July 14-16, 2025. EPTCS 437, 2025 [contents]
436
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-13245
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-13245
Matt Luckcuck, Maike Schwammberger, Mengwei Xu:
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2025, Paris, 17th to 19th of November 2025. EPTCS 436, 2025 [contents]
435
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-00626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-00626
Alexis Saurin:
Proceedings Twelfth Workshop on Fixed Points in Computer Science, FICS@CSL 2024, Naples, Italy, 19-20th February 2024. EPTCS 435, 2025 [contents]
434
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-25468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-25468
Emanuele De Angelis, Florian Frohn:
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis, HCVS@CAV 2025, Zagreb, Croatia, 22 July 2025. EPTCS 434, 2025 [contents]
433
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-23211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-23211
Cinzia Di Giusto, Giorgio Bacci:
Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics, EXPRESS/SOS 2025, and 22nd Workshop on Structural Operational SemanticsAarhus, Denmark, 25th August 2025. EPTCS 433, 2025 [contents]
432
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-12314
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-12314
Stephen F. Siegel, Ganesh Gopalakrishnan:
Proceedings of the International Workshop on Verification of Scientific Software, VSS@ETAPS 2025, Hamilton, Canada, 4th May 2025. EPTCS 432, 2025 [contents]
431
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-11199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-11199
Kaustuv Chaudhuri, Daniele Nantes-Sobrinho:
Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2025, Birmingham, UK, 19 July 2025. EPTCS 431, 2025 [contents]
430
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-23739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-23739
Haniel Barbosa, Christophe Ringeissen:
Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025. EPTCS 430, 2025 [contents]
429
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-18357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-18357
Michael Johnson, David Jaz Myers:
Proceedings Seventh International Conference on Applied Category Theory 2024, ACT 2024, Oxford, United Kingdom, 17 - 21 June 2024. EPTCS 429, 2025 [contents]
428
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-13258
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-13258
Giorgio Bacci, Adrian Francalanza:
Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025. EPTCS 428, 2025 [contents]
427
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-11877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-11877
Andrei Arusoaie, Horatiu Cheval, Radu Iosif:
Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025. EPTCS 427, 2025 [contents]
426
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-13619
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-13619
Alejandro Díaz-Caro, Ognyan Oreshkov, Ana Belén Sainz:
Proceedings of the 22nd International Conference on Quantum Physics and Logic, QPL 2025, Varna, Bulgaria, 14 July 2025 - 18 July 2025. EPTCS 426, 2025 [contents]
425
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-12308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-12308
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun:
Proceedings 18th Interaction and Concurrency Experience, ICE 2025, Lille, France, 20th June 2025. EPTCS 425, 2025 [contents]
424
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-02305
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-02305
Rose Bohrer:
Proceedings 14th International Workshop on Trends in Functional Programming in Education, TFPiE 2025, Oxford, UK, 13 January 2025. EPTCS 424, 2025 [contents]
423
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-18567
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-18567
Ruben Gamboa, Panagiotis Manolios:
Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, 12-13 May, 2025. EPTCS 423, 2025 [contents]
422
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-14082
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-14082
Nelma Moreira, Luca Prigioniero:
Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2025, Loughborough University, July 21-22, 2025. EPTCS 422, 2025 [contents]
421
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2506-05219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2506-05219
Cynthia Kop, Hélida Salles Santos:
Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2024, Goiânia, Brazil, 18th-20th September 2024. EPTCS 421, 2025 [contents]
420
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-19078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-19078
Farzaneh Derakhshan, Jan Hoffmann:
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2025, Hamilton, Canada, 4th May 2025. EPTCS 420, 2025 [contents]
419
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-04677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-04677
Julien Narboux, Walther Neuper, Pedro Quaresma:
Proceedings The 13th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2024, Nancy, France, 1-2nd July 2024. EPTCS 419, 2025 [contents]
418
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-02873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-02873
Marsha Chechik, Arianna Fedeli, Gianluca Filippone, Federico Formica, Mirgita Frasheri, Nico Hochgeschwender, Lina Marsso:
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, ASQAP 2025, Hamilton, Canada, 4th May 2025. EPTCS 418, 2025 [contents]
417
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-19632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-19632
Jörg Endrullis, Dominik Grzelak, Tobias Heindel, Jens Kosiol:
Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, GCM 2024, Leicester, UK and Enschede, the Netherlands, 18 July 2023 and 9 July 2024. EPTCS 417, 2025 [contents]
416
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-08453
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-08453
Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift:
Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024. EPTCS 416, 2025 [contents]
415
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-20053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-20053
Andrzej Indrzejczak, Michal Zawidzki:
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, NCL 2024, Łódź, Poland, 5-8 September 2024. EPTCS 415, 2024 [contents]
414
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-07570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-07570
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun:
Proceedings 17th Interaction and Concurrency Experience, ICE 2024, Groningen, The Netherlands, 21st June 2024. EPTCS 414, 2024 [contents]
413
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-01856
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-01856
Annette Bieniusa, Markus Degen, Stefan Wehr:
A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, Freiburg, Germany, 30th August 2024. EPTCS 413, 2024 [contents]
412
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-13318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-13318
Georgiana Caltais, Cinzia Di Giusto:
Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, EXPRESS/SOS 2024, and 21st Workshop on Structural Operational SemanticsCalgary, Canada, 9th September 2024. EPTCS 412, 2024 [contents]
411
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-13215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-13215
Matt Luckcuck, Mengwei Xu:
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024. EPTCS 411, 2024 [contents]
410
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23020
Mircea Marin, Laurentiu Leustean:
Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18. EPTCS 410, 2024 [contents]
409
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-21884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-21884
Antonis Achilleos, Adrian Francalanza:
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2024, Reykjavik, Iceland, 19-21 June 2024. EPTCS 409, 2024 [contents]
408
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-19298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-19298
Sandra Alves, Ian Mackie:
Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. EPTCS 408, 2024 [contents]
407
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-06120
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-06120
Florin Manea, Giovanni Pighizzini:
Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), NCMA 2024, Göttingen, Germany, 12-13 August 2024. EPTCS 407, 2024 [contents]
406
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-05113
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-05113
Alejandro Díaz-Caro, Vladimir Zamdzhiev:
Proceedings of the 21st International Conference on Quantum Physics and Logic, QPL 2024, Buenos Aires, Argentina, July 15-19, 2024. EPTCS 406, 2024 [contents]
405
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-06355
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-06355
Stephen Chang:
Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education, TFPIE 2024, South Orange, New Jersey, USA, 9th January 2024. EPTCS 405, 2024 [contents]
404
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-05822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-05822
Florian Rabe, Claudio Sacerdoti Coen:
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2024, Tallinn, Estonia, 8th July 2024. EPTCS 404, 2024 [contents]
403
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-14588
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-14588
Srecko Brlek, Luca Ferrari:
Proceedings of the 13th edition of the conference on Random Generation of Combinatorial Structures. Polyominoes and Tilings, GASCom 2024, Bordeaux, France, 24-28th June 2024. EPTCS 403, 2024 [contents]
402
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-13672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-13672
Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales:
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, July 1-2, 2023 & April 23, 2023. EPTCS 402, 2024 [contents]
401
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03712
Diana Costa, Raymond Hu:
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 401, 2024 [contents]
400
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03709
Julien Narboux, Walther Neuper, Pedro Quaresma:
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023. EPTCS 400, 2024 [contents]
399
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-17862
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-17862
Frédéric Lang, Matthias Volk:
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 399, 2024 [contents]
398
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10725
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10725
Pedro Quaresma, Zoltán Kovács:
Proceedings 14th International Conference on Automated Deduction in Geometry, ADG 2023, Belgrade, Serbia, 20-22th September 2023. EPTCS 398, 2024 [contents]
397
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-08138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-08138
Sam Staton, Christina Vasilakopoulou:
Proceedings of the Sixth International Conference on Applied Category Theory 2023, ACT 2023, University of Maryland, 31 July - 4 August 2023. EPTCS 397, 2023 [contents]
396
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-09918
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-09918
Alberto Ciaffaglione, Carlos Olarte:
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023. EPTCS 396, 2023 [contents]
395
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08987
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger:
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. EPTCS 395, 2023 [contents]
394
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08375
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08375
Stefano Gogioso, Matty Hoban:
Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022. EPTCS 394, 2023 [contents]
393
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08373
Alessandro Coglio, Sol Swords:
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023. EPTCS 393, 2023 [contents]
392
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-18720
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-18720
Maurice H. ter Beek, Clemens Dubslaff:
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. EPTCS 392, 2023 [contents]
391
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-00333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-00333
Angelo Ferrando, Rafael Cardoso:
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023. EPTCS 391, 2023 [contents]
390
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-17318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-17318
Antonis Achilleos, Dario Della Monica:
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. EPTCS 390, 2023 [contents]
389
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-12959
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-12959
Horatiu Cheval, Laurentiu Leustean, Andrei Sipos:
Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. EPTCS 389, 2023 [contents]
388
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07333
Benedek Nagy, Rudolf Freund:
Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2023, Famagusta, North Cyprus, 18th-19th September, 2023. EPTCS 388, 2023 [contents]
387
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05788
Claudio Antares Mezzina, Georgiana Caltais:
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. EPTCS 387, 2023 [contents]
386
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-01126
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-01126
Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai:
Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023. EPTCS 386, 2023 [contents]
385
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-14898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-14898
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 [contents]
384
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15489
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15489
Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev:
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023. EPTCS 384, 2023 [contents]
383
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-08920
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-08920
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina:
Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023. EPTCS 383, 2023 [contents]
382
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-06110
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-06110
Elena Machkasova:
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, TFPIE 2023, Boston, Massachusetts, USA, 12th January 2023. EPTCS 382, 2023 [contents]
381
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-03679
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-03679
Michael Moortgat, Mehrnoosh Sadrzadeh:
Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation, AMSLO@ESSLLI 2023, Ljubljana, Slovenia, August 7-8, 2023. EPTCS 381, 2023 [contents]
380
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-15519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-15519
Jade Master, Martha Lewis:
Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022. EPTCS 380, 2023 [contents]
379
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04005
Rineke Verbrugge:
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. EPTCS 379, 2023 [contents]
378
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-05439
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-05439
Ilaria Castellani, Alceste Scalas:
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023. EPTCS 378, 2023 [contents]
377
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-14219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-14219
Clemens Grabmayer:
Proceedings Twelfth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2022, Technion, Haifa, Israel, 1st August 2022. EPTCS 377, 2023 [contents]
376
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-12680
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-12680
Daniele Nantes-Sobrinho, Pascal Fontaine:
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022. EPTCS 376, 2023 [contents]
375
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-05360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-05360
Pedro Quaresma, João Marcos, Walther Neuper:
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. EPTCS 375, 2023 [contents]
374
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-10975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-10975
Reiko Heckel, Christopher M. Poskitt:
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. EPTCS 374, 2022 [contents]
373
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-10675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-10675
Geoffrey William Hamilton, Temesghen Kahsai, Maurizio Proietti:
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022. EPTCS 373, 2022 [contents]
372
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-01102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-01102
Kohei Kishida:
Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021. EPTCS 372, 2022 [contents]
371
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-13181
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-13181
Matt Luckcuck, Marie Farrell:
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022. EPTCS 371, 2022 [contents]
370
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-09333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-09333
Pierre Ganty, Dario Della Monica:
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. EPTCS 370, 2022 [contents]
369
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-09208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-09208
Vlad Rusu:
Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022. EPTCS 369, 2022 [contents]
368
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-14777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-14777
Valentina Castiglioni, Claudio Antares Mezzina:
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. EPTCS 368, 2022 [contents]
367
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-13015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-13015
Henning Bordihn, Géza Horváth, György Vaszil:
Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2022, Debrecen, Hungary, August 26-27, 2022. EPTCS 367, 2022 [contents]
366
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-05313
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-05313
Michael Moortgat, Gijs Wijnholds:
Proceedings End-to-End Compositional Models of Vector-Based Semantics, E2ECOMPVEC@ESSLLI 2022, NUI Galway, Ireland, 15-16 August 2022. EPTCS 366, 2022 [contents]
365
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-04086
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-04086
Clément Aubert, Cinzia Di Giusto, Larisa Safina, Alceste Scalas:
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022. EPTCS 365, 2022 [contents]
364
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-02685
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-02685
Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle:
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. EPTCS 364, 2022 [contents]
363
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-11600
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-11600
Peter Achten, Elena Machkasova:
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, TFPIE 2021 / 2022, Kraków, Poland (online), 16th February 2021 / 16th March 2022. EPTCS 363, 2022 [contents]
362
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09058
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis:
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. EPTCS 362, 2022 [contents]
361
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-04391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-04391
Anne Remke, Dung Hoang Tran:
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021. EPTCS 361, 2022 [contents]
360
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-09534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-09534
Jeremy Gibbons, Max S. New:
Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 360, 2022 [contents]
359
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11103
Rob Sumners, Cuong Chau:
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022. EPTCS 359, 2022 [contents]
358
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-06359
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-06359
Andrzej Indrzejczak, Michal Zawidzki:
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. EPTCS 358, 2022 [contents]
357
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-03415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-03415
Mauricio Ayala-Rincón, Eduardo Bonelli:
Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. EPTCS 357, 2022 [contents]
356
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-12142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-12142
Marco Carbone, Rumyana Neykova:
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022. EPTCS 356, 2022 [contents]
355
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09299
Clemens Dubslaff, Bas Luttik:
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 355, 2022 [contents]
354
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-02144
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-02144
João Marcos, Walther Neuper, Pedro Quaresma:
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021. EPTCS 354, 2022 [contents]
353
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14305
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14305
Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021 [contents]
352
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14770
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14770
Predrag Janicic, Zoltán Kovács:
Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021. EPTCS 352, 2021 [contents]
351
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-13746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-13746
Ana Sokolova:
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. EPTCS 351, 2021 [contents]
350
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-10217
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-10217
Berthold Hoffmann, Mark Minas:
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021. EPTCS 350, 2021 [contents]
349
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2111-07538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-07538
Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents]
348
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-11527
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-11527
Marie Farrell, Matt Luckcuck:
Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021. EPTCS 348, 2021 [contents]
347
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-14908
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-14908
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas:
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021. EPTCS 347, 2021 [contents]
346
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-07798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-07798
Pierre Ganty, Davide Bresolin:
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. EPTCS 346, 2021 [contents]
345
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-07914
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-07914
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents]
344
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-03988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-03988
Hossein Hojjat, Bishoksan Kafle:
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. EPTCS 344, 2021 [contents]
343
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-04886
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-04886
Chris Heunen, Miriam Backens:
Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021. EPTCS 343, 2021 [contents]
342
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-02501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-02501
Temur Kutsia:
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021. EPTCS 342, 2021 [contents]
341
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-02001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-02001
Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021. EPTCS 341, 2021 [contents]
340
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-01534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-01534
Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden:
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. EPTCS 340, 2021 [contents]
339
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-09624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-09624
Ornela Dardha, Valentina Castiglioni:
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021. EPTCS 339, 2021 [contents]
338
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02369
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02369
José Proença, Andrei Paskevich:
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. EPTCS 338, 2021 [contents]
337
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07376
Elaine Pimentel, Enrico Tassi:
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021. EPTCS 337, 2021 [contents]
336
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-01544
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-01544
Chantal Keller, Mathias Fleury:
Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021. EPTCS 336, 2021 [contents]
335
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-10886
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10886
Joseph Y. Halpern, Andrés Perea:
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021. EPTCS 335, 2021 [contents]
334
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2102-01804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-01804
Patrick Bahr:
Proceedings 11th International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2020, Online, 5th July 2020. EPTCS 334, 2021 [contents]
333
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2101-07888
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07888
David I. Spivak, Jamie Vicary:
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020. EPTCS 333, 2021 [contents]
332
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2101-02835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-02835
Claudio Sacerdoti Coen, Alwen Tiu:
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020. EPTCS 332, 2021 [contents]
331
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2101-05256
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-05256
Thao Dang, Stefan Ratschan:
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020. EPTCS 331, 2021 [contents]
330
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01181
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01181
Berthold Hoffmann, Mark Minas:
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. EPTCS 330, 2020 [contents]
329
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01176
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01176
Matt Luckcuck, Marie Farrell:
Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020. EPTCS 329, 2020 [contents]
328
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2010-15832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-15832
Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020. EPTCS 328, 2020 [contents]
327
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-12521
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-12521
Grant O. Passmore, Ruben Gamboa:
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, Worldwide, Planet Earth, May 28-29, 2020. EPTCS 327, 2020 [contents]
326
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-09360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-09360
Jean-François Raskin, Davide Bresolin:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020. EPTCS 326, 2020 [contents]
325
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-09158
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-09158
Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents]
324
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-07628
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-07628
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas:
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020. EPTCS 324, 2020 [contents]
323
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-06334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06334
John Baez, Bob Coecke:
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019. EPTCS 323, 2020 [contents]
322
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-12414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-12414
Ornela Dardha, Jurriaan Rot:
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. EPTCS 322, 2020 [contents]
321
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-08923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-08923
Jurriaan Hage:
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, TFPIE 2020, Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020. EPTCS 321, 2020 [contents]
320
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02483
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02483
Laurent Fribourg, Matthias Heizmann:
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020. EPTCS 320, 2020 [contents]
319
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2007-11260
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-11260
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. EPTCS 319, 2020 [contents]
318
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-14750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14750
Bob Coecke, Matthew Leifer:
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 [contents]
317
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-14735
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14735
Max S. New, Sam Lindley:
Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020. EPTCS 317, 2020 [contents]
316
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-12403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-12403
Ansgar Fehnker, Hubert Garavel:
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. EPTCS 316, 2020 [contents]
315
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-01061
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01061
Giuseppe Di Molfetta, Vivien M. Kendon, Yutaka Shikano:
Proceedings 9th International Conference on Quantum Simulation and Quantum Walks, QSQW 2020, Marseille, France, 20-24/01/2020. EPTCS 315, 2020 [contents]
314
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-01062
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01062
Stephanie Balzer, Luca Padovani:
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020. EPTCS 314, 2020 [contents]
313
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-11895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-11895
Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. EPTCS 313, 2020 [contents]
312
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2001-06163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-06163
Alessandro Aldini, Herbert Wiklicky:
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 312, 2020 [contents]
311
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-11786
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-11786
Martin Suda, Sarah Winkler:
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019. EPTCS 311, 2019 [contents]
310
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-09611
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-09611
Rosemary Monahan, Virgile Prevosto, José Proença:
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS 310, 2019 [contents]
309
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-08966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-08966
Rachid Echahed, Detlef Plump:
Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. EPTCS 309, 2019 [contents]
308
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1910-13641
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-13641
Georgiana Caltais, Jean Krivine:
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 308, 2019 [contents]
307
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1910-08712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-08712
Dale Miller, Ivan Scagnetto:
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. EPTCS 307, 2019 [contents]
306
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-07646
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-07646
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents]
305
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-05979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05979
Jérôme Leroux, Jean-François Raskin:
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019. EPTCS 305, 2019 [contents]
304
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-05242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05242
Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas:
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019. EPTCS 304, 2019 [contents]
303
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-00584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-00584
Mircea Marin, Adrian Craciun:
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. EPTCS 303, 2019 [contents]
302
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-09302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-09302
Davide Ancona, Gordon Pace:
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. EPTCS 302, 2019 [contents]
301
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-08639
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08639
Giselle Reis, Haniel Barbosa:
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. EPTCS 301, 2019 [contents]
300
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-08213
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08213
Jorge A. Pérez, Jurriaan Rot:
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. EPTCS 300, 2019 [contents]
299
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-06723
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-06723
Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019. EPTCS 299, 2019 [contents]
298
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-04478
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04478
Thomas Seiller, Steffen Jost:
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019. EPTCS 298, 2019 [contents]
297
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-08335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-08335
Lawrence S. Moss:
Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019. EPTCS 297, 2019 [contents]
296
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-03523
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-03523
Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich:
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. EPTCS 296, 2019 [contents]
295
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1906-10757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10757
Peter Achten, Heather Miller:
Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018. EPTCS 295, 2019 [contents]
294
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1905-05909
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-05909
Sam Lindley, Gabriel Scherer:
Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017. EPTCS 294, 2019 [contents]
293
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-09561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-09561
Michele Pagani, Sandra Alves:
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. EPTCS 293, 2019 [contents]
292
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06159
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents]
291
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-00396
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-00396
Francisco Martins, Dominic Orchard:
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 291, 2019 [contents]
290
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1903-12402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-12402
Pedro Quaresma, Walther Neuper:
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. EPTCS 290, 2019 [contents]
289
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1902-07818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-07818
Joachim Niehren, David Sabel:
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018. EPTCS 289, 2019 [contents]
288
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1902-01510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-01510
Maribel Fernández, Ian Mackie:
Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 288, 2019 [contents]
287
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-09476
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-09476
Peter Selinger, Giulio Chiribella:
Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018. EPTCS 287, 2019 [contents]
286
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-00073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-00073
Bernd Finkbeiner, Samantha Kleinberg:
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. EPTCS 286, 2019 [contents]
285
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1812-10891
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-10891
Kenichi Asai, Mark R. Shinwell:
Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016. EPTCS 285, 2018 [contents]
284
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-09014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-09014
Paolo Masci, Rosemary Monahan, Virgile Prevosto:
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284, 2018 [contents]
283
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-02701
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-02701
Martha Lewis, Bob Coecke, Jules Hedges, Dimitri Kartsaklis, Dan Marsden:
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018. EPTCS 283, 2018 [contents]
282
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-08739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-08739
John Derrick, Brijesh Dongol, Steve Reeves:
Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. EPTCS 282, 2018 [contents]
281
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-05392
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-05392
Stefano Berardi, Alexandre Miquel:
Proceedings Seventh International Workshop on Classical Logic and Computation, CL&C 2018, Oxford (UK), 7th of July 2018. EPTCS 281, 2018 [contents]
280
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-03762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-03762
Shilpi Goel, Matt Kaufmann:
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018. EPTCS 280, 2018 [contents]
279
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02053
Massimo Bartoletti, Sophia Knight:
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018. EPTCS 279, 2018 [contents]
278
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-04554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-04554
Temesghen Kahsai, Germán Vidal:
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. EPTCS 278, 2018 [contents]
277
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-02416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-02416
Andrea Orlandini, Martin Zimmermann:
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. EPTCS 277, 2018 [contents]
276
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08071
Jorge A. Pérez, Simone Tini:
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EPTCS 276, 2018 [contents]
275
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-03732
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03732
Robert Atkey, Sam Lindley:
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018. EPTCS 275, 2018 [contents]
274
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-01352
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01352
Frédéric Blanqui, Giselle Reis:
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 274, 2018 [contents]
273
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-10563
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-10563
Michael Cuffaro, Philippos Papayannopoulos:
Proceedings of the 9th International Workshop on Physics and Computation, PC@UCNC 2018, Fontainebleau, France, 26 June 2018. EPTCS 273, 2018 [contents]
272
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09330
Simon Bliudze, Saddek Bensalem:
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. EPTCS 272, 2018 [contents]
271
- view
- export record
  dblp key:
  - journals/corr/abs-1805-04636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-04636
Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. EPTCS 271, 2018 [contents]
270
- view
- export record
  dblp key:
  - journals/corr/abs-1805-04255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-04255
Simon Thompson:
Proceedings Sixth Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017. EPTCS 270, 2018 [contents]
269
- view
- export record
  dblp key:
  - journals/corr/abs-1804-03406
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-03406
Mario Gleirscher, Stefan Kugele, Sven Linker:
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018. EPTCS 269, 2018 [contents]
268
- view
- export record
  dblp key:
  - journals/corr/abs-1803-08668
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-08668
John P. Gallagher, Rob van Glabbeek, Wendelin Serwe:
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. EPTCS 268, 2018 [contents]
267
- view
- export record
  dblp key:
  - journals/corr/abs-1803-00722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00722
Pedro Quaresma, Walther Neuper:
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267, 2018 [contents]
266
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1802-09737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-09737
Bob Coecke, Aleks Kissinger:
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. EPTCS 266, 2018 [contents]
265
- view
- export record
  dblp key:
  - journals/corr/abs-1802-05862
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-05862
Horatiu Cirstea, David Sabel:
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. EPTCS 265, 2018 [contents]
264
- view
- export record
  dblp key:
  - journals/corr/abs-1802-00976
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-00976
Danilo Pianini, Guido Salvaneschi:
Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017. EPTCS 264, 2018 [contents]
263
- view
- export record
  dblp key:
  - journals/corr/abs-1712-08345
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-08345
Timo Kehrer, Alice Miller:
Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 263, 2017 [contents]
262
- view
- export record
  dblp key:
  - journals/corr/abs-1712-00898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-00898
Catherine Dubois, Bruno Woltzenlogel Paleo:
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. EPTCS 262, 2017 [contents]
261
- view
- export record
  dblp key:
  - journals/corr/abs-1711-10708
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10708
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017. EPTCS 261, 2017 [contents]
260
- view
- export record
  dblp key:
  - journals/corr/abs-1711-10224
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10224
Dana Fisman, Swen Jacobs:
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. EPTCS 260, 2017 [contents]
259
- view
- export record
  dblp key:
  - journals/corr/abs-1710-02770
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-02770
Alex Groce, Stefan Leue:
Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 259, 2017 [contents]
258
- view
- export record
  dblp key:
  - journals/corr/abs-1709-04199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-04199
Ekaterina Komendantskaya, John Power:
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016. EPTCS 258, 2017 [contents]
257
- view
- export record
  dblp key:
  - journals/corr/abs-1709-02126
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-02126
Lukas Bulwahn, Maryam Kamali, Sven Linker:
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. EPTCS 257, 2017 [contents]
256
- view
- export record
  dblp key:
  - journals/corr/abs-1709-01761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-01761
Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro:
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. EPTCS 256, 2017 [contents]
255
- view
- export record
  dblp key:
  - journals/corr/abs-1709-00049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-00049
Kirstin Peters, Simone Tini:
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. EPTCS 255, 2017 [contents]
254
- view
- export record
  dblp key:
  - journals/corr/abs-1708-06889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-06889
Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents]
253
- view
- export record
  dblp key:
  - journals/corr/abs-1708-06887
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-06887
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti:
Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 253, 2017 [contents]
252
- view
- export record
  dblp key:
  - journals/corr/abs-1708-06226
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-06226
Erzsébet Csuhaj-Varjú, Pál Dömösi, György Vaszil:
Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017. EPTCS 252, 2017 [contents]
251
- view
- export record
  dblp key:
  - journals/corr/Lang17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Lang17a
Jérôme Lang:
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017. EPTCS 251, 2017 [contents]
250
- view
- export record
  dblp key:
  - journals/corr/WiklickyV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WiklickyV17
Herbert Wiklicky, Erik P. de Vink:
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 250, 2017 [contents]
249
- view
- export record
  dblp key:
  - journals/corr/SlobodovaJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SlobodovaJ17
Anna Slobodová, Warren A. Hunt Jr.:
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017. EPTCS 249, 2017 [contents]
248
- view
- export record
  dblp key:
  - journals/corr/BonfanteM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BonfanteM17
Guillaume Bonfante, Georg Moser:
Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017. EPTCS 248, 2017 [contents]
247
- view
- export record
  dblp key:
  - journals/corr/AbrahamB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbrahamB17
Erika Ábrahám, Sergiy Bogomolov:
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 247, 2017 [contents]
246
- view
  authority control:
- export record
  dblp key:
  - journals/corr/VasconcelosH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VasconcelosH17
Vasco T. Vasconcelos, Philipp Haller:
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 246, 2017 [contents]
245
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KofronT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KofronT17
Jan Kofron, Jana Tumova:
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 245, 2017 [contents]
244
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HermannsH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HermannsH17
Holger Hermanns, Peter Höfner:
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017 [contents]
243
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GhoshR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshR17
Sujata Ghosh, R. Ramanujam:
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. EPTCS 243, 2017 [contents]
242
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kobayashi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kobayashi17
Naoki Kobayashi:
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. EPTCS 242, 2017 [contents]
241
- view
  authority control:
- export record
  dblp key:
  - journals/corr/YallopD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YallopD17
Jeremy Yallop, Damien Doligez:
Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015. EPTCS 241, 2017 [contents]
240
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuboisMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisMM17
Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents]
239
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AutexierQ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AutexierQ17
Serge Autexier, Pedro Quaresma:
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents]
238
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CervesatoF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CervesatoF17
Iliano Cervesato, Maribel Fernández:
Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. EPTCS 238, 2017 [contents]
237
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Villanueva17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Villanueva17
Alicia Villanueva:
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents]
236
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuncanH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuncanH17
Ross Duncan, Chris Heunen:
Proceedings 13th International Conference on Quantum Physics and Logic, QPL 2016, Glasgow, Scotland, 6-10 June 2016. EPTCS 236, 2017 [contents]
235
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CirsteaE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CirsteaE17
Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents]
234
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SchwarzV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchwarzV17
Sibylle Schwarz, Janis Voigtländer:
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. EPTCS 234, 2017 [contents]
233
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BoudaHKSR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BoudaHKSR16
Jan Bouda, Lukás Holík, Jan Kofron, Jan Strejcek, Adam Rambousek:
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016. EPTCS 233, 2016 [contents]
232
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KargahiT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KargahiT16
Mehdi Kargahi, Ashutosh Trivedi:
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016. EPTCS 232, 2016 [contents]
231
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeussnerKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeussnerKW16
Alexander Heußner, Aleks Kissinger, Anton Wijs:
Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 231, 2016 [contents]
230
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JeuringM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JeuringM16
Johan Jeuring, Jay McCarthy:
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016. EPTCS 230, 2016 [contents]
229
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PiskacD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PiskacD16
Ruzica Piskac, Rayna Dimitrova:
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. EPTCS 229, 2016 [contents]
228
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BehjatiE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BehjatiE16
Razieh Behjati, Ahmed Elmokashfi:
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016. EPTCS 228, 2016 [contents]
227
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TribastoneW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TribastoneW16
Mirco Tribastone, Herbert Wiklicky:
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 227, 2016 [contents]
226
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CantoneD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CantoneD16
Domenico Cantone, Giorgio Delzanno:
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS 226, 2016 [contents]
225
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CorradiniZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CorradiniZ16
Andrea Corradini, Hans Zantema:
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. EPTCS 225, 2016 [contents]
224
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GosslerS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GosslerS16
Gregor Gößler, Oleg Sokolsky:
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 224, 2016 [contents]
223
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BartolettiHKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiHKV16
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira:
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS 223, 2016 [contents]
222
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GeblerP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeblerP16
Daniel Gebler, Kirstin Peters:
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. EPTCS 222, 2016 [contents]
221
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KartsaklisLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KartsaklisLR16
Dimitrios Kartsaklis, Martha Lewis, Laura Rimell:
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016. EPTCS 221, 2016 [contents]
220
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BrihayeDJMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrihayeDJMS16
Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents]
219
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GallagherR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GallagherR16
John P. Gallagher, Philipp Rümmer:
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016 [contents]
218
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LomuscioV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LomuscioV16
Alessio Lomuscio, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents]
217
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekL16
Maurice H. ter Beek, Michele Loreti:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents]
216
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HamiltonLN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HamiltonLN16
Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. EPTCS 216, 2016 [contents]
215
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ramanujam16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ramanujam16
R. Ramanujam:
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015. EPTCS 215, 2016 [contents]
214
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AbbottH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbbottH16
Alastair A. Abbott, Dominic C. Horsman:
Proceedings of the 7th International Workshop on Physics and Computation, PC 2016, Manchester, UK, 14 July 2016. EPTCS 214, 2016 [contents]
213
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KohlenbachBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KohlenbachBB16
Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi:
Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. EPTCS 213, 2016 [contents]
212
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Danvyd16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Danvyd16
Olivier Danvy, Ugo de'Liguoro:
Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015. EPTCS 212, 2016 [contents]
211
- view
  authority control:
- export record
  dblp key:
  - journals/corr/OrchardY16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OrchardY16a
Dominic A. Orchard, Nobuko Yoshida:
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 211, 2016 [contents]
210
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BlanchetteK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlanchetteK16
Jasmin Christian Blanchette, Cezary Kaliszyk:
Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016. EPTCS 210, 2016 [contents]
209
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DerrickBR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DerrickBR16
John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents]
208
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AcetoFI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AcetoFI16
Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir:
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents]
207
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AtkeyK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AtkeyK16
Robert Atkey, Neelakantan R. Krishnaswami:
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. EPTCS 207, 2016 [contents]
206
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RubinT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RubinT16
Julia Rubin, Thomas Thüm:
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. EPTCS 206, 2016 [contents]
205
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KofronTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KofronTB16
Jan Kofron, Jana Tumova, Bara Buhnova:
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 [contents]
204
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MunozP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MunozP16
César A. Muñoz, Jorge A. Pérez:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 [contents]
203
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GayA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GayA16
Simon Gay, Jade Alglave:
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015. EPTCS 203, 2016 [contents]
202
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CernyKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CernyKM16
Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan:
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. EPTCS 202, 2016 [contents]
201
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ProencaT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ProencaT15
José Proença, Massimo Tivoli:
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. EPTCS 201, 2015 [contents]
200
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Navarro15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Navarro15
Marisa Navarro:
Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS 200, 2015 [contents]
199
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LisitsaNP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LisitsaNP15
Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi:
Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. EPTCS 199, 2015 [contents]
198
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KiselyovG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KiselyovG15
Oleg Kiselyov, Jacques Garrigue:
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014. EPTCS 198, 2015 [contents]
197
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CervesatoS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CervesatoS15
Iliano Cervesato, Carsten Schürmann:
Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015. EPTCS 197, 2015 [contents]
196
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GlabbeekGH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GlabbeekGH15
Rob J. van Glabbeek, Jan Friso Groote, Peter Höfner:
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. EPTCS 196, 2015 [contents]
195
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeunenSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeunenSV15
Chris Heunen, Peter Selinger, Jamie Vicary:
Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. EPTCS 195, 2015 [contents]
194
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BertrandT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BertrandT15
Nathalie Bertrand, Mirco Tribastone:
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. EPTCS 194, 2015 [contents]
193
- view
  authority control:
- export record
  dblp key:
  - journals/corr/EsparzaT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsparzaT15
Javier Esparza, Enrico Tronci:
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015 [contents]
192
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KaufmannR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaufmannR15
Matt Kaufmann, David L. Rager:
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. EPTCS 192, 2015 [contents]
191
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MatthesM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MatthesM15
Ralph Matthes, Matteo Mio:
Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015. EPTCS 191, 2015 [contents]
190
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CrafaG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CrafaG15
Silvia Crafa, Daniel Gebler:
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. EPTCS 190, 2015 [contents]
189
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KnightLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KnightLLV15
Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015 [contents]
188
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekL15
Maurice H. ter Beek, Alberto Lluch-Lafuente:
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. EPTCS 188, 2015 [contents]
187
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuboisMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisMM15
Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents]
186
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KaliszykP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaliszykP15
Cezary Kaliszyk, Andrei Paskevich:
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. EPTCS 186, 2015 [contents]
185
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CervesatoC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CervesatoC15
Iliano Cervesato, Kaustuv Chaudhuri:
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. EPTCS 185, 2015 [contents]
184
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PangLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PangLM15
Jun Pang, Yang Liu, Sjouke Mauw:
Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. EPTCS 184, 2015 [contents]
183
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MiddeldorpR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MiddeldorpR15
Aart Middeldorp, Femke van Raamsdonk:
Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014. EPTCS 183, 2015 [contents]
182
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AtleeG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AtleeG15
Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 [contents]
181
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RensinkZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RensinkZ15
Arend Rensink, Eduardo Zambon:
Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. EPTCS 181, 2015 [contents]
180
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PakulinPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PakulinPS15
Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff:
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. EPTCS 180, 2015 [contents]
179
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LagoH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LagoH15
Ugo Dal Lago, Russ Harmer:
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. EPTCS 179, 2015 [contents]
178
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BuhnovaHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BuhnovaHK15
Bara Buhnova, Lucia Happe, Jan Kofron:
Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015. EPTCS 178, 2015 [contents]
177
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Rehof15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Rehof15
Jakob Rehof:
Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. EPTCS 177, 2015 [contents]
176
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AlvesC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlvesC15
Sandra Alves, Iliano Cervesato:
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. EPTCS 176, 2015 [contents]
175
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CamaraP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CamaraP15
Javier Cámara, José Proença:
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015 [contents]
174
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BujorianuW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BujorianuW15
Manuela-Luminita Bujorianu, Rafael Wisniewski:
Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014. EPTCS 174, 2015 [contents]
173
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Escobar15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Escobar15
Santiago Escobar:
Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS 173, 2015 [contents]
172
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoeckeHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoeckeHP14
Bob Coecke, Ichiro Hasuo, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents]
171
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoeckeH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoeckeH14
Bob Coecke, Matty J. Hoban:
Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013. EPTCS 171, 2014 [contents]
170
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CaldwellHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaldwellHA14
James L. Caldwell, Philip K. F. Hölzenspies, Peter Achten:
Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014. EPTCS 170, 2014 [contents]
169
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BjornerFRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BjornerFRS14
Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014 [contents]
168
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BersaniBFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BersaniBFM14
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara:
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. EPTCS 168, 2014 [contents]
167
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BenzmullerP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenzmullerP14
Christoph Benzmüller, Bruno Woltzenlogel Paleo:
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. EPTCS 167, 2014 [contents]
166
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LaneseLSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LaneseLSV14
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents]
165
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Garcia-AlfaroG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Garcia-AlfaroG14
Joaquín García-Alfaro, Gürkan Gür:
Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention, AIDP 2014, Marrakesh, Morocco, June 2014. EPTCS 165, 2014 [contents]
164
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Oliva14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Oliva14
Paulo Oliva:
Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. EPTCS 164, 2014 [contents]
163
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekR14
Maurice H. ter Beek, António Ravara:
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. EPTCS 163, 2014 [contents]
162
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Carbone14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Carbone14
Marco Carbone:
Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. EPTCS 162, 2014 [contents]
161
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PeronP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PeronP14
Adriano Peron, Carla Piazza:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014 [contents]
160
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BorgstromC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgstromC14
Johannes Borgström, Silvia Crafa:
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EPTCS 160, 2014 [contents]
159
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BosnackiELW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BosnackiELW14
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs:
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 [contents]
158
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuncanP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuncanP14
Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 [contents]
157
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChatterjeeEJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeEJ14
Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha:
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. EPTCS 157, 2014 [contents]
156
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LinP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LinP14
Shang-Wei Lin, Laure Petrucci:
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. EPTCS 156, 2014 [contents]
155
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DonaldsonV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DonaldsonV14
Alastair F. Donaldson, Vasco T. Vasconcelos:
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014 [contents]
154
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BertrandB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BertrandB14
Nathalie Bertrand, Luca Bortolussi:
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. EPTCS 154, 2014 [contents]
153
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LevyK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LevyK14
Paul Blain Levy, Neel Krishnaswami:
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014 [contents]
152
- view
  authority control:
- export record
  dblp key:
  - journals/corr/VerbeekS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VerbeekS14
Freek Verbeek, Julien Schmaltz:
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. EPTCS 152, 2014 [contents]
151
- view
  authority control:
- export record
  dblp key:
  - journals/corr/EsikF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsikF14
Zoltán Ésik, Zoltán Fülöp:
Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. EPTCS 151, 2014 [contents]
150
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PangL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PangL14
Jun Pang, Yang Liu:
Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. EPTCS 150, 2014 [contents]
149
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuboisGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisGM14
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014 [contents]
148
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KordyMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KordyMP14
Barbara Kordy, Sjouke Mauw, Wolter Pieters:
Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. EPTCS 148, 2014 [contents]
147
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BuhnovaHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BuhnovaHK14
Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents]
146
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MogaveroMV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MogaveroMV14
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents]
145
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AndreF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AndreF14
Étienne André, Goran Frehse:
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. EPTCS 145, 2014 [contents]
144
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ayala-RinconBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ayala-RinconBM14
Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie:
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014 [contents]
143
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LoweW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LoweW14
Benedikt Löwe, Glynn Winskel:
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. EPTCS 143, 2014 [contents]
142
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FinkbeinerS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerS14
Bernd Finkbeiner, Armando Solar-Lezama:
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. EPTCS 142, 2014 [contents]
141
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SchlingloffP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchlingloffP14
Holger Schlingloff, Alexander K. Petrenko:
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. EPTCS 141, 2014 [contents]
140
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HolikC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HolikC14
Lukás Holík, Lorenzo Clemente:
Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. EPTCS 140, 2014 [contents]
139
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AguirreR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AguirreR14
Nazareno Aguirre, Leila Ribeiro:
Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013. EPTCS 139, 2014 [contents]
138
- view
  authority control:
- export record
  dblp key:
  - journals/corr/WijsBE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WijsBE13
Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013. EPTCS 138, 2013 [contents]
137
- view
  authority control:
- export record
  dblp key:
  - journals/corr/YoshidaV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YoshidaV13
Nobuko Yoshida, Wim Vanderbauwhede:
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 [contents]
136
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Holzenspies13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Holzenspies13
Philip K. F. Hölzenspies:
Proceedings Second Workshop on Trends in Functional Programming In Education, TFPIE 2013, Provo, Utah, USA, 13th May 2013. EPTCS 136, 2013 [contents]
135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GorpRK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GorpRK13
Pieter Van Gorp, Louis M. Rose, Christian Krause:
Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19-20 June, 2013. EPTCS 135, 2013 [contents]
134
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Maneth13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Maneth13
Sebastian Maneth:
Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2013, Hanoi, Vietnam, 19/10/2013. EPTCS 134, 2013 [contents]
133
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LarsenLN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LarsenLN13
Kim G. Larsen, Axel Legay, Ulrik Nyman:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 [contents]
132
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Censor-HillelK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Censor-HillelK13
Keren Censor-Hillel, Valerie King:
Proceedings Ninth International Workshop on Foundations of Mobile Computing, FOMC 2013, Jerusalem, Israel, October 17-18, 2013. EPTCS 132, 2013 [contents]
131
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CarboneLLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CarboneLLS13
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents]
130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GraudenziCMA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GraudenziCMA13
Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, Marco Antoniotti:
Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013. EPTCS 130, 2013 [contents]
129
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BanerjeeDDH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BanerjeeDDH13
Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff:
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. EPTCS 129, 2013 [contents]
128
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NearyC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NearyC13
Turlough Neary, Matthew Cook:
Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013. EPTCS 128, 2013 [contents]
127
- view
  authority control:
- export record
  dblp key:
  - journals/corr/deLiguoroS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/deLiguoroS13
Ugo de'Liguoro, Alexis Saurin:
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013. EPTCS 127, 2013 [contents]
126
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BaeldeC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaeldeC13
David Baelde, Arnaud Carayol:
Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013. EPTCS 126, 2013 [contents]
125
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DangP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DangP13
Thao Dang, Carla Piazza:
Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013. EPTCS 125, 2013 [contents]
124
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BortolussiBP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiBP13
Luca Bortolussi, Manuela-Luminita Bujorianu, Giordano Pola:
Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. EPTCS 124, 2013 [contents]
123
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RavaraS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RavaraS13
António Ravara, Josep Silva:
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013. EPTCS 123, 2013 [contents]
122
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BouhoulaIK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouhoulaIK13
Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine:
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. EPTCS 122, 2013 [contents]
121
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Graham-LengrandP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Graham-LengrandP13
Stéphane Graham-Lengrand, Luca Paolini:
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. EPTCS 121, 2013 [contents]
120
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BorgstromL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgstromL13
Johannes Borgström, Bas Luttik:
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. EPTCS 120, 2013 [contents]
119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PuppisV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PuppisV13
Gabriele Puppis, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013 [contents]
118
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KaliszykL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaliszykL13
Cezary Kaliszyk, Christoph Lüth:
Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. EPTCS 118, 2013 [contents]
117
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BortolussiW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiW13
Luca Bortolussi, Herbert Wiklicky:
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013 [contents]
116
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Petre13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Petre13
Ion Petre:
Proceedings Fourth International Workshop on Computational Models for Cell Processes, CompMod 2013, Turku, Finland, 11th June 2013. EPTCS 116, 2013 [contents]
115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1305-5634
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-5634
John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents]
114
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1304-7123
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-7123
Ruben Gamboa, Jared Davis:
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. EPTCS 114, 2013 [contents]
113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7136
Delia Kesner, Petrucio Viana:
Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012. EPTCS 113, 2012 [contents]
112
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-0071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-0071
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. EPTCS 112, 2013 [contents]
111
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-0379
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-0379
Alexander K. Petrenko, Holger Schlingloff:
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013 [contents]
110
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5997
Rachid Echahed, Detlef Plump:
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013. EPTCS 110, 2013 [contents]
109
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5798
Simon J. Gay, Paul Kelly:
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. EPTCS 109, 2012 [contents]
108
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-4780
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-4780
Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. EPTCS 108, 2013 [contents]
107
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-3105
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-3105
Mohamed Faouzi Atig, Ahmed Rezine:
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. EPTCS 107, 2012 [contents]
106
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1301-4650
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-4650
Marco T. Morazán, Peter Achten:
Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012. EPTCS 106, 2012 [contents]
105
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-6574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-6574
Peter Csaba Ölveczky, Cyrille Artho:
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. EPTCS 105, 2012 [contents]
104
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-3458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3458
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 [contents]
103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-3454
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3454
Uli Fahrenberg, Axel Legay, Claus R. Thrane:
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. EPTCS 103, 2012 [contents]
102
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-5873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-5873
Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. EPTCS 102, 2012 [contents]
101
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-3480
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-3480
Sandra Alves, Ian Mackie:
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. EPTCS 101, 2012 [contents]
100
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-3476
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-3476
Gabriel Ciobanu:
Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012. EPTCS 100, 2012 [contents]
99
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-6118
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-6118
Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. EPTCS 99, 2012 [contents]
98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-5783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-5783
Josep Silva, Francesco Tiezzi:
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. EPTCS 98, 2012 [contents]
97
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2890
Herman Geuvers, Ugo de'Liguoro:
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. EPTCS 97, 2012 [contents]
96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2028
Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012 [contents]
95
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-0298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-0298
Bart Jacobs, Peter Selinger, Bas Spitters:
Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. EPTCS 95, 2011 [contents]
94
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1209-1699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-1699
Gordon J. Pace, Anders P. Ravn:
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012. EPTCS 94, 2012 [contents]
93
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-4301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-4301
Ulrike Golas, Thomas Soboll:
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. EPTCS 93, 2012 [contents]
92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-3151
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-3151
Ezio Bartocci, Luca Bortolussi:
Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. EPTCS 92, 2012 [contents]
91
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-4327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-4327
Natallia Kokash, António Ravara:
Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012. EPTCS 91, 2012 [contents]
90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2498
Enrico Formenti:
Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012. EPTCS 90, 2012 [contents]
89
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2440
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2440
Bas Luttik, Michel A. Reniers:
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. EPTCS 89, 2012 [contents]
88
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-6821
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-6821
Elham Kashefi, Jean Krivine, Femke van Raamsdonk:
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. EPTCS 88, 2011 [contents]
87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-3485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-3485
Sebastian S. Bauer, Jean-Baptiste Raclet:
Proceedings Fourth Workshop on Foundations of Interface Technologies, FIT 2012, Tallinn, Estonia, 25th March 2012. EPTCS 87, 2012 [contents]
86
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-1841
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1841
César Andrés, Luis Llana:
Proceedings 2nd Workshop on Formal Methods in the Development of Software, WS-FMDS 2012, Paris, France, August 28, 2012. EPTCS 86, 2012 [contents]
85
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-0559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-0559
Herbert Wiklicky, Mieke Massink:
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. EPTCS 85, 2012 [contents]
84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-0554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-0554
Doron A. Peled, Sven Schewe:
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. EPTCS 84, 2012 [contents]
83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1204-5796
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-5796
Jeremy W. Bryans, John S. Fitzgerald:
Proceedings Third Workshop on Formal Aspects of Virtual Organisations, FAVO 2011, Sao Paolo, Brazil, 18th October 2011. EPTCS 83, 2011 [contents]
82
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1204-5318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-5318
Santiago Escobar:
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. EPTCS 82, 2011 [contents]
81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1203-5423
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-5423
Simona Ronchi Della Rocca, Elaine Pimentel:
Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011. EPTCS 81, 2011 [contents]
80
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-5826
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-5826
Alexander K. Petrenko, Holger Schlingloff:
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. EPTCS 80, 2012 [contents]
79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4535
Pedro Quaresma, Ralph-Johan Back:
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. EPTCS 79, 2011 [contents]
78
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4229
Johannes Reich, Bernd Finkbeiner:
Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012. EPTCS 78, 2012 [contents]
77
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-3174
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-3174
Dale Miller, Zoltán Ésik:
Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012. EPTCS 77, 2012 [contents]
76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-2407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-2407
James Chapman, Paul Blain Levy:
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012. EPTCS 76, 2012 [contents]
75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1201-0345
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-0345
Jean-Yves Marion:
Proceedings Second Workshop on Developments in Implicit Computational Complexity, Saarbrücken, DICE 2011, Germany, April 2nd and 3rd, 2011. EPTCS 75, 2011 [contents]
74
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-4407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-4407
Pieter Van Gorp, Steffen Mazanek, Louis M. Rose:
Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011. EPTCS 74, 2011 [contents]
73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-2678
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-2678
Fang Yu, Chao Wang:
Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. EPTCS 73, 2011 [contents]
72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-0064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0064
Jiri Barnat, Keijo Heljanko:
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. EPTCS 72, 2011 [contents]
71
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-6685
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-6685
Herman Geuvers, Gopalan Nadathur:
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011. EPTCS 71, 2011 [contents]
70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4473
David S. Hardin, Julien Schmaltz:
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. EPTCS 70, 2011 [contents]
69
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-3853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-3853
Kohei Honda, Alan Mycroft:
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. EPTCS 69, 2010 [contents]
68
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2399
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2399
Ernesto Pimentel, Valentín Valero:
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. EPTCS 68, 2011 [contents]
67
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-1044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-1044
Ion Petre, Erik P. de Vink:
Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. EPTCS 67, 2011 [contents]
66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-0323
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-0323
Olivier Danvy, Chung-chieh Shan:
Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011. EPTCS 66, 2011 [contents]
65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-6097
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-6097
Conrad Drescher, Inês Lynce, Ralf Treinen:
Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. EPTCS 65, 2011 [contents]
64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4077
Bas Luttik, Frank Valencia:
Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. EPTCS 64, 2011 [contents]
63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-3412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3412
Petr Ambroz, Stepan Holub, Zuzana Masáková:
Proceedings 8th International Conference Words 2011, Prague, Czech Republic, 12-16th September 2011. EPTCS 63, 2011 [contents]
62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-2796
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2796
Michel A. Reniers, Pawel Sobocinski:
Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. EPTCS 62, 2011 [contents]
61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-2085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2085
Laura Kovács, Rosario Pugliese, Francesco Tiezzi:
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents]
60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1452
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1452
Luca Aceto, Mohammad Reza Mousavi:
Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 60, 2011 [contents]
59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0144
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0144
Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone:
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011 [contents]
58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-5847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-5847
Mohammad Reza Mousavi, António Ravara:
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. EPTCS 58, 2011 [contents]
57
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-0746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0746
Mieke Massink, Gethin Norman:
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. EPTCS 57, 2011 [contents]
56
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-5962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-5962
Francisco Durán, Vlad Rusu:
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. EPTCS 56, 2011 [contents]
55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-3488
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-3488
John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents]
54
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-0814
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-0814
Giovanna D'Agostino, Salvatore La Torre:
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. EPTCS 54, 2011 [contents]
53
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1103-3111
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-3111
Tom Hirschowitz:
Proceedings Types for Proofs and Programs, Revised Selected Papers, TYPES 2009, Aussois, France, 12-15th May 2009. EPTCS 53, 2009 [contents]
52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1103-2268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-2268
Farid M. Ablayev, Bob Coecke, Alexander Vasiliev:
Proceedings CSR 2010 Workshop on High Productivity Computations, HPC 2010, Kazan, Russia, June 21-22, 2010. EPTCS 52, 2010 [contents]
51
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-5161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-5161
Konstantinos Chatzikokolakis, Véronique Cortier:
Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010. EPTCS 51, 2010 [contents]
50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-3741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3741
Johannes Reich, Bernd Finkbeiner:
Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. EPTCS 50, 2011 [contents]
49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-3465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3465
Eduardo Bonelli:
Proceedings 5th International Workshop on Higher-Order Rewriting, HOR 2010, Edinburgh, UK, July 14, 2010. EPTCS 49, 2010 [contents]
48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2268
Rachid Echahed:
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011. EPTCS 48, 2011 [contents]
47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-5200
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-5200
Steffen van Bakel, Stefano Berardi, Ulrich Berger:
Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. EPTCS 47, 2010 [contents]
46
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4266
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4266
Axel Legay, Benoît Caillaud:
Proceedings Foundations for Interface Technologies, FIT 2010, Paris, France, 30th August 2010. EPTCS 46, 2010 [contents]
45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4104
Elaine Pimentel, Betti Venneri, Joe B. Wells:
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. EPTCS 45, 2010 [contents]
44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-5337
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-5337
Hélène Kirchner, César A. Muñoz:
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010. EPTCS 44, 2010 [contents]
43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-4555
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-4555
Ana Bove, Ekaterina Komendantskaya, Milad Niqui:
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010. EPTCS 43, 2010 [contents]
42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-4554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-4554
Maribel Fernández:
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. EPTCS 42, 2010 [contents]
41
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6012
Sibylle B. Fröschle, Frank D. Valencia:
Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. EPTCS 41, 2010 [contents]
40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-0051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0051
Gabriel Ciobanu, Maciej Koutny:
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010. EPTCS 40, 2010 [contents]
39
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-6112
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-6112
Yu-Fang Chen, Ahmed Rezine:
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. EPTCS 39, 2010 [contents]
38
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5308
Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva:
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. EPTCS 38, 2010 [contents]
37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-2337
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-2337
Javier Cámara, Carlos Canal, Gwen Salaün:
Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010. EPTCS 37, 2010 [contents]
36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-3982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-3982
Peter Csaba Ölveczky:
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010. EPTCS 36, 2010 [contents]
35
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-3306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-3306
Gwen Salaün, Xiang Fu, Sylvain Hallé:
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. EPTCS 35, 2010 [contents]
34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-2189
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-2189
Karl Crary, Marino Miculan:
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. EPTCS 34, 2010 [contents]
33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1008-3147
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-3147
Paolo Milazzo, Mario de J. Pérez-Jiménez:
Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, AMCA-POP 2010, Jena, Germany, 25th August 2010. EPTCS 33, 2010 [contents]
32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1008-1906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-1906
Luca Aceto, Pawel Sobocinski:
Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. EPTCS 32, 2010 [contents]
31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1008-1270
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-1270
Ian McQuillan, Giovanni Pighizzini:
Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010. EPTCS 31, 2010 [contents]
30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1007-4993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-4993
Mohammad Reza Mousavi, Gwen Salaün:
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010. EPTCS 30, 2010 [contents]
29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1007-0831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-0831
Inês Lynce, Ralf Treinen:
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. EPTCS 29, 2010 [contents]
28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5107
Alessandra Di Pierro, Gethin Norman:
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 28, 2010 [contents]
27
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1689
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1689
Tom Van Cutsem, Mark S. Miller:
Proceedings First International Workshop on Decentralized Coordination of Distributed Processes, DCDP 2010, Amsterdam, The Netherlands, 10th June 2010. EPTCS 27, 2010 [contents]
26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1937
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1937
S. Barry Cooper, Prakash Panangaden, Elham Kashefi:
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. EPTCS 26, 2010 [contents]
25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1711
Angelo Montanari, Margherita Napoli, Mimmo Parente:
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. EPTCS 25, 2010 [contents]
24
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-0551
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-0551
Xizhong Zheng, Ning Zhong:
Proceedings Seventh International Conference on Computability and Complexity in Analysis, CCA 2010, Zhenjiang, China, 21-25th June 2010. EPTCS 24, 2010 [contents]
23
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1005-0653
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-0653
Patrick Baillot:
Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 23, 2010 [contents]
22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-5716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5716
Mário Florido, Ian Mackie:
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. EPTCS 22, 2009 [contents]
21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-5758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5758
Ian Mackie, Anamaria Martins Moreira:
Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009. EPTCS 21, 2009 [contents]
20
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-5363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5363
Manuela-Luminita Bujorianu, Michael Fisher:
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 20, 2009 [contents]
19
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-4919
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-4919
Emanuela Merelli, Paola Quaglia:
Proceedings Third Workshop From Biology To Concurrency and back, FBTC 2010, Paphos, Cyprus, 27th March 2010. EPTCS 19, 2010 [contents]
18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2978
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2978
Bartek Klin, Pawel Sobocinski:
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. EPTCS 18, 2009 [contents]
17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-1408
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-1408
Alastair R. Beresford, Simon J. Gay:
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009. EPTCS 17, 2009 [contents]
16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1001-5310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-5310
Jeremy W. Bryans, John S. Fitzgerald:
Proceedings Second Workshop on Formal Aspects of Virtual Organisations, FAVO 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 16, 2009 [contents]
15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1001-4573
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-4573
Maribel Fernández:
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009. EPTCS 15, 2009 [contents]
14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-3036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-3036
Lubos Brim, Jaco van de Pol:
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. EPTCS 14, 2009 [contents]
13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-2128
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-2128
Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents]
12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-0759
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-0759
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents]
11
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-0034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-0034
Gabriel Ciobanu:
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009. EPTCS 11, 2009 [contents]
10
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0911-3440
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0911-3440
Axel Legay:
Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. EPTCS 10, 2009 [contents]
9
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0911-2829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0911-2829
S. Barry Cooper, Vincent Danos:
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. EPTCS 9, 2009 [contents]
8
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0911-3189
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0911-3189
Sibylle B. Fröschle, Daniele Gorla:
Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009. EPTCS 8, 2009 [contents]
7
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0910-4420
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-4420
Michele Boreale, Steve Kremer:
Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009. EPTCS 7, 2009 [contents]
6
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0910-1605
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-1605
Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents]
5
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0910-1404
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-1404
Yves Deville, Christine Solnon:
Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009. EPTCS 5, 2009 [contents]
4
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0909-5479
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-5479
Evangelos Markakis, Ioannis Milis:
Proceedings Fourth Athens Colloquium on Algorithms and Complexity, ACAC 2009, Athens, Greece, August 20-21, 2009. EPTCS 4, 2009 [contents]
3
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0907-5257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0907-5257
Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe:
Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009. EPTCS 3, 2009 [contents]
2
- view
- export record
  dblp key:
  - journals/corr/abs-0906-4900
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4900
Maurice H. ter Beek:
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009. EPTCS 2, 2009 [contents]
1
- view
- export record
  dblp key:
  - journals/corr/abs-0906-4612
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4612
Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy:
Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008. EPTCS 1, 2009 [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.