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.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
000302 (2007)	Pierre Arnoux [France] ; Valérie Berthe [France] ; Thomas Fernique [France] ; Damien Jamet [France]	Functional stepped surfaces, flips, and generalized substitutions
000331 (2006)		Combining logical systems
000348 (2006)	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]	Specification and refinement of mobile systems in MTLA and mobile UML
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
000369 (2006)	Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]	Modular proof systems for partial functions with Evans equality
000376 (2006)	Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France]	Implicit complexity over an arbitrary structure : Quantifier alternations
000382 (2006)	Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France]	Formal design and verification of operational transformation algorithms for copies convergence
000383 (2006)	Dominique Cansell [France] ; Dominique Méry [France]	Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
000384 (2006)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	Expressivity properties of boolean BI through relational models
000388 (2006)	Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]	Efficient theory combination via boolean search
000395 (2006)	TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]	Decision procedures for term algebras with integer constraints
000396 (2006)	Manin Abadi [États-Unis] ; Véronique Cortier [France]	Deciding knowledge in security protocols under equational thoories
000401 (2006)	Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]	Computationally sound symbolic secrecy in the presence of hash functions
000402 (2006)	Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]	Compositional analysis of contract-signing protocols
000407 (2006)	JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis]	Automation for interactive proof : First prototype
000411 (2006)	Nachum Dershowitz [Israël] ; Claude Kirchner [France]	Abstract canonical presentations
000417 (2006)	Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis]	A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
000448 (2005)	Hazel Everett [France] ; Celina M. H. De Figueiredo [Brésil] ; Sulamita Klein [Brésil] ; Bruce Reed [Canada]	The perfection and recognition of bull-reducible Berge graphs
000449 (2005)	Clara Bertolissi [France]	The graph rewriting calculus : Confluence and expressiveness
000450 (2005)	Peter Bürgisser [Allemagne] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France]	The complexity of semilinear problems in succinct representation
000484 (2005)	Isabelle Debled-Rennesson [France] ; Jean-Luc Remy [France] ; Jocelyne Rouyer-Degli [France]	Linear segmentation of discrete curves into blurred segments

---

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