LIVEST < LNCS < LNP

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000120 (2007)	Jean-Yves Marion [France]	Predicative Analysis of Feasibility and Diagonalization
000122 (2007)	Rick Nouwen [Royaume-Uni]	On Dependency and Quantification in Dynamic Semantics
000383 (2007)	Lionel Vaux [France]	Convolution $\bar\lambda\mu$-Calculus
000592 (2007)	Mohamed Hacene Rouane [Canada] ; Marianne Huchard ; Amedeo Napoli ; Petko Valtchev [Canada]	A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data
000C89 (2007)	Clara Bertolissi [France] ; Claude Kirchner [France]	The Rewriting Calculus as a Combinatory Reduction System
001003 (2007)	Colin Riba [France]	On the Stability by Union of Reducibility Candidates
001183 (2007)	Pablo Cesar [Pays-Bas] ; Dick C. A. Bulterman [Pays-Bas] ; Zeljko Obrenovic [Pays-Bas] ; Julien Ducret [France] ; Samuel Cruz-Lara [France]	An Architecture for Non-intrusive User Interfaces for Interactive Digital Television
001470 (2007)	Sylvain Castagnos [France] ; Anne Boyer [France]	Personalized Communities in a Distributed Recommender System
001571 (2007)	Hubert Cecotti [France] ; Abdel Belaïd [France]	Hierarchical Behavior Knowledge Space
001657 (2007)	Frédéric Blanqui [France] ; Thérèse Hardin [France] ; Pierre Weis [France]	On the Implementation of Construction Functions for Non-free Concrete Data Types
001816 (2007)	Andrzej Tarlecki [Pologne]	Toward Specifications for Reconfigurable Component Systems
001862 (2007)	Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] ; Olivier Zendra [France]	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
001B92 (2007)	Véronique Cortier [France] ; Gavin Keighren [Royaume-Uni] ; Graham Steel [Royaume-Uni]	Automatic Analysis of the Security of XOR-Based Key Management Schemes
001C43 (2007)	Marçal Rusi Ol [Espagne] ; Philippe Dosch [France] ; Josep Llad S [Espagne]	Boundary Shape Recognition Using Accumulated Length and Angle Information
002575 (2007)	Judson Santiago ; Laurent Vigneron [France]	Optimistic Non-repudiation Protocol Analysis
002F38 (2007)	Wolfgang Weck [Suisse] ; Ralf Reussner [Allemagne] ; Clemens Szyperski [États-Unis]	Component-Oriented Programming
002F78 (2007)	Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]	Enhancing Dependability of Component-Based Systems
002F89 (2007)	Denis Cousineau [France] ; Gilles Dowek [États-Unis]	Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
003187 (2007)	Luiz Angelo Steffenel [France] ; Maxime Martinasso [France] ; Denis Trystram [France]	Assessing Contention Effects on MPI_Alltoall Communications
003425 (2007)	Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]	Anti-pattern Matching
003540 (2007)	Cesar Torres-Huitzil [Mexique] ; Bernard Girau [France] ; Adrien Gauffriau [France]	Hardware/Software Codesign for Embedded Implementation of Neural Networks

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i -k "LNCS" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i  \
                -Sk "LNCS" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    ISSN.i
   |clé=    LNCS
}}

---

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