LIVEST < LNCS < LNP

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 LNCS

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

Ident.	Authors (with country if any)	Title
004B59 (2007)	Andrzej Tarlecki [Pologne]	Toward Specifications for Reconfigurable Component Systems
004B67 (2007)	Clara Bertolissi [France] ; Claude Kirchner [France]	The Rewriting Calculus as a Combinatory Reduction System
004B99 (2007)	Jean-Yves Marion [France]	Predicative Analysis of Feasibility and Diagonalization
004C03 (2007)	Sylvain Castagnos [France] ; Anne Boyer [France]	Personalized Communities in a Distributed Recommender System
004C06 (2007)	Judson Santiago ; Laurent Vigneron [France]	Optimistic Non-repudiation Protocol Analysis
004C10 (2007)	Colin Riba [France]	On the Stability by Union of Reducibility Candidates
004C11 (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
004C15 (2007)	Rick Nouwen [Royaume-Uni]	On Dependency and Quantification in Dynamic Semantics
004C45 (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
004C52 (2007)	Hubert Cecotti [France] ; Abdel Belaïd [France]	Hierarchical Behavior Knowledge Space
004C54 (2007)	Cesar Torres-Huitzil [Mexique] ; Bernard Girau [France] ; Adrien Gauffriau [France]	Hardware/Software Codesign for Embedded Implementation of Neural Networks
004C68 (2007)	Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]	Enhancing Dependability of Component-Based Systems
004C71 (2007)	Denis Cousineau [France] ; Gilles Dowek [États-Unis]	Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
004C84 (2007)	Lionel Vaux [France]	Convolution $\bar\lambda\mu$-Calculus
004C87 (2007)	Wolfgang Weck [Suisse] ; Ralf Reussner [Allemagne] ; Clemens Szyperski [États-Unis]	Component-Oriented Programming
004C97 (2007)	Marçal Rusi Ol [Espagne] ; Philippe Dosch [France] ; Josep Llad S [Espagne]	Boundary Shape Recognition Using Accumulated Length and Angle Information
004D01 (2007)	Véronique Cortier [France] ; Gavin Keighren [Royaume-Uni] ; Graham Steel [Royaume-Uni]	Automatic Analysis of the Security of XOR-Based Key Management Schemes
004D03 (2007)	Luiz Angelo Steffenel [France] ; Maxime Martinasso [France] ; Denis Trystram [France]	Assessing Contention Effects on MPI_Alltoall Communications
004D06 (2007)	Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]	Anti-pattern Matching
004D13 (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
004D25 (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

---

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/ISSN.i -k "LNCS" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i  \
                -Sk "LNCS" \
         | 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=    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