Ident. | Authors (with country if any) | Title |
---|
000141 (2016) |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000145 (2016) |
Benjamin Komac ; Pere Esteban [Espagne] ; Laura Trapero ; Roger Caritg | Modelization of the Current and Future Habitat Suitability of Rhododendron ferrugineum Using Potential Snow Accumulation |
000148 (2016) |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
000D94 (2014) |
Kattia Rojas Loría [Espagne] ; Teresa Gutiérrez Rosado [Espagne] ; Leonor María Cantera Espinosa [Espagne] ; Leda María Marenco Marrochi [Costa Rica] ; Anna Fernández Sánchez [Australie] | Trends in public health policies addressing violence against women |
000E32 (2014) |
J. I. Lopez-Moreno [Espagne] ; J. Revuelto [Espagne] ; M. Gilaberte [Espagne] ; E. Moran-Tejeda [Espagne] ; M. Pons [Andorre] ; E. Jover [Andorre] ; P. Esteban [Andorre] ; C. Garcia [Espagne] ; J. W. Pomeroy [Canada] | The effect of slope aspect on the response of snowpack to climate warming in the Pyrenees |
000E45 (2014) |
P. Nuche [Espagne] ; B. Komac [Andorre] ; J. J. Camarero [Espagne] ; C. L. Alados [Espagne] | Developmental instability as an index of adaptation to drought stress in a Mediterranean oak |
001504 (2013) |
Ernest Valveny [Espagne] ; Mathieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France] | Report on the Symbol Recognition and Spotting Contest |
001709 (2013) |
L. Trapero [Andorre] ; J. Bech [Espagne] ; J. Lorente [Espagne] | Numerical modelling of heavy precipitation events over Eastern Pyrenees: Analysis of orographic effects |
001713 (2013) |
Marc Pons-Pons [Espagne, Andorre, Canada] ; Peter A. Johnson [Canada] ; Marti Rosas-Casals [Espagne] ; Barbara Sureda [Espagne] ; Eric Jover [Andorre] | Modeling climate change effects on winter ski tourism in Andorra |
001718 (2013) |
B. Komac [Andorre] ; C. Stefanescu [Espagne] ; R. Caritg [Andorre] ; M. Domenech [Andorre] | Forces driving the composition of butterfly assemblages in Andorra |
001E93 (2012) |
Alessandro Furlan [France] ; Francesco Colombo [Italie] ; Andrea Kover [Espagne] ; Nathalie Issaly [France] ; Cristina Tintori [Italie] ; Lucilla Angeli [Italie] ; Vincent Leroux [France, Norvège] ; Sebastien Letard [France] ; Mercedes Amat [Espagne] ; Yasmine Asses [France] ; Bernard Maigret [France] ; Patrice Dubreuil [France] ; Maurizio Botta [Italie] ; Rosanna Dono [France] ; Joan Bosch [Espagne] ; Oreste Piccolo [Italie] ; Daniele Passarella [Italie] ; Flavio Maina [France] | Identification of new aminoacid amides containing the imidazo[2,1-b] benzothiazol-2-ylphenyl moiety as inhibitors of tumorigenesis by oncogenic Met signaling |
002653 (2011) |
Javier Baliosian [Uruguay] ; Joan Serrat [Espagne, États-Unis] ; Matias Richart [Uruguay] ; Juan Saavedra [Uruguay] ; Mariela Borba [Uruguay] ; Jose Luis Melus [Espagne] | Policy-Based Pricing for Heterogeneous Wireless Access Networks |
003105 (2010) |
Salim Jouili [France] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne, Canada] | Comparing Graph Similarity Measures for Graphical Recognition |
003228 (2010) |
Ronen Brafman [Israël] ; Hector Geffner [Espagne] ; Joerg Hoffmann [France] ; Henry Kautz [États-Unis] | Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10) |
003B62 (2009) |
Laura Trapero [Andorre, Espagne] ; Joan Bech [Espagne] ; Tomeu Rigo [Espagne] ; Nicolau Pineda [Espagne] ; David Forcadell [Espagne] | Uncertainty of precipitation estimates in convective events by the Meteorological Service of Catalonia radar network |
003B71 (2009) |
Oriol Ramos Terrades [Espagne] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | Optimal Classifier Fusion in a Non-Bayesian Probabilistic Framework |
004297 (2008) |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The Computability Path Ordering: The End of a Quest |
004321 (2008) |
Ernest Valveny [Espagne] ; Philippe Dosch [France] ; Alicia Fornés [Espagne] ; Sergio Escalera [Espagne] | Report on the Third Contest on Symbol Recognition |
004334 (2008) |
Ernest Valveny [Espagne] ; Salvatore Tabbone [France] ; Oriol Ramos [Espagne] ; Emilie Philippot [France] | Performance Characterization of Shape Descriptors for Symbol Representation |
004344 (2008) |
O. Ramos Terrades [Espagne] ; E. Valveny [Espagne] ; S. Tabbone [France] | On the Combination of Ridgelets Descriptors for Symbol Recognition |
004C56 (2007) |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
004C97 (2007) |
Marçal Rusi Ol [Espagne] ; Philippe Dosch [France] ; Josep Llad S [Espagne] | Boundary Shape Recognition Using Accumulated Length and Angle Information |
004D27 (2007) |
Iria Da Cunha [Espagne, États-Unis] ; Silvia Fernández [France] ; Patricia Velázquez Morales [Espagne] ; Jorge Vivaldi [Espagne, États-Unis] ; Eric Sanjuan [France] ; Juan Manuel Torres-Moreno [France, Canada] | A New Hybrid Summarizer Based on Vector Space Model, Statistical Physics and Linguistics |
005470 (2006) |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
005543 (2006) |
E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France] | A general framework for the evaluation of symbol recognition methods |
006216 (2005) |
Mirtha-Lina Fernández [Cuba] ; Guillem Godoy [Espagne] ; Albert Rubio [Espagne] | Orderings for Innermost Termination |
006B06 (2004) |
Philippe Dosch [France] ; Josep Llad S [Espagne] | Vectorial Signatures for Symbol Discrimination |
006B23 (2004) |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Symbol Recognition Contest: A Synthesis |
006B45 (2004) |
Miquel Bofill [Espagne] ; Albert Rubio [Espagne] | Redundancy Notions for Paramodulation with Non-monotonic Orderings |
006B50 (2004) |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Performance Evaluation of Symbol Recognition |
006C07 (2004) |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
006C21 (2004) |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
006C27 (2004) |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
006C89 (2004) |
Ernest Valvenyl [Espagne] ; Philippe Dosch [France] | Symbol recognition contest: A synthesis |
007883 (2003) |
Mercè Avellanet ; Meritxell Fiter ; Eva Cirera [Espagne] ; Margarida Coll | Prevalence of urinary incontinence in Andorra: impact on women's health. |
009D22 (2000) |
H. Everett [France] ; C. T. Hoàng [France, Canada] ; K. Kilakos [France, Royaume-Uni] ; M. Noy [France, Espagne] | Planar segment visibility graphs |
009E55 (2000) |
Jordi Levy [Espagne] ; Margus Veanes [Colombie] | On the Undecidability of Second-Order Unification |
009E62 (2000) |
Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Modular Redundancy for Theorem Proving |
009E81 (2000) |
Hubert Comon [France] ; Robert Nieuwenhuis [Espagne] | Induction=I-Axiomatization+First-Order Consistency |
00A900 (1999) |
Xavier Franch [Espagne] ; Josep M. Rib [Espagne] | Using UML for Modelling the Static Part of a Software Process |
00A938 (1999) |
Robert Nieuwenhuis [Espagne] ; José Miguel Rivero [Espagne] | Solved Forms for Path Ordering Constraints |
00A984 (1999) |
Robert Nieuwenhuis [Espagne] | Invited Talk: Rewrite-Based Deduction and Symbolic Constraints |
00AA11 (1999) |
Philippe Dosch [France] ; Christian Ah-Soon [France] ; Gérald Masini [France] ; Gemma Sénchez1 [France, Espagne] ; Karl Tombre [France] | Design of an Integrated Environment for the Automated Analysis of Architectural Drawings⋆ |
00AA64 (1999) |
Albert Rubio [Espagne] | A Fully Syntactic AC-RPO |
00B248 (1998) |
Marie-Madeleine Rohmer [France] ; Marc Bénard [France] ; Jean-Philippe Blaudeau [France] ; Juan-M Maestre [Espagne] ; Josep-M Poblet [Espagne] | From Lindqvist and Keggin ions to electronically inverse hosts |
00BC26 (1997) |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Paramodulation with Built-in AC-Theories and Symbolic Constraints |
00CC89 (1994) |
S. Clérici [Espagne] ; R. Jiménez [Espagne] ; F. Orejas [Espagne] | Semantic constructions in the specification language Glider |
00CD56 (1994) |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | AC-superposition with constraints: No AC-unifiers needed |
00D208 (1993) |
Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France] | Contextual rewriting as a sound and complete proof method for conditional LOG-specifications |
00D689 (1992) |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Basic superposition is complete |
00EE28 (1981) |
F. Orejas [Espagne] | On the representation of data types |