Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "DICE-FOPARA@ETAPS"( http://dblp.L3S.de/Venues/DICE-FOPARA@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2017 (6) 2019 (6)
Publication types (Num. hits)
inproceedings(10) proceedings(2)
Venues (Conferences, Journals, ...)
DICE-FOPARA@ETAPS(12)
Authors
Jean-Yves Moyen(2) Martin Avanzini(2) Thomas Seiller(2) Bernard van Gastel(1) Bruce M. Kapron(1) Claudio Tomazzoli(1) Florian Steinberg 0001(1) Francesco Olivieri(1) Franz Siglmüller(1) Georg Moser(1) Guido Governatori(1) Guillaume Bonfante(1) Jakob Grue Simonsen(1) Lê Thành Dung Nguyên(1) Marko C. J. D. van Eekelen(1) Matteo Cristani(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Paulin Jacobé de Naurois Pointers in Recursion: Exploring the Tropics. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Siglmüller Type-Based Resource Analysis on Haskell. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Seiller, Steffen Jost (eds.) 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. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lê Thành Dung Nguyên On the Elementary Affine Lambda-Calculus with and Without Fixed Points. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bruce M. Kapron, Florian Steinberg 0001 Type-two Iteration with Bounded Query Revision. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernard van Gastel, Marko C. J. D. van Eekelen Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Avanzini, Michael Schaper GUBS Upper Bound Solver (Extended Abstract). Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Yves Moyen, Jakob Grue Simonsen Computability in the Lattice of Equivalence Relations. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guillaume Bonfante, Georg Moser (eds.) 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. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller Loop Quasi-Invariant Chunk Motion by peeling with statement composition. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Avanzini, Ugo Dal Lago Automated Sized-Type Inference and Complexity Analysis. Search on Bibsonomy DICE-FOPARA@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license