default search action

combined dblp search
author search
venue search
publication search

ask others

FOPARA 2013: Bertinoro, Italy

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

> Home > Conferences and Workshops > FOPARA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fopara/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/2013
Ugo Dal Lago, Ricardo Peña:
Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8552, Springer 2014, ISBN 978-3-319-12465-0
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/AmadioABBCGMMMPPRCST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/AmadioABBCGMMMPPRCST13
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli:
Certified Complexity (CerCo). 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/AsavoaeA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/AsavoaeA13
Mihail Asavoae, Irina Mariuca Asavoae:
On the Modular Integration of Abstract Semantics for WCET Analysis. 19-37
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/CanaveseCOPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/CanaveseCOPR13
Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi:
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? 38-57
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/PierroW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/PierroW13
Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic Analysis of Programs: A Weak Limit Approach. 58-76
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/Eguchi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/Eguchi13
Naohi Eguchi:
Predicative Lexicographic Path Orders - An Application of Term Rewriting to the Region of Primitive Recursive Functions. 77-92
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/KerstenTGE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/KerstenTGE13
Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen:
A Hoare Logic for Energy Consumption Analysis. 93-109
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/LoidlG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/LoidlG13
Hans-Wolfgang Loidl, Gudmund Grov:
Reasoning About Resources in the Embedded Systems Language Hume. 110-126
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/Perrinel13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/Perrinel13
Matthieu Perrinel:
On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets. 127-142
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/ShkaravskaET13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/ShkaravskaET13
Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet:
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. 143-159

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.