Arabie saoudite < Argentine < Australie

Facettes : Author.f AffPays.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000628 (2015-02-23)	Pablo Torres [Argentine] ; Mario Valencia-Pabon [France]	Stable Kneser Graphs are almost all not weakly Hom-Idempotent
000697 (2015)	Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]	Modal Satisfiability via SMT Solving
000808 (2015)	Flavia Bonomo [Argentine] ; Guillermo Duran [Argentine] ; Mario Valencia-Pabon [France]	Complexity of the cluster deletion problem on some subclasses of chordal graphs
000817 (2015)	Flavia Bonomo [Argentine] ; Guillermo Duran [Argentine] ; Amedeo Napoli [France] ; Mario Valencia-Pabon [France]	A one-to-one correspondence between potential solutions of the cluster deletion problem and the minimum sum coloring problem, and its application to P4 -sparse graphs
000841 (2014-12-09)	Ali Assaf [France] ; Alejandro Díaz-Caro [Argentine] ; Simon Perdrix [France] ; Christine Tasson [France] ; Benoît Valiron [France]	Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
000873 (2014-11-22)	Flavia Bonomo [Argentine] ; Ivo Koch [Argentine] ; Pablo Torres [Argentine] ; Mario Valencia-Pabon [France]	k-tuple chromatic number of the cartesian product of graphs
000A33 (2014-07-19)	Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]	A Gentle Non-Disjoint Combination of Satisfiability Procedures
000A34 (2014-07-18)	Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
000C41 (2014-04)	Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]	A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
000D30 (2014)	Flavia Bonomo [Argentine] ; Oliver Schaudt [France] ; Maya Stein [Chili] ; Mario Valencia-Pabon [France]	b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs
000D56 (2014)	Carlos Areces [Argentine] ; Hans Van Ditmarsch [France] ; Raul Fervari [France] ; François Schwarzentruber [France]	Logics with Copy and Remove
000F56 (2013-11-05)	Pablo Torres [Argentine] ; Mario Valencia-Pabon [France]	On the packing chromatic number of hypercubes
000F69 (2013-10-30)	Flavia Bonomo [Argentine] ; Oliver Schaudt [France] ; Maya Stein [Chili] ; Mario Valencia-Pabon [France]	b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs
001118 (2013-07-09)	Maximiliano Geier [Argentine] ; Lucas Nussbaum [France] ; Martin Quinson [France]	On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?
001123 (2013-07-08)	Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine]	SyMT: finding symmetries in SMT formulas
001487 (2013)	Carlos Areces [Argentine] ; Raul Fervari [Argentine] ; Guillaume Hoffmann [Argentine]	Tableaux for Relation-Changing Modal Logics
001619 (2013)	Carlos Areces [Argentine] ; Ezequiel Orbe [Argentine]	Dealing with Symmetries in Modal Tableaux
001815 (2013)	Lucas Terissi [Argentine] ; Mauricio Cerda [Chili] ; Juan C. Gomez [Argentine] ; Nancy Hitschfeld-Kahler [Chili] ; Bernard Girau [France]	A comprehensive system for facial animation of generic 3D head models driven by speech.
001A42 (2012-07-22)	Carlos Sarraute [Argentine] ; Olivier Buffet [France] ; Joerg Hoffmann [France]	POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
001B51 (2012-05-22)	Carlos Sarraute [Argentine] ; Olivier Buffet [France] ; Joerg Hoffmann [France]	Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de pénétration
002088 (2011-10-19)	Marianela Parodi [Argentine] ; Juan Carlos Gomez [Argentine] ; Abdel Belaïd [France]	A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature Verification

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i -k "Argentine" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i  \
                -Sk "Argentine" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Argentine
}}

---

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