Informatique mobile < Informatique théorique < Infrason

Facettes :

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000299 (2011)	Michael R. Fellows [Australie] ; Henning Fernau [Allemagne]	Facility location problems: A parameterized view
000333 (2011)	Henning Fernau [Allemagne] ; Joachim Kneis [Allemagne] ; Dieter Kratsch [France] ; Alexander Langer [Allemagne] ; Mathieu Liedloff [France] ; Daniel Raible [Allemagne] ; Peter Rossmanith [Allemagne]	An exact algorithm for the Maximum Leaf Spanning Tree problem
000375 (2010)	Henning Fernau [Allemagne]	Parameterized algorithms for d-HITTING SET: The weighted case
000406 (2010)	Daniel Binkele-Raible [Allemagne] ; Henning Fernau [Allemagne] ; Serge Gaspers [Autriche] ; Mathieu Liedloff [France]	Exact exponential-time algorithms for finding bicliques
000496 (2009)	J. M. Sigarreta [Mexique] ; S. Bermudo [Espagne] ; Henning Fernau [Allemagne]	On the complement graph and defensive k-alliances
000497 (2009)	Henning Fernau [Allemagne] ; Juan A. Rodriguez [Espagne] ; José M. Sigarreta [Mexique]	Offensive r-alliances in graphs
000555 (2009)	Henning Fernau [Allemagne]	Algorithms for learning regular expressions from positive data
000601 (2008)	Henning Fernau [Allemagne]	Parameterized algorithmics for linear arrangement problems
000649 (2008)	Jürgen Dassow [Allemagne] ; Henning Fernau [Allemagne]	Comparison of some descriptional complexities of 0L systems obtained by a unifying approach
000673 (2007)		Real numbers
000679 (2007)	Stef Graillat [France] ; Philippe Langlois [France]	Real and complex pseudozero sets for polynomials with applications
000684 (2007)	XIZHONG ZHENG [République populaire de Chine, Allemagne]	On the hierarchies of Δ02-real numbers
000687 (2007)	Laurent Fousse [France]	Multiple-precision correctly rounded newton-cotes quadrature
000692 (2007)	Henning Fernau [Allemagne]	LEARNING TREE LANGUAGES FROM TEXT
000695 (2007)	Guillaume Melquiond [France] ; Sylvain Pion [France]	Formally certified floating-point filters for homogeneous geometric predicates
000696 (2007)	Florent De Dinechin [France] ; Christoph Lauter [France] ; Jean-Michel Muller [France]	Fast and correctly rounded logarithms in double-precision
000700 (2007)	Henning Fernau [Allemagne] ; Klaus Reinhardt [Allemagne] ; Ludwig Staiger [Allemagne]	Decidability of code properties
000702 (2007)	Nicolas Brisebarre [France] ; Jean-Michel Muller [France]	Correct rounding of algebraic functions
000707 (2007)	Benoit Cagnard [France] ; Pierre Simonnet [France]	Automata, borel functions and real numbers in pisot base
000756 (2006)	Henning Bordihn [Allemagne] ; Henning Fernau [Allemagne] ; Markus Holzer [Allemagne] ; Vincenzo Manca [Italie] ; Carlos Martin-Vide [Espagne]	Iterated sequential transducers as language generating devices
000C85 (2000)	V. Arvind [Inde] ; J. Köbler [Allemagne] ; M. Mundhenk [Allemagne] ; J. Toran [Allemagne]	Nondeterministic instance complexity and hard-to-prove tautologies

---

List of associated Author.i

Nombre de documents	Descripteur
12	Henning Fernau
4	K. Jansen
4	M. Mundhenk
3	C. Damm
3	H. Seidl
2	A. Neumann
2	A. Slobodova
2	Jean-Michel Muller
2	Mathieu Liedloff
2	S. Jukna
1	A. Bernasconi
1	A. Razborov
1	Alexander Langer
1	B. Steffen
1	Benoit Cagnard
1	C. Kaklamanis
1	Carlos Martin-Vide
1	Christoph Lauter
1	Christoph Meinel
1	Daniel Binkele-Raible
1	Daniel Raible
1	Dieter Kratsch
1	E. Allender
1	F. Roush
1	Florent De Dinechin
1	Guillaume Melquiond
1	Henning Bordihn
1	I. E. Shparlinski
1	I. Wegener
1	J. Goldsmith
1	J. Köbler
1	J. M. Sigarreta
1	J. Reiter
1	J. Toran
1	Joachim Kneis
1	José M. Sigarreta
1	Juan A. Rodriguez
1	Jürgen Dassow
1	KI HANG KIM
1	Klaus Reinhardt
1	Laurent Fousse
1	Ludwig Staiger
1	Markus Holzer
1	Michael R. Fellows
1	Nicolas Brisebarre
1	P. Persiano
1	P. Savicky
1	Peter Rossmanith
1	Philippe Langlois
1	Pierre Simonnet
1	S. Bermudo
1	S. Zak
1	Serge Gaspers
1	Stef Graillat
1	Sylvain Pion
1	T. Erlebach
1	T. Theobald
1	V. Arvind
1	Vincenzo Manca
1	XIZHONG ZHENG

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/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/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Informatique théorique
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024