0302-8933 < 0302-9743 < 0304-3800

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000362 (2006)	Johanne Cohen [France] ; Fedor Fomin [Norvège] ; Pinar Heggemes [Norvège] ; Dieter Kratsch [France] ; Gregory Kucherov [France]	Optimal linear arrangement of interval graphs
000363 (2006)	Frédéric Blanqui ; Claude Kirchner ; Colin Riba	On the confluence of λ-calculus with conditional rewriting
000364 (2006)	Damien Stehle [France]	On the Randomness of Bits Generated by Sufficiently Smooth Functions
000365 (2006)	Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France]	On delays in management frameworks : Metrics, models and analysis
000366 (2006)	Ustun Yildiz [France] ; Olivier Perrin [France] ; Claude Godart [France]	On automating networked enterprise management
000367 (2006)	Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France]	Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
000368 (2006)	Karl Tombre [France] ; Salvatore Tabbone [France] ; Philippe Dosch [France]	Musings on symbol recognition
000370 (2006)	Bill Stoddart [France] ; Dominique Cansell [France] ; Frank Zeyda [France]	Modelling and proof analysis of interrupt driven scheduling
000372 (2006)	Stéphane Gobron [France] ; Denis Finck [France] ; Philippe Even [France] ; Bertrand Kerautret [France]	Merging cellular automata for simulating surface effects
000373 (2006)	Phong Q. Nguyen [France] ; Damien Stehle [France]	LLL on the Average
000375 (2006)	Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France]	Integration of security policy into system modeling
000378 (2006)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Hierarchical combination of intruder theories
000379 (2006)	Martin Abadi [États-Unis] ; Mathieu Baudet [France] ; Bogdan Warinschi [France]	Guessing attacks and the computational soundness of static equivalence
000380 (2006)	Lahcen Oubahssi [France] ; Monique Grandbastien [France]	From Learner Information Packages to Student Models : Which Continuum?
000381 (2006)	Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]	Formal islands
000384 (2006)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	Expressivity properties of boolean BI through relational models
000385 (2006)	Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]	Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants
000390 (2006)	Olivier Devillers [France] ; Hazel Everett [France] ; Sylvain Lazard [France] ; Maria Pentcheva [France] ; Stephen K. Wismath [Canada]	Drawing Kn in three dimensions with one bend per edge
000391 (2006)	Yves Rangoni [France] ; Abdel Belaïd [France]	Document logical structure analysis based on perceptive cycles
000392 (2006)	Nazim Fates [France]	Directed percolation phenomena in asynchronous elementary cellular automata
000394 (2006)	David Deharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]	Decision procedures for the formal analysis of software

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i -k "0302-9743" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i  \
                -Sk "0302-9743" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    ISSN.i
   |clé=    0302-9743
}}

---

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