Skip to Main content Skip to Navigation

inria-00596236v1  Journal articles
A. A. FallAbderrahman IggidrGauthier SalletJean-Jules Tewa. Epidemiological models and Lyapunov functions
Mathematical Modelling of Natural Phenomena, EDP Sciences, 2007, 2 (1), pp.62 - 83. ⟨10.1051/mmnp:2008011⟩
inria-00000448v1  Conference papers
Mourad AbbasKamel Smaïli. Comparison of Topic Identification methods for Arabic Language
International Conference on Recent Advances in Natural Language Processing - RANLP 2005, Sep 2005, Borovets, Bulgaria
inria-00403102v1  Conference papers
Mourad AbbasKamel SmaïliDaoud Berkani. Multi-Category Support Vector Machines for Identifying Arabic Topics
10th International Conference on Intelligent Text Processing and Computational Linguistics - CICLing 2009, Mar 2009, Mexico, Mexico
hal-01586533v1  Conference papers
Mourad AbbasKamel SmaïliD Berkani. Comparing TR-Classifier and KNN by using Reduced Sizes of Vocabularies
3rd International Conference on Arabic Language Processing, May 2009, Rabat, Morocco
hal-01586549v1  Journal articles
Mourad AbbasKamel SmaïliDaoud Berkani. TR-Classifier and kNN Evaluation for Topic Identification tasks
International Journal on Information and Communication Technologies, Serials Publications, 2010, 3 (3), pp.10
hal-00390289v1  Conference papers
Lokman Abbas-TurkiStéphane VialleBernard LapeyrePatrick Mercier. High Dimensional Pricing of Exotic European Contracts on a GPU Cluster, and Comparison to a CPU Cluster
Second International Workshop on Parallel and Distributed Computing in Finance - PDCoF 2009, May 2009, Rome, Italy. Proceedings on CD-ROM (8 p.), ⟨10.1109/IPDPS.2009.5161143⟩
inria-00099116v1  Conference papers
John AbbottVictor ShoupPaul Zimmermann. Factorization in Z[x]: the searching phase
International Symposium on Symbolic and Algebraic Computation - ISSAC 2000, Aug 2000, St Andrews/United Kingdom, pp.1--7
hal-01654158v1  Journal articles
Meriem AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  On the relevance of two manual tumor volume estimation methods for diffuse low-grade gliomas
Healthcare Technology Letters, The Institution of Engineering and Technology, 2018, 5 (1), pp.13-17. ⟨10.1049/htl.2017.0013⟩
inria-00403933v1  Conference papers
Rached AbdelkhalekHenri CalendraOlivier CoulaudGuillaume LatuJean Roman. Fast Seismic Modeling and Reverse Time Migration on a GPU Cluster
The 2009 High Performance Computing & Simulation - HPCS'09, Jun 2009, Leipzig, Germany
inria-00407782v1  Conference papers
Rached AbdelkhalekHenri CalandraOlivier CoulaudGuillaume LatuJean Roman. FDTD Based Seismic Modeling and Reverse Time Migration on a GPU Cluster
9th International Conference on Mathematical and Numerical Aspects of Waves Propagation - Waves 2009, 2009, Pau, France
inria-00405356v1  Journal articles
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP authentication
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2009, Special Issue on Access Control and Protcols, 4 (4), pp.311-318
tel-01748510v2  Theses
Humberto Abdelnur. Voice over IP Vulnerability Assessment
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10005⟩
inria-00166947v1  Conference papers
Humberto AbdelnurOlivier FestorRadu State. KiF: A stateful SIP Fuzzer
1st International Conference on Principles, Systems and Applications of IP Telecommunications (IPTComm), Columbia University, Jul 2007, New York, United States
inria-00326086v1  Conference papers
Humberto AbdelnurRadu StateOlivier Festor. Fuzzing for vulnerabilities in the VoIP space
17th EICAR Annual Conference, May 2008, Laval, France
inria-00326054v1  Conference papers
Humberto AbdelnurRadu StateOlivier Festor. Advanced Network Fingerprinting
Recent Advances in Intrusion Detection, MIT, Sep 2008, Boston, United States. pp.372-389, ⟨10.1007/978-3-540-87403-4⟩
inria-00167186v1  Conference papers
Humberto AbdelnurVincent CridligRadu StateOlivier Festor. VoIP Security Assessment: Methods and Tools
The 1st IEEE workshop on VoIP Management and Security: VoIP MaSe, IEEE/IFIP, Apr 2006, Vancouver, Canada. pp.29 - 34, ⟨10.1109/VOIPMS.2006.1638119⟩
inria-00337663v1  Journal articles
Humberto AbdelnurOlivier FestorRadu State. Fuzzing dans la sphère VoIP
MISC - Le journal de la sécurité informatique, Lavoisier, 2008
inria-00436373v1  Journal articles
Humberto AbdelnurRadu StateOlivier Festor. Fuzzing for vulnerabilities in the VoIP space
Journal in Computer Virology, Springer Verlag, 2009
inria-00326077v1  Conference papers
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP Authentication
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
inria-00148363v2  Conference papers
Humberto AbdelnurRadu StateIsabelle ChrismentCristian Popi. Assessing the security of VoIP Services
The Tenth IFIP/IEEE International Symposium on Integrated Network Management - IM 2007, IEEE Communication Society, May 2007, Munich, Germany. pp.373-382
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
halshs-00120275v1  Book sections
Anne AbeilléOlivier BonamiDanièle GodardJesse Tseng. The syntax of French "à" and "de": an HPSG analysis
Patrick Saint-Dizier. Syntax and Semantics of Prepositions, Springer, pp.147-162, 2006
inria-00099757v1  Conference papers
Anne AbeilléOlivier BonamiDanièle GodardJesse Tseng. The syntax of French "à" and "de": An HPSG analysis
ACL-SIGSEM Workshop on the linguistic dimensions of prepositions and their use in computational linguistics formalisms and applications, 2003, Toulouse, France, 12 p
inria-00100023v1  Conference papers
Anne AbeilléOlivier BonamiDanièle GodardJesse Tseng. The Syntax of French de-N' Phrases
11th International Conference on Head-Driven Phrase Structure Grammar - HPSG'2004, Frank Van Eynde, 2004, Leuven, Belgium, pp.6-26
halshs-01450233v1  Journal articles
Anne AbeilléOlivier BonamiDanièle GodardJesse Tseng. Les syntagmes nominaux français de la forme de-N
Travaux de Linguistique : Revue Internationale de Linguistique Française, De Boeck Université, 2006, 50, pp.79\textendash95
inria-00000565v1  Conference papers
Denis AbrahamDominique CansellPatrick DitschDominique MéryCyril Proch. Synthesis of the QoS for digital TV services
First International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande
inria-00099793v1  Conference papers
Jean-Raymond AbrialDominique CansellDominique Méry. Formal derivation of spanning trees algorithms
Third International Conference of B and Z Users - ZB'2003, Marina Walden, 2003, Turku, Finland, pp.457-476
inria-00099836v1  Conference papers
Jean-Raymond AbrialDominique Cansell. Click'n'Prove: Interactive Proofs Within Set Theory
16th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'2003, 2003, Rome, Italy, pp.1-24
inria-00001245v1  Conference papers
Jean-Raymond AbrialDominique CansellDominique Méry. Refinement and Reachability in Event_B
ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, pp.222-241, ⟨10.1007/11415787_14⟩
inria-00000120v1  Journal articles
Jean-Raymond AbrialDominique Cansell. Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Journal of Universal Computer Science, Springer, 2005, Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181), 11 (5), pp.744-770
inria-00099950v1  Conference papers
Sébastien AdamMaurizio RigamontiEric ClavierJean-Marc OgierEric Trupin et al.  DocMining: A Document Analysis System Builder
6th IAPR International Workshop on Document Analysis Systems - DAS 2004, 2004, Florence, Italie, pp.472--483
hal-02754636v1  Conference papers
Katarzyna AdamczykFrédérique AngevinNathalie ColbachClaire LavigneFlorence Le Ber et al.  GENEXP, un logiciel simulateur de paysages agricoles pour l'étude de la diffusion de transgènes
Colloque International de Géomatique et d'Analyse Spatiale, Recherches et Développements - SAGEO-2006, 2006, Strasbourg, France. ⟨10.3166/GEO.17.⟩
hal-00675359v2  Journal articles
Philippe AddaDerdei Bichara. Global stability for SIR and SIRS models with differential mortality
International Journal of Pure and Applied Mathematics, Academic Publishing Ltd, 2012, GLOBAL STABILITY FOR SIR AND SIRS MODELS WITH DIFFERENTIAL MORTALITY, 80 (3), pp.425-433
hal-00764764v1  Conference papers
Philippe AddaLéontine Nkague NkambaGauthier SalletLorenzo Castelli. A SVEIR model with Imperfect Vaccine
CMPD 3 Conference on Computational and Mathematical Population Dynamics, May 2010, Bordeaux, France
inria-00001206v1  Journal articles
Loredana AfanasievPatrick BlackburnIoanna DimitriouBertrand GaiffeEvan Goris et al.  PDL for ordered trees
Journal of Applied Non-Classical Logics, Taylor & Francis, 2005, 15 (2), pp.115--135
inria-00098969v1  Journal articles
Mohamed AfifyYifan GongJean-Paul Haton. A Minimum Cross-Entropy Approach to Hidden Markov Model Adaptation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 1999, 6 (6), pp.132-134
inria-00100887v1  Journal articles
Pankaj K. AgarwalThérèse BiedlSylvain LazardSteve RobbinsSubhash Suri et al.  Curvature-Constrained Shortest Paths in a Convex Polygon
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2002, 31 (6), pp.1814-1851. ⟨10.1137/S0097539700374550⟩
hal-00827890v1  Conference papers
Pankaj K. AgarwalThérèse BiedlSylvain LazardSteve RobbinsSubhash Suri et al.  Curvature-Constrained Shortest Paths in a Convex Polygon
Symposium on Computational Geometry - SCG 1998, Jun 1998, Mineapolis, United States. pp.392-401, ⟨10.1145/276884.276928⟩
hal-00631473v1  Conference papers
Prakhar AgarwalMehdi KaytoueSergei O. KuznetsovAmedeo NapoliGéraldine Polaillon. Symbolic Galois Lattices with Pattern Structures
Thirteenth International Conference on Rough Sets, Fuzzy Sets and Granular Computing - RSFDGrC-2011, Jun 2011, Moscou, Russia. pp.191-198, ⟨10.1007/978-3-642-21881-1_31⟩
inria-00100517v1  Conference papers
Riad Aggoune. Minimizing the Makespan for the Flow Shop Scheduling Problem with Availability Constraints
Operational Research Peripatetic Post-Graduate Programme - ORP3, Sep 2001, Paris, France
inria-00100962v1  Conference papers
Riad AggouneMarie-Claude Portmann. A New Heuristic for the Flow Shop Scheduling Problem with Availability Constraints
International Symposium on Combinatorial Optimization - CO'02, Apr 2002, Paris, France, 1 p
inria-00100961v1  Conference papers
Riad AggouneMarie-Claude Portmann. A heuristic approach for the job shop scheduling problem with availability constraints
XV Conference of the European Chapter on Combinatorial Optimization - ECCO'2002, ECCO, May 2002, Lugano, Switzerland, 1 p
inria-00099826v1  Conference papers
Riad AggouneMarie-Claude Portmann. Flow Shop Scheduling Problem with Limited Machine Availability: A Heuristic Approach
International Conference on Industrial Engineering and Production Management - IEPM'2003, Fucam, May 2003, Porto, Portugal, pp.140-149
inria-00099940v1  Journal articles
Riad Aggoune. Minimizing the Makespan for the Flow Shop Scheduling Problem with Availability Constraints
European Journal of Operational Research, Elsevier, 2004, 153 (3), pp.534-543
inria-00100097v1  Journal articles
Riad AggouneMarie-Claude Portmann. Flow Shop Scheduling Problem with Limited Machine Availability: A Heuristic Approach
International Journal of Production Economics, Elsevier, 2004, 26 p
inria-00100516v1  Conference papers
Riad AggouneAbdel Halim MahdiMarie-Claude Portmann. Genetic Algorithms for the Flow Shop Scheduling Problem with availability constraints
IEEE International Conference on Systems, Man, and Cybernetics 2001, 2001, Tucson, Arizona
inria-00098634v1  Conference papers
Christian Ah-SoonKarl Tombre. Network-Based Recognition of Architectural Symbols
Advances in Pattern Recognition, Proceedings of Joint IAPR Workshops SSPR'98 and SPR'98, 1998, Sydney, Australia, pp.252--261
inria-00098631v1  Conference papers
Christian Ah-SoonPhilippe Dosch. Analyse de plans architecturaux
Reconnaissance des Formes et Intelligence Artificielle 98, 1998, Clermont-Ferrand, France, pp.113-122
inria-00098633v1  Book sections
Christian Ah-Soon. A Constraint Network for Symbol Detection in Architectural Drawings
Tombre, Karl and Chhabra, Atul K. Graphics Recognition - Algorithms and Systems - GREC'97, Springer-Verlag, pp.80-90, 1998, Lecture Notes in Computer Science
inria-00098632v1  Conference papers
Christian Ah-SoonPhilippe Dosch. Une interface homme-machine pour l'analyse de plans architecturaux
Colloque International Francophone sur l'Ecrit et le Document, 1998, Québec, Canada, pp.92-101
inria-00100823v1  Journal articles
Christian Ah-SoonKarl Tombre. Architectural Symbol Recognition Using a Network of Constraints
Pattern Recognition Letters, Elsevier, 2001, 22 (2), pp.231-248
hal-01778209v1  Journal articles
Anne Ahü-DelorOlivier Simonin. Sevrey Les Tupiniers, données nouvelles sur les ateliers de potiers médiévaux
Revue archéologique de l'Est, Société archéologique de l’Est, 2005, 54, pp.249-296
hal-00202638v1  Journal articles
Pierre AilliotEmmanuel FrénodValérie Monbet. Modeling the Coastal Ocean over a Time Period of Several Weeks
Journal of Differential Equations, Elsevier, 2010, 246 (4), pp.639 - 659. ⟨10.1016/j.jde.2009.11.004⟩
hal-01266223v2  Journal articles
Nora AissioueneTarik AmtoutMatthieu BrachetEmmanuel FrénodRomain Hild et al.  Hydromorpho: A coupled model for unsteady Stokes/Exner equations and numerical results with Feel++ library
ESAIM: Proceedings and Surveys, EDP Sciences, 2016, CEMRACS 2015: Coupling multi-physics models involving fluids, 55, pp.23-40. ⟨10.1051/proc/201655023⟩
inria-00100274v1  Reports
Khalid Ait Abdelkrim. Management of OSGi Home Gareway
[Stage] A04-R-147 || ait_abdelkrim04a, 2004, 73 p
inria-00100979v1  Reports
Ahmed Ait Ali. Sécurité pour l'informatique ambiante
[Stage] A02-R-463 || ait_ali_02a, 2002
hal-01509699v1  Conference papers
Nourdine Aït TmazirteMaan El Badaoui El NajjarCherif SmailiDenis Pomorski. Fast multi-fault detection and exclusion approach for GNSS integrity monitoring
16th IEEE International Conference on Advanced Robotics (ICAR’2013), Nov 2013, Montevideo, Uruguay
hal-00633908v1  Conference papers
Yamine Aït-AmeurIdir Ait-SadouneMickaël BaronJean-Marc Mota. Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.
18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩
hal-00633903v1  Conference papers
Yamine Aït-AmeurIdir Ait-SadouneMickaël Baron. Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.
MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes, Apr 2006, Rabat, Maroc. pp.578-588
inria-00100422v1  Conference papers
Daoud Ait-KadiJinsheng GaoMarie-Claude Portmann. Minimisation des coûts de détection de pannes à partir des coupes minimales du diagramme de fiabilité
3ème Conférence Francophone de MOdélisation et SIMulation "Conception, Analyse et Gestion des Systèmes Industriels" - MOSIM'01, UT Troyes, 2001, Troyes, France, pp.781-787
inria-00537779v1  Conference papers
Sabina AkhtarStephan MerzMartin Quinson. A High-Level Language for Modeling Algorithms and their Properties
13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
inria-00544137v1  Conference papers
Sabina AkhtarStephan MerzMartin Quinson. Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France
inria-00107728v1  Conference papers
Rim Al HulouAmedeo NapoliEmmanuel Nauer. Une mesure de similarité sémantique pour raisonner sur des documents
3èmes Journées Nationales sur les Modèles de Raisonnement - JNMR'03, 2003, Paris, France, 13 p
inria-00107628v1  Conference papers
Rim Al HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina Ramirez et al.  Three knowledge representation formalisms for content-based manipulation of documents
Workshop on Semantic Web - SemWeb@KR2002, Apr 2002, Toulouse, France, 8 p
inria-00100552v1  Conference papers
Rim Al HulouEmmanuel NauerAmedeo Napoli. XML et les systèmes de représentation de connaissances par objets pour la gestion de données semi-structurées
Journées Francophones d'Extraction et de Gestion des Connaissances - EGC 2001, 2001, Nantes, France, 1 p
inria-00098768v1  Conference papers
Rim Al HulouAmedeo NapoliEmmanuel Nauer. Objets semi-structurés, classes polythétiques et classification
Septièmes journées de la Société Francophone de Classification - SFC'99, Loria, 1999, Nancy, France, pp.299-306
inria-00100248v1  Journal articles
Rim Al HulouAmedeo NapoliEmmanuel Nauer. Une mesure de similarité sémantique pour la classification de documents par le contenu
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2004, Numéro spécial L'objet, 10 (2--3), pp.217--230
inria-00107757v1  Conference papers
Rim Al HulouAmedeo Napoli. Utilisation de connaissances pour l'aide à la recherche documentaire fondée sur le contenu
4èmes Journées d'Extraction et de Gestion des Connaissances - EGC'2004, 2004, Clermont Ferrand, France, pp.503
inria-00099406v1  Conference papers
Rim Al HulouAmedeo Napoli. Combining XML and DL for describing and querying documents
International Workshop on Description Logics - DL'2002, 2002, Toulouse, France, 8 p
hal-00104612v1  Journal articles
Shadi Al ShehabiJean-Charles Lamirel. Evaluation of collaboration between European universities using dynamic interaction between multiple sources
Journal of Information Management and Scientometrics, Aligarh Muslim University, 2006, 1(3), pp.xx-xx
inria-00099927v1  Conference papers
Shadi Al ShehabiJean-Charles Lamirel. Inference Bayesian Network for Multi-topographic neural network communication: a case study in documentary data
International Conference on Information and Communication Technologies: from Theory to Applications - ICTTA 2004, 2004, Damascus, Syria, 6 p
inria-00100156v1  Conference papers
Shadi Al ShehabiJean-Charles Lamirel. Unsupervised neural networks of topographic and gas families documentary data classification
The 8th World Multi-Conference on Systemics, Cybernetics and Informatics - WMSCI'04, IIIS - International Institute of Informatics and Systemics, 2004, Orlando, USA