default search action

combined dblp search
author search
venue search
publication search

ask others

FOPARA 2009: Eindhoven, The Netherlands

> 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/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/2009
Marko C. J. D. van Eekelen, Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6324, Springer 2010, ISBN 978-3-642-15330-3
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/AlbertAGHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/AlbertAGHP09
Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla:
Comparing Cost Functions in Resource Analysis. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/LoidlJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/LoidlJ09
Hans-Wolfgang Loidl, Steffen Jost:
Improvements to a Resource Analysis for Hume. 18-33
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/MontenegroPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/MontenegroPS09
Manuel Montenegro, Ricardo Peña, Clara Segura:
A Space Consumption Analysis by Abstract Interpretation. 34-50
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/GaboardiP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/GaboardiP09
Marco Gaboardi, Romain Péchoux:
Global and Local Space Properties of Stream Programs. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/TrinderCLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/TrinderCLM09
Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson:
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/AveryKM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/AveryKM09
James Avery, Lars Kristiansen, Jean-Yves Moyen:
Static Complexity Analysis of Higher Order Programs. 84-99
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/LagoM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/LagoM09
Ugo Dal Lago, Simone Martini:
Derivational Complexity Is an Invariant Cost Model. 100-113
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/RoversiV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/RoversiV09
Luca Roversi, Luca Vercelli:
A Local Criterion for Polynomial-Time Stratified Computations. 114-130
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/Mogbil09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/Mogbil09
Virgile Mogbil:
Non-deterministic Boolean Proof Nets. 131-145
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/Gomaa09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/Gomaa09
Walid Gomaa:
Polynomial Time Computation in the Context of Recursive Analysis. 146-162

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.