Informatique mobile < Informatique théorique < Informatisation

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000101 (2012)	A. Bellanger [France] ; A. Janiak [Pologne] ; M. Y. Kovalyov [Biélorussie] ; A. Oulamara [France]	Scheduling an unbounded batching machine with job processing time compatibilities
000122 (2011)	Didier Galmiche [France] ; Yakoub Salhi [France]	Sequent calculi and decidability for intuitionistic hybrid logic
000124 (2011)	G. Bonfante [France] ; J.-Y. Marion [France] ; J.-Y. Moyen [France]	Quasi-interpretations a way to control resources
000125 (2011)	Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Proving weak properties of rewriting
000127 (2011)	D. Jamet [France] ; G. Paquin [France] ; G. Richomme [France] ; L. Vuillon [France]	On the fixed points of the iterated pseudopalindromic closure operator
000134 (2011)	S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France]	Efficient and accurate computation of upper bounds of approximation errors
000135 (2011)	Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]	DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES
000138 (2011)	Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]	Automatic decidability and combinability
000168 (2010)	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
000170 (2010)	Guillaume Burel [France] ; Claude Kirchner [France]	Regaining cut admissibility in deduction modulo using abstract completion
000179 (2010)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Compiling and securing cryptographic protocols
000237 (2009)	Damien Jamet [France] ; Jean-Luc Toutant [France]	Minimal arithmetic thickness connecting discrete planes
000251 (2009)	Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally sound implementations of equational theories against passive adversaries
000268 (2008)	S. Brlek [Canada] ; D. Jamet [France] ; G. Paquin [Canada]	Smooth words on 2-letter alphabets having same parity
000271 (2008)	Elias P. Tsigaridas [France] ; Ioannis Z. Emiris [Grèce]	On the complexity of real root isolation using continued fractions
000276 (2008)	Jérome Besombes [France] ; Jean-Yves Marion [France]	LEARNING DISCRETE CATEGORIAL GRAMMARS FROM STRUCTURES
000280 (2008)	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Hierarchical combination of intruder theories
000296 (2007)	Dominique Barth [France] ; Johanne Cohen [France] ; Taoufik Faik [France]	On the b-continuity property of graphs
000298 (2007)	Laurent Fousse [France]	Multiple-precision correctly rounded newton-cotes quadrature
000301 (2007)	Jérome Besombes [France] ; Jean-Yves Marion [France]	Learning tree languages from positive examples and membership queries
000302 (2007)	Pierre Arnoux [France] ; Valérie Berthe [France] ; Thomas Fernique [France] ; Damien Jamet [France]	Functional stepped surfaces, flips, and generalized substitutions

---

List of associated Author.i

Nombre de documents	Descripteur
5	Michaël Rusinowitch
4	P. De Groote
4	Véronique Cortier
4	Yannick Chevalier
3	C. Kirchner
3	Didier Galmiche
3	G. Kucherov
3	Gregory Kucherov
3	H. Touzet
3	J.-Y. Marion
3	Jean-Yves Marion
3	M. Hermann
3	M. Rusinowitch
3	Mathieu Turuani
3	Michael Rusinowitch
3	Silvio Ranise
2	A. Bouhoula
2	C. Retore
2	C. Ringeissen
2	Claude Kirchner
2	D. Jamet
2	Damien Jamet
2	Felipe Cucker
2	G. Bonfante
2	G. Paquin
2	H. Kirchner
2	J. Y. Marion
2	Jan Arne Telle
2	Jens Gustedt
2	Johanne Cohen
2	Jérome Besombes
2	O. Bournez
2	Olivier Bournez
2	P. Zimmermann
2	R. Kolpakov
2	René Schott
2	Steve Kremer
2	T. Genet
1	A. Amaniss
1	A. Bellanger
1	A. Cichon
1	A. Janiak
1	A. K. Lenstra
1	A. Muffett
1	A. Oulamara
1	A. S. Murawski
1	Abdessamad Imine
1	Alessandro Armando
1	Alessandro Cimatti
1	Alexander Bockmayr
1	Alexander Knapp
1	Ante Derek
1	Anupam Datta
1	Arnaud Lefebvre
1	Assefaw Hadish Gebremedhin
1	B. Dodson
1	B. Gramlich
1	B. Murphy
1	Bogdan Warinschi
1	Bruce Reed
1	C. Banderier
1	C. Castro
1	C. Pollett
1	C. Putman
1	C. Putnam
1	C.-H. L. Ong
1	Celina M. H. De Figueiredo
1	Cesare Tinelli
1	Ch. Lauter
1	Christiane Branlant
1	Christophe Ringeissen
1	Christopher Lynch
1	Claire Quigley
1	Clara Bertolissi
1	D. Bechet
1	D. Galmiche
1	D. Larchey-Wendling
1	D. Leivant
1	D. Lugiez
1	Damien Eveillard
1	Daniel Leivant
1	Delphine Ropers
1	Dieter Kratsch
1	Dominique Barth
1	Dominique Cansell
1	Dominique Larchey-Wendling
1	Dominique Méry
1	Duc-Khanh Tran
1	E. Monfroy
1	Edward M. Reingold
1	Elias P. Tsigaridas
1	Emmanuel Hainry
1	F. Jacquemard
1	F. Morain
1	Fedor Fomin
1	Franz Baader
1	G. Dowek
1	G. Guillerm
1	G. Perrier
1	G. Richomme

---

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/FC03.fr.i -k "Informatique théorique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Informatique théorique" \
         | 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=    FC03.fr.i
   |clé=    Informatique théorique
}}

---

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