| Ident. | Authors (with country if any) | Title |
|---|
| 000296 (2015-10) |
David Déharbe [Brésil] ; Stephan Merz [France] | Software Component Design with the B Method — A Formalization in Isabelle/HOL |
| 000422 (2015-08) |
Yongxin Liao [Brésil] ; Mario Lezoche [France] ; Hervé Panetto [France] ; Nacer Boudjlida [France] ; Eduardo Rocha Loures [Brésil] | Semantic annotation for knowledge explicitation in a product lifecycle management context: a survey |
| 000436 (2015-07-25) |
Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France] | Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery |
| 000561 (2015-05) |
Rémi Badonnel [France] ; Xiao Jin [États-Unis] ; Ata Shingo [Japon] ; Filip Turck [Belgique] ; Groza Voicu [Canada] ; Carlos Raniery Paula Dos Santos [Brésil] | Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015). |
| 000759 (2015) |
Ana Karina Rodrigues Abadio [Brésil] ; Erika Seki Kioshima [Brésil] ; Vincent Leroux [France] ; Natalia Florêncio Martins [Brésil] ; Bernard Maigret [France] ; Maria Sueli Soares Felipe [Brésil] | Identification of New Antifungal Compounds Targeting Thioredoxin Reductase of Paracoccidioides Genus. |
| 000877 (2014-11-15) |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Laurent Voisin [France] ; Yoann Guyot [France] | Integrating SMT solvers in Rodin |
| 000985 (2014-08-24) |
Yongxin Liao [Brésil] ; Mario Lezoche [France] ; Hervé Panetto [France] ; Nacer Boudjlida [France] ; Eduardo Rocha Loures [Brésil] | Formal semantic annotations for models interoperability in a PLM environment |
| 000A09 (2014-08) |
Fernanda Brandao Da Silva [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil] | BoG: A New Approach for Graph Matching |
| 000B34 (2014-06) |
Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Rocha Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France] | A semantic annotation framework to assist the knowledge interoperability along a product life cycle |
| 000C38 (2014-03-26) |
Joost Batenburg ; David Coeurjolly [France] ; Bertrand Kerautret [France] ; Köthe Ullrich ; Jacques-Olivier Lachaud [France] ; Thomas Lewiner [Brésil] | Image Processing Online (IPOL) : Special issue on DGCI 2011 |
| 000F75 (2013-10-20) |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Daniel Le Berre [France] ; Bertrand Mazure [France] | Computing prime implicant |
| 001022 (2013-09-15) |
Fernanda Brandao Da Silva [Brésil] ; Siome Goldenstein [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil] | Image classification based on bag of visual graphs |
| 001027 (2013-09-09) |
Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Rocha Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France] | Semantic enrichment of models to assist knowledge management in a PLM environment |
| 001068 (2013-08-21) |
Hugo De Almeida [France] ; Izabela Bastos [Brésil] ; Bergman Ribeiro [France] ; Bernard Maigret [France] ; Jaime Santana [Brésil] | New Binding Site Conformations of the Dengue Virus NS3 Protease Accessed by Molecular Dynamics Simulation |
| 001093 (2013-07-21) |
Ricardo Da Silva Torres [Brésil] ; Makoto Hasegawa [France] ; Salvatore Tabbone [France] ; Jurandy Almeida [Brésil] ; Jefersson A. Dos Santos [Brésil] ; Bruna Alberton [Brésil] ; Patricia C. Morellato [Brésil] | Shape-based Time Series Analysis for Remote Phenology Studies |
| 001112 (2013-07-08) |
Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine] | SyMT: finding symmetries in SMT formulas |
| 001494 (2013) |
Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France] | Semantic Enrichment of Models to Assist Knowledge Management in a PLM Environment |
| 001A76 (2012-06-18) |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Yoann Guyot [France] ; Laurent Voisin [France] | SMT solvers for Rodin |
| 001B32 (2012-05-16) |
Mehdi Kaytoue [Brésil] ; Arlei Silva [Brésil] ; Loïc Cerf [Brésil] ; Wagner Meira [Brésil] ; Chedy Raïssi [France] | Watch me playing, I am a professional: a first study on video game live streaming |
| 001C26 (2012-02-27) |
Diego Aranha [Brésil] ; Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] | Optimal Eta pairing on supersingular genus-2 binary hyperelliptic curves |
| 001E32 (2012) |
Brandon Itzkovitz [Canada] ; Sarn Jiralerspong [Canada] ; Graeme Nimmo [Canada] ; Melissa Loscalzo [États-Unis] ; Dafne D. G. Horovitz [Brésil] ; Ann Snowden [États-Unis] ; Ann Moser [États-Unis] ; Steve Steinberg [États-Unis] ; Nancy Braverman [Canada] | Functional characterization of novel mutations in GNPAT and AGPS, causing rhizomelic chondrodysplasia punctata (RCDP) types 2 and 3 |
| 002049 (2011-10-17) |
Mehdi Kaytoue [Brésil] ; Sergei O. Kuznetsov [Russie] ; Juraj Macko [République tchèque] ; Wagner Meira [Brésil] ; Amedeo Napoli [France] | Mining Biclusters of Similar Values with Triadic Concept Analysis |
| 002050 (2011-10-17) |
Zainab Assaghir [France] ; Mehdi Kaytoue [Brésil] ; Wagner Meira [Brésil] ; Jean Villerd [France] | Extracting Decision Trees from Interval Pattern Concept Lattices |
| 002066 (2011-10-11) |
Olivier Beaumont [France] ; Laurent Bobelin [France] ; Henri Casanova [États-Unis] ; Pierre-Nicolas Clauss [France] ; Bruno Donassolo [Brésil] ; Lionel Eyraud-Dubois [France] ; Stéphane Genaud [France] ; Sascha Hunold [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Cristian Rosa [France] ; Lucas Schnorr [France] ; Mark Stillwell [France] ; Frédéric Suter [France] ; Christophe Thiery [France] ; Pedro Velho [France] ; Jean-Marc Vincent [France] ; Young Won [France] | Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems |
| 002196 (2011-08-01) |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Bruno Woltzenlogel Paleo [France] | Quantifier Inference Rules for SMT proofs |
| 002203 (2011-07-31) |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France] | Exploiting Symmetry in SMT Problems |
| 002659 (2011) |
Adriano Fiorese [Portugal, Brésil] ; Paulo Sim Es [Portugal] ; Fernando Boavida [Portugal] | On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks |
| 002814 (2011) |
Christelle Bidouil [France] ; Eduardo Basilio De Oliveira [Brésil] ; Latifa Chebil [France] ; Elaine-Rose Maia [Brésil] ; Bernard Maigret [France] ; Evelyne Ronat-Heidt [France] ; Mohamed Ghoul [France] ; Jean-Marc Engasser [France] ; Catherine Humeau [France] | Combined docking and molecular dynamics simulations to enlighten the capacity of Pseudomonas cepacia and Candida antarctica lipases to catalyze quercetin acetylation |
| 002B77 (2010-07-14) |
Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | GridTPT: a distributed platform for Theorem Prover Testing |
| 003063 (2010) |
Daniel Lima Ventura [Brésil] ; Mauricio Ayala-Rinc N [Brésil] ; Fairouz Kamareddine [Royaume-Uni] | Intersection Type Systems and Explicit Substitutions Calculi |
| 003462 (2009-07-22) |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Anamaria Martins Moreira [Brésil] ; Stephan Merz [France] ; Anderson Santana De Oliveira | Automating model-based software engineering |
| 003508 (2009-07) |
Hernan Astudillo [Chili] ; Gérôme Canals [France] ; Alicia Diaz [Argentine] ; Amedeo Napoli [France] ; Maria-Graça Pimentel [Brésil] | From data to knowledge through collaboration: bridging Wikis and Knowledge Systems |
| 003781 (2009) |
Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | Combining Decision Procedures by (Model-)Equality Propagation |
| 003867 (2009) |
Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | veriT : An Open, Trustable and Efficient SMT-Solver |
| 003899 (2009) |
David Déharbe [Brésil] ; Silvio Ranise [Italie, France] | Satisfiability solving for software verification |
| 003B90 (2009) |
Eduardo B. De Oliveira [France] ; Catherine Humeau [France] ; Latifa Chebil [France] ; Elaine R. Maia [Brésil] ; François Dehez [France] ; Bernard Maigret [France] ; Mohamed Ghoul [France] ; Jean-Marc Engasser [France] | A molecular modelling study to rationalize the regioselectivity in acylation of flavonoid glycosides catalyzed by Candida antarctica lipase B |
| 003C87 (2009) |
Hernan Astudillo [Chili] ; Victor Codocedo [Chili] ; Gérôme Canals [France] ; Diego Torres [Argentine] ; Alicia Diaz [Argentine] ; Amedeo Napoli [France] ; Alan Gomes [Brésil] ; Maria-Graça Pimentel [Brésil] | Combining knowledge discovery, ontologies, annotations, and semantic wikis |
| 003D41 (2008-12-03) |
Rodrigo De Toledo [Brésil] ; Bruno Lévy [France] | Visualization of Industrial Structures with Implicit GPU Primitives |
| 003E80 (2008-08-26) |
Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | Combining decision procedures by (model-)equality propagation |
| 004034 (2008-04-21) |
Rodrigo De Toledo [Brésil] ; Bruno Levy [France] ; Jean-Claude Paul [République populaire de Chine] | Reverse engineering for industrial-environment cad models |
| 004178 (2008) |
Rodrigo De Toledo [Brésil] ; Bin Wang [République populaire de Chine] ; Bruno Lévy [France] | Geometry Textures and Applications |
| 004B66 (2007) |
Cássio Henrique Mendonça [Brésil] | The System Verification Breakdown Method |
| 004E89 (2007) |
Francis Klay [France] ; Judson Santiago [Brésil] ; Laurent Vigneron [France] | Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder |
| 005018 (2006-09) |
David Déharbe [Brésil] ; Pascal Fontaine [France] | haRVey: combining reasoners |
| 005492 (2006) |
S. E. Vidotti [Brésil, France] ; A. C. Chinellato [Brésil, France] ; G. Hu [France] ; L. A. Pessan [Brésil] | Effects of low molar mass additives on the molecular mobility and transport properties of polysulfone |
| 005507 (2006) |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision Procedures for the Formal Analysis of Software |
| 006241 (2005) |
Gleison Santos [Brésil] ; Karina Villela [Brésil] ; Mariano Montoni [Brésil] ; Ana Regina Rocha [Brésil] ; Guilherme H. Travassos [Brésil] ; Sávio Figueiredo [Brésil] ; Sômulo Mafra [Brésil] ; Adriano Albuquerque [Brésil] ; Benito Diaz Paret [Brésil] ; Márcio Amaral [Brésil] | Knowledge Management in a Software Development Environment to Support Software Processes Deployment |
| 006308 (2005) |
Luciano P. Reis [Brésil, France] ; Alberto B. Raposo [Brésil] ; Jean-Claude Paul [France] ; Fabien Bosquet [France] | An Architecture for Collaborative Geomodeling |
| 006350 (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 |
| 006A61 (2004) |
Hazel Everett [France] ; Celina M. H. De Figueiredo [Brésil] ; Sulamita Klein [Brésil] ; Bruce Reed [France] | Bull-Reducible Berge Graphs are Perfect |
| 006C48 (2004) |
David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
