programp < programs < programss

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by programs

Number of relevant bibliographic references: 629.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000007 (2016-07-11)	Mathieu Hoyrup [France]	The decidable properties of subrecursive functions
000028 (2016-05-14)	Dominique Mery [France]	Playing with State-Based Models for Designing Better Algorithms
000053 (2016-03-08)	Laurent Bougrain [France] ; Benjamin Le Golvan [France]	Les neuroprothèses
000105 (2016)	Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]	Separation Logic with One Quantified Variable
000211 (2015-11-30)	Emmanuel Hainry [France] ; Romain Péchoux [France]	Objects in Polynomial Time
000470 (2015-06-29)	Marion Guthmuller [France]	Dynamic formal verification of temporal properties on legacy distributed applications
000546 (2015-05-11)	Ta Thanh Dinh [France]	Malicious Codes Detection in Distributed Environment
000548 (2015-05-11)	Emmanuel Didiot [France] ; Fabien Lauer [France]	Efficient Optimization of Multi-class Support Vector Machines with MSVMpack
000591 (2015-04-11)	Emmanuel Hainry [France] ; Romain Péchoux [France]	Implicit computational complexity in Object Oriented Programs
000615 (2015-03-04)	Marion Guthmuller [France] ; Martin Quinson [France] ; Gabriel Corona [France]	System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
000616 (2015-03-04)	Mathieu Hoyrup [France] ; Cristobal Rojas [Chili]	On the information carried by programs about the objects they compute
000662 (2015-01-01)	Marco Gaboardi [France] ; Romain Péchoux [France]	On Bounding Space Usage of Streams Using Interpretation Analysis
000664 (2015-01-01)	Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]	Characterizing polynomial time complexity of stream programs using interpretations
000684 (2015)	Bruno Lévy [France]	Robustness and Efficiency of Geometric Programs The Predicate Construction Kit (PCK)
000686 (2015)	Guillaume Bonfante [France] ; Florian Deloup [France] ; Antoine Henrot [France]	Real or Natural numbers interpretations and their effect on complexity
000789 (2015)	Didier Galmiche [France] ; David Pym [Royaume-Uni]	Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation
000864 (2014-12)	Jingshu Chen [France] ; Marie Duflot [France] ; Stephan Merz [France]	Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
000928 (2014-09-24)	Dominique Méry [France]	Playing with State-Based Models for Designing Better Algorithms
000951 (2014-09-13)	Véronique Cortier [France] ; Steve Kremer [France]	Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
000A38 (2014-07-16)	Ivan Enderlin [France]	Automated Unit Test Generation with Praspel, a Specification Language for PHP
000B16 (2014-06-07)	Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]	Separation Logic with One Quantified Variable

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "programs" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "programs" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    programs
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022