Search results for "FERET"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	P. Jonathon Phillips, Hyeonjoon Moon, Syed A. Rizvi, Patrick J. Rauss	The FERET Evaluation Methodology for Face-Recognition Algorithms.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	FERET database, Face recognition, algorithm evaluation
99	P. Jonathon Phillips, Hyeonjoon Moon, Patrick J. Rauss, Syed A. Rizvi	The FERET Evaluation Methodology for Face-Recognition Algorithms.	CVPR	1997	DBLP DOI BibTeX RDF
45	Frank Wallhoff, Gerhard Rigoll, Payman Moallem	A novel hybrid face profile recognition system using the FERET and MUGSHOT databases.	ICIP (1)	2001	DBLP DOI BibTeX RDF
36	Lior Shamir	Evaluation of Face Datasets as Tools for Assessing the Performance of Face Recognition Methods.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	FERET, Face recognition, Biometrics
36	Gabriel Jarillo, Witold Pedrycz, Marek Z. Reformat	Aggregation of classifiers based on image transformations in biometric face recognition.	Mach. Vis. Appl.	2008	DBLP DOI BibTeX RDF	FERET, YALE, Decision theory, Bayesian, Kernel-PCA, Eigenfaces, Isomap, Fisherfaces
36	Daidi Zhong, Irek Defée	Face Image Retrieval System Using TFV and Combination of Subimages.	VISUAL	2007	DBLP DOI BibTeX RDF	Face image retrieval, FERET, TFV, subimage
36	Gabriel Alvarado, Witold Pedrycz, Marek Z. Reformat, Keun Chang Kwak	Deterioration of visual information in face classification using Eigenfaces and Fisherfaces.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Deterioration of visual information, Fisherfaces and Eigenfaces, FERET face database, Face recognition, Principal component analysis, Linear discriminant analysis
36	Amit Jain, Jeffrey Huang, Shiaofen Fang	Gender identification using frontal facial images.	ICME	2005	DBLP DOI BibTeX RDF	gender identification, frontal facial image cassification, pattern recognition system, automated face detection, FERET facial database, SVM, support vector machine, computer vision, independent component analysis, ICA, gesture recognition, feature vector
36	P. Jonathon Phillips, Elaine M. Newton	Meta-Analysis of Face Recognition Algorithms.	FGR	2002	DBLP DOI BibTeX RDF	FERET, ORL, biometric evaluation, face recognition, meta-analysis
36	Baback Moghaddam, Chahab Nastar, Alex Pentland	Bayesian face recognition using deformable intensity surfaces.	CVPR	1996	DBLP DOI BibTeX RDF	deformable intensity surfaces, deformable 3D mesh, dense correspondence field, FERET database, facial data, face recognition, face recognition, image recognition, image recognition, image matching, image matching, Bayes methods, 2D image, 3D warp
36	Jeffrey Huang, Srinivas Gutta, Harry Wechsler	Detection of human faces using decision trees.	FG	1996	DBLP DOI BibTeX RDF	human face detection, FERET database, semi-uniform background, face box, face image normalization, visual observation, nose, mouth, image rejection, algorithm, face recognition, decision trees, location, post-processing, eyes, face images, cropping
36	Sun-Yuan Kung, M. Fang, S. P. Liou, M. Y. Chiu, Jin-Shiuh Taur	Decision-based neural network for face recognition system.	ICIP	1995	DBLP DOI BibTeX RDF	decision-based neural network, face recognition system, hierarchical network structure, nonlinear basis functions, competitive credit-assignment scheme, face detector, eye localizer, DBNN based face recognizer, SCR-IM database, ARPA-FERET database, classification, learning (artificial intelligence), feature extraction, feature extraction, face recognition, image recognition, neural nets, feature vectors, human face
34	Slobodan Drazic, Natasa Sladoje, Joakim Lindblad	Estimation of Feret's diameter from pixel coverage representation of a shape.	Pattern Recognit. Lett.	2016	DBLP DOI BibTeX RDF
34	Dominik Jelsovka, Róbert Hudec, Martin Breznan	Face recognition on FERET face database using LDA and CCA methods.	TSP	2011	DBLP DOI BibTeX RDF
34	Kresimir Delac, Mislav Grgic, Sonja Grgic	Independent comparative study of PCA, ICA, and LDA on the FERET data set.	Int. J. Imaging Syst. Technol.	2005	DBLP DOI BibTeX RDF
34	Kyungim Baek, Bruce A. Draper, J. Ross Beveridge, Kai She	PCA vs. ICA: A Comparison on the FERET Data Set.	JCIS	2002	DBLP BibTeX RDF
34	P. Jonathon Phillips, Harry Wechsler, Jeffrey Huang, Patrick J. Rauss	The FERET database and evaluation procedure for face-recognition algorithms.	Image Vis. Comput.	1998	DBLP DOI BibTeX RDF
34	Syed A. Rizvi, P. Jonathon Phillips, Hyeonjoon Moon	The FERET Verification Testing Protocol for Face Recognition Algorithms.	FG	1998	DBLP BibTeX RDF
34	P. Jonathon Phillips, Hyeonjoon Moon, Patrick J. Rauss, Syed A. Rizvi	The FERET September 1996 Database and Evaluation Procedure.	AVBPA	1997	DBLP DOI BibTeX RDF
33	Pranab K. Mohanty, Sudeep Sarkar, Rangachar Kasturi, P. Jonathon Phillips	Subspace Approximation of Face Recognition Algorithms: An Empirical Study.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
33	Pranab K. Mohanty, Sudeep Sarkar, Rangachar Kasturi	From Scores to Face Templates: A Model-Based Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Face template reconstruction, probability of break-in, security and privacy issues in biometric systems., hill climbing attack, multidimensional scaling
29	Jean-Baptiste Féret, Florian de Boissieu	prospect: an R package to link leaf optical properties with their chemical and structural properties with the leaf model PROSPECT.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
29	Junxiang Peng, Niklas Zeiner, David Parsons 0002, Jean-Baptiste Féret, Mats Söderström, Julien Morel	Forage Biomass Estimation Using Sentinel-2 Imagery at High Latitudes.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
29	Florian de Boissieu, Florence Heuschmidt, Nicolas Lauret, Dav M. Ebengo, Grégoire Vincent, Jean-Baptiste Féret, Tiangang Yin, Jean-Philippe Gastellu-Etchegorry, Josiane Costeraste, Marie-José Lefèvre-Fonollosa, Sylvie Durrieu	Validation of the DART Model for Airborne Laser Scanner Simulations on Complex Forest Environments.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2023	DBLP DOI BibTeX RDF
29	Leander J. Féret, Alexander Gepperth, Steven Lambeck	On the improvement of model-predictive controllers.	CoRR	2023	DBLP DOI BibTeX RDF
29	Jérôme Feret	Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites.		2023	RDF
29	Jérôme Boillot, Jérôme Feret	Symbolic Transformation of Expressions in Modular Arithmetic.	SAS	2023	DBLP DOI BibTeX RDF
29	Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler	A Semantics of Core Erlang with Handling of Signals.	Erlang Workshop	2023	DBLP DOI BibTeX RDF
29	Jérôme Feret, Albin Salazar	A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation.	VMCAI	2023	DBLP DOI BibTeX RDF
29	Jérôme Puech, Laura Hermozo, Hélène Brogniez, Rémy Roca, Thomas Fiolleau, Jean-Pierre Chaboureau, Franck Auguste, Dominique Bouniol, Julien Delanoë, Valerio Cipolla, Benjamin Carayon, Samuel Melle, Christophe Malassingne, Laurent Costes, Jean-Claude Orlhac, Adrien Moraine, Stephane Le Drogo, Carole Tucker, Peter Ade, Ian Walker, Jeanne Treuttel, Gregory Gay 0003, Lina Gatilova, Alexandre Feret, Thibaut Vacelet, Jean-Michel Krieg	The C2Omodo Concept: A Tandem of New Generation High Resolution All-Sky Atmospheric Sounders in the Frame of the AOS Mission.	IGARSS	2023	DBLP DOI BibTeX RDF
29	Markus Gastauer, Wilson R. Nascimento, Cecílio Frois Caldeira, Silvio Junio Ramos, Pedro Walfir M. Souza Filho, Jean-Baptiste Féret	Spectral diversity allows remote detection of the rehabilitation status in an Amazonian iron mining complex.	Int. J. Appl. Earth Obs. Geoinformation	2022	DBLP DOI BibTeX RDF
29	Eric Chraibi, Florian de Boissieu, Nicolas Barbier, Sandra Luque, Jean-Baptiste Féret	Stability in time and consistency between atmospheric corrections: Assessing the reliability of Sentinel-2 products for biodiversity monitoring in tropical forests.	Int. J. Appl. Earth Obs. Geoinformation	2022	DBLP DOI BibTeX RDF
29	Dav M. Ebengo, Florian de Boissieu, Grégoire Vincent, Christiane Weber, Jean-Baptiste Féret	Simulating Imaging Spectroscopy in Tropical Forest with 3D Radiative Transfer Modeling.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
29	Eric Chraibi, Haley Arnold, Sandra Luque, Amy Deacon, Anne E. Magurran, Jean-Baptiste Féret	A Remote Sensing Approach to Understanding Patterns of Secondary Succession in Tropical Forest.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
29	Duccio Rocchini, Nicole Salvatori, Carl Beierkuhnlein, Alessandro Chiarucci, Florian de Boissieu, Michael Förster, Carol X. Garzon-Lopez, Thomas W. Gillespie, Heidi C. Hauffe, Kate S. He, Birgit Kleinschmit, Jonathan Lenoir, Marco Malavasi, Vítezslav Moudrý, Harini Nagendra, Davnah Payne, Petra Símová, Michele Torresani, Jean-Baptiste Féret	From local spectral species to global spectral communities: A benchmark for ecosystem diversity estimate by remote sensing.	Ecol. Informatics	2021	DBLP DOI BibTeX RDF
29	Anthony Laybros, Mélaine Aubry-Kientz, Jean-Baptiste Féret, Caroline Bedeau, Olivier Brunaux, Géraldine Derroire, Grégoire Vincent	Quantitative Airborne Inventories in Dense Tropical Forest Using Imaging Spectroscopy.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
29	Katja Berger, Jochem Verrelst, Jean-Baptiste Féret, Tobias Hank, Matthias Wocher, Wolfram Mauser, Gustau Camps-Valls	Retrieval of aboveground crop nitrogen content with a hybrid machine learning method.	CoRR	2020	DBLP BibTeX RDF
29	Katja Berger, Jochem Verrelst, Jean-Baptiste Féret, Tobias Hank, Matthias Wocher, Wolfram Mauser, Gustau Camps-Valls	Retrieval of aboveground crop nitrogen content with a hybrid machine learning method.	Int. J. Appl. Earth Obs. Geoinformation	2020	DBLP DOI BibTeX RDF
29	Andreea Beica, Jérôme Feret, Tatjana Petrov	Tropical Abstraction of Biochemical Reaction Networks with Guarantees.	SASB	2020	DBLP DOI BibTeX RDF
29	Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret	Proving the Absence of Unbounded Polymers in Rule-based Models.	SASB	2020	DBLP DOI BibTeX RDF
29	Marc Chevalier, Jérôme Feret	Sharing Ghost Variables in a Collection of Abstract Domains.	VMCAI	2020	DBLP DOI BibTeX RDF
29	Anthony Laybros, Daniel Schläpfer, Jean-Baptiste Féret, Laurent Descroix, Caroline Bedeau, Marie-José Lefèvre, Grégoire Vincent	Across Date Species Detection Using Airborne Imaging Spectroscopy.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
29	Cécile Gomez, Subramanian Dharumarajan, Jean-Baptiste Féret, Philippe Lagacherie, Laurent Ruiz, Muddu Sekhar	Use of Sentinel-2 Time-Series Images for Classification and Uncertainty Analysis of Inherent Biophysical Property: Case of Soil Texture Mapping.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
29	Marc Lang, Samuel Alleaume, Sandra Luque, Nicolas N. Baghdadi, Jean-Baptiste Féret	Complementarity between Textural and Radiometric Indices From Airborne and Spaceborne Multi VHSR Data: Disentangling the Complexity of Heterogeneous Landscape Matrix.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
29	Jérôme Feret, Heinz Koeppl	Editorial.	IEEE ACM Trans. Comput. Biol. Bioinform.	2019	DBLP DOI BibTeX RDF
29	Jérôme Feret, Loïc Paulevé, David Safránek	Preface.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
29	Dav M. Ebengo, Florian de Boissieu, Claudia Lavalley, Grégoire Vincent, Christiane Weber, Jean-Baptiste Féret	Simulating Spectral Heterogeneity In Tropical Forest Canopy Reflectance With 3d Radiative Transfer Modeling.	WHISPERS	2019	DBLP DOI BibTeX RDF
29	Pierre Boutillier, Ioana Cristescu, Jérôme Feret	Counters in Kappa: Semantics, Simulation, and Static Analysis.	ESOP	2019	DBLP DOI BibTeX RDF
29	Timo Féret, Pramod Chandrashekhariah, Noel Trujillo	Real-time Parking Slot Detection for Camera-equipped Vehicles.	ITSC	2019	DBLP DOI BibTeX RDF
29	Florian de Boissieu, Marc Lang, Jean-Baptiste Féret, Jean-Matthieu Monnet, Sylvie Durrieu	Reconstruction of Airborne Laser Scanner Trajectory From Data.	IGARSS	2019	DBLP DOI BibTeX RDF
29	Marc Lang, Samuel Alleaume, Sandra Luque, Nicolas N. Baghdadi, Jean-Baptiste Féret	Monitoring and Characterizing Heterogeneous Mediterranean Landscapes with Continuous Textural Indices Based on VHSR Imagery.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
29	Jérôme Feret, Kim Quyên Lý	Reachability Analysis via Orthogonal Sets of Patterns.	SASB	2018	DBLP DOI BibTeX RDF
29	Jérôme Feret, Kim Quyen Ly	Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models.	IEEE ACM Trans. Comput. Biol. Bioinform.	2018	DBLP DOI BibTeX RDF
29	Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana	The Kappa platform for rule-based modeling.	Bioinform.	2018	DBLP DOI BibTeX RDF
29	Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet	KaSa: A Static Analyzer for Kappa.	CMSB	2018	DBLP DOI BibTeX RDF
29	Marc Lang, Samuel Alleaume, Sandra Luque, Nicolas N. Baghdadi, Jean-Baptiste Féret	Landscape Structure Estimation using Fourier-Based Textural Ordination of High Resolution Airborne Optical Image.	IGARSS	2018	DBLP DOI BibTeX RDF
29	Matheus Pinheiro Ferreira, Jean-Baptiste Féret, Eloi Grau, Fabien Hubert Wagner, Luiz Eduardo Oliveira e Cruz de Aragão, Yosio Edemir Shimabukuro, Carlos Roberto de Souza Filho	A Simplified 3D Radiative Transfer Approach for the Retrieval of Chemical and Structural Properties of Individual Tree Crowns from Hyperspectral Data.	IGARSS	2018	DBLP DOI BibTeX RDF
29	Johanna Albetis, Sylvie Duthoit, Fabio Guttler, Anne Jacquin, Michel Goulard, Hervé Poilvé, Jean-Baptiste Féret, Gérard Dedieu	Detection of Flavescence dorée Grapevine Disease Using Unmanned Aerial Vehicle (UAV) Multispectral Imagery.	Remote. Sens.	2017	DBLP DOI BibTeX RDF
29	Julianne de Castro Oliveira, Jean-Baptiste Féret, Flávio Jorge Ponzoni, Yann Nouvellon, Jean-Philippe Gastellu-Etchegorry, Otavio Camargo Campoe, Jose-Luiz Stape, Luiz Carlos Estraviz Rodriguez, Guerric le Maire	Simulating the Canopy Reflectance of Different Eucalypt Genotypes With the DART 3-D Model.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2017	DBLP DOI BibTeX RDF
29	Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý	KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models.	CMSB	2017	DBLP DOI BibTeX RDF
29	Jérôme Feret, Heinz Koeppl (eds.)	Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings	CMSB	2017	DBLP DOI BibTeX RDF
29	Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret	Formal derivation of qualitative dynamical models from biochemical networks.	Biosyst.	2016	DBLP DOI BibTeX RDF
29	Gaelle Viennois, Christophe Proisy, Jean-Baptiste Féret, Juliana Prosperi, Frida Sidik, Suhardjono, Rinny Rahmania, Nicolas Longépé, Olivier Germain, Philippe Gaspar	Multitemporal Analysis of High-Spatial-Resolution Optical Satellite Imagery for Mangrove Species Mapping in Bali, Indonesia.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2016	DBLP DOI BibTeX RDF
29	Jérôme Feret, Kim Quyên Lý	Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models.	CMSB	2016	DBLP DOI BibTeX RDF
29	Tiangang Yin, Jean-Baptiste Féret, Jean-Philippe Gastellu-Etchegorry, Nicolas Lauret	DAta simulation and fusion of imaging spectrometer and LiDAR multi-sensor system through dart model.	IGARSS	2016	DBLP DOI BibTeX RDF
29	Jean-Philippe Gastellu-Etchegorry, Tiangang Yin, Nicolas Lauret, Thomas Cajgfinger, Tristan Grégoire, Eloi Grau, Jean-Baptiste Féret, Maïlys Lopes, Jordan Guilleux, Gérard Dedieu, Zbynek Malenovský, Bruce Douglas Cook, Douglas C. Morton, Jeremy Rubio, Sylvie Durrieu, Gregory Cazanave, Emmanuel Martin, Thomas Ristorcelli	Discrete Anisotropic Radiative Transfer (DART 5) for Modeling Airborne and Satellite Spectroradiometer and LIDAR Acquisitions of Natural and Urban Landscapes.	Remote. Sens.	2015	DBLP DOI BibTeX RDF
29	Cédric Véga, Udayalakshmi Vepakomma, Jules Morel, Jean-Luc Bader, Gopalakrishnan Rajashekar, Chandra Shekhar Jha, Jérôme Feret, Christophe Proisy, Raphaël Pélissier, Vinay Kumar Dadhwal	Aboveground-Biomass Estimation of a Complex Tropical Forest in India Using Lidar.	Remote. Sens.	2015	DBLP DOI BibTeX RDF
29	Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival	Static Analysis and Verification of Aerospace Software by Abstract Interpretation.	Found. Trends Program. Lang.	2015	DBLP DOI BibTeX RDF
29	Jean-Baptiste Féret, Christina Corbane, Samuel Alleaume	Detecting the Phenology and Discriminating Mediterranean Natural Habitats With Multispectral Sensors - An Analysis Based on Multiseasonal Field Spectra.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2015	DBLP DOI BibTeX RDF
29	Gaelle Viennois, Christophe Proisy, Rinny Rahmania, Ariani Andayani, Berni Subki, Suhardjono, Jean-Baptiste Féret, Juliana Prosperi, Frida Sidik, Nuryani Widagti, Olivier Germain, Philippe Gaspar	Temporal stability of mangrove multispectral signatures at fine scales: Stability of mangrove multispectral signatures.	MultiTemp	2015	DBLP DOI BibTeX RDF
29	Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry	Derivation of Qualitative Dynamical Models from Biochemical Networks.	CMSB	2015	DBLP DOI BibTeX RDF
29	Jérôme Feret	An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models.	SASB	2014	DBLP DOI BibTeX RDF
29	Jean-Baptiste Féret, Gregory P. Asner	Tree Species Discrimination in Tropical Forests Using Airborne Imaging Spectroscopy.	IEEE Trans. Geosci. Remote. Sens.	2013	DBLP DOI BibTeX RDF
29	Jérôme Feret, Heinz Koeppl, Tatjana Petrov	Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models.	Int. J. Softw. Informatics	2013	DBLP BibTeX RDF
29	Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman	Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions.	CMSB	2013	DBLP DOI BibTeX RDF
29	Matthew S. Colgan, Claire A. Baldeck, Jean-Baptiste Féret, Gregory P. Asner	Mapping Savanna Tree Species at Ecosystem Scales Using Support Vector Machine Classification and BRDF Correction on Airborne Hyperspectral and LiDAR Data.	Remote. Sens.	2012	DBLP DOI BibTeX RDF
29	Jean-Baptiste Féret, Gregory P. Asner	Semi-Supervised Methods to Identify Individual Crowns of Lowland Tropical Canopy Species Using Imaging Spectroscopy and LiDAR.	Remote. Sens.	2012	DBLP DOI BibTeX RDF
29	Jérôme Feret, Andre Levchenko	Preface.	SASB	2012	DBLP DOI BibTeX RDF
29	Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov	Lumpability abstractions of rule-based systems.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
29	Tatjana Petrov, Jérôme Feret, Heinz Koeppl	Reconstructing species-based dynamics from reduced stochastic rule-based models.	WSC	2012	DBLP DOI BibTeX RDF
29	Jérôme Feret, Andre Levchenko (eds.)	Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011	SASB	2012	DBLP BibTeX RDF
29	Jérôme Feret, Andre Levchenko (eds.)	3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012	SASB	2012	DBLP BibTeX RDF
29	Guillaume Tochon, Jean-Baptiste Féret, Roberta E. Martin, Raul Tupayachi, Jocelyn Chanussot, Gregory P. Asner	Binary partition tree as a hyperspectral segmentation tool for tropical rainforests.	IGARSS	2012	DBLP DOI BibTeX RDF
29	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel	Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.	FSTTCS	2012	DBLP DOI BibTeX RDF
29	Ferdinanda Camporesi, Jérôme Feret	Formal Reduction for Rule-based Models.	MFPS	2011	DBLP DOI BibTeX RDF
29	Jérôme Feret, Andre Levchenko	Preface.	SASB	2011	DBLP DOI BibTeX RDF
29	Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival	Static analysis by abstract interpretation of embedded critical software.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
29	Jean-Baptiste Féret, Gregory P. Asner, Stephane Jacquemoud	Regularization of discriminant analysis for the study of biodiversity in humid tropical forests.	WHISPERS	2011	DBLP DOI BibTeX RDF
29	Jérôme Feret, Andre Levchenko (eds.)	Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010	SASB	2011	DBLP BibTeX RDF
29	Jérôme Feret	Formal Model Reduction.	SAS	2011	DBLP DOI BibTeX RDF
29	Jérôme Feret, Andre Levchenko	Preface.	SASB	2010	DBLP DOI BibTeX RDF
29	Jérôme Feret	Fragments-based Model Reduction: Some Case Studies.	CS2Bio	2010	DBLP DOI BibTeX RDF
29	Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov	Combining Model Reductions.	MFPS	2010	DBLP DOI BibTeX RDF
29	Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov	Lumpability Abstractions of Rule-based Systems	MeCBIC	2010	DBLP DOI BibTeX RDF
29	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction.	LICS	2010	DBLP DOI BibTeX RDF
29	Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims	Astree: Nachweis der Abwesenheit von Laufzeit.	Softwaretechnik-Trends	2009	DBLP BibTeX RDF
29	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Rule-Based Modelling and Model Perturbation.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
29	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival	Why does Astrée scale up?	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF
29	Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana	Internal coarse-graining of molecular systems.	Proc. Natl. Acad. Sci. USA	2009	DBLP DOI BibTeX RDF
29	Jérôme Feret	Partitioning the Threads of a Mobile System	CoRR	2008	DBLP BibTeX RDF