Skip to Main content Skip to Navigation

inria-00259064v1  Conference papers
Serge AbiteboulBogdan Marinoiu. Monitoring Peer to Peer Systems
Bases de données avancées, Oct 2007, Marseille, France
inria-00259069v1  Conference papers
Serge AbiteboulPierre BourhisBogdan Marinoiu. Incremental View Maintenance for Active Documents
Bases de données avancées, Oct 2007, Marseille, France
inria-00259054v1  Conference papers
Serge AbiteboulBogdan Marinoiu. Distributed Monitoring of Peer to Peer Systems
ACM WIDM 2007, ACM, Nov 2007, Lisbon, Portugal
inria-00166617v1  Conference papers
Cédric AdjihSong Yean ChoPhilippe Jacquet. Near Optimal Broadcast with Network Coding in Large Sensor Networks
First International Workshop on Information Theory for Sensor Netwoks (WITS 2007), Jun 2007, Santa Fe, United States
inria-00182835v2  Conference papers
Nina AmentaDominique AttaliOlivier Devillers. Complexity of Delaunay Triangulation for Points on Lower-dimensional~Polyhedra
Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms, Jan 2007, New Orleans, United States. pp.1106--1113
inria-00131415v1  Journal articles
Jan AnthonisAlexandre SeuretJean-Pierre RichardHerman Ramon. Design of a pressure control system with dead band and time delay
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2007, 15 (3)
inria-00447931v1  Conference papers
Gabriel AntoniuEddy CaronFrédéric DesprezAurélia FèvreMathieu Jan. Towards a Transparent Data Access Model for the GridRPC Paradigm
Proc. of the 13th Internationl Conference on High Performance Computing (HiPC 2007), Dec 2007, Goa, India. pp.269-284, ⟨10.1007/978-3-540-77220-0⟩
tel-00539139v1  Theses
Caroline Appert. Modélisation, Évaluation et Génération de Techniques d'Interaction
Informatique [cs]. Université Paris Sud - Paris XI, 2007. Français
inria-00538506v1  Conference papers
Caroline AppertJean-Daniel Fekete. Naviguer dans des grands arbres avec ControlTree
International Conference of the Association Francophone d'Interaction Homme-Machine, 2007, Paris, France. ⟨10.1145/1541436.1541463⟩
inria-00201547v1  Conference papers
Jesus ArandaCinzia Di GiustoMogens NielsenFrank Valencia. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. pp.383-398, ⟨10.1007/978-3-540-76637-7_26⟩
inria-00177320v1  Journal articles
Zena AriolaHugo Herbelin. Control Reduction Theories: the Benefit of Structural Substitution
Journal of Functional Programming, Cambridge University Press (CUP), 2007
inria-00177326v1  Journal articles
Zena AriolaHugo HerbelinAmr Sabry. A Type-Theoretic Foundation of Delimited Continuations
Higher-Order and Symbolic Computation, Springer Verlag, 2007
hal-00697242v1  Journal articles
Zena AriolaHugo HerbelinAmr Sabry. A Proof-Theoretic Foundation of Abortive Continuations
Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (4), ⟨10.1007/s10990-007-9007-z⟩
inria-00616031v1  Journal articles
Vincent ArsignyPierre FillardXavier PennecNicholas Ayache. Geometric Means in a Novel Vector Space Structure on Symmetric Positive-Definite Matrices
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2007, 29 (1), pp.328--347. ⟨10.1137/050637996⟩
inria-00128777v1  Conference papers
Leila Azouz SaidaneSkander AzzazSteven MartinPascale Minet. FP/FIFO scheduling: deterministic versus probabilistic QoS guarantees and p-schedulability
IEEE International Conference on Communications - ICC 2007, Jun 2007, Glasgow, Scotland / Great Britain
hal-02263429v1  Conference papers
Emmanuel BaccelliThomas Heide ClausenPhilippe JacquetDang-Quan Nguyen. Integrating VANETs in the Internet Core with OSPF : the MPR-OSPF Approach
2007 7th International Conference on ITS Telecommunications, Jun 2007, Sophia Antipolis, France. pp.1-5, ⟨10.1109/ITST.2007.4295864⟩
inria-00148347v2  Reports
Emmanuel BaccelliThomas ZahnJochen Schiller. DHT-OLSR
[Research Report] RR-6194, INRIA. 2007, pp.11
inria-00180773v1  Journal articles
Marc BaguelinJacques LefèvreJean-Pierre Richard. How to deal with potentially huge dimensional state space: The meta-dynamics approach - Application to a model of the co-evolution of bacterio-phage populations
Journal of Computational and Applied Mathematics, Elsevier, 2007, Special Issue on Evolutionary Problems, 205 (2), pp.687-695
inria-00172366v1  Conference papers
Jean-Pierre BarbotMichel FliessThierry Floquet. An algebraic framework for the design of nonlinear observers with unknown inputs
46th IEEE Conference on Decision and Control, 2007, New Orleans, United States
inria-00432658v1  Conference papers
Bruno BarrasBruno Bernardo. The Implicit Calculus of Constructions as a Programming Language with Dependent Types
International Workshop on Type theory, proof theory, and rewriting (TPR'07), Gilles Dowek, Jun 2007, Paris, France
inria-00112681v1  Conference papers
Nicolas BaskiotisMichèle SebagMarie-Claude GaudelSandrine-Dominique Gouraud. A Machine Learning approach for Statistical Software Testing
Twentieth International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India
inria-00171162v1  Conference papers
Nicolas BaskiotisMichèle Sebag. Structural Statistical Software Testing with Active Learning in a Graph
17th Annual International Conference on Inductive Logic Programming, Jun 2007, Oregon, United States
inria-00159773v1  Conference papers
Lotfi BelkouraJean-Pierre RichardMichel Fliess. Real time identification of delay systems
Ifac Worshop on Time delay Systems, 2007, Nantes, France
inria-00149082v1  Journal articles
Hugues BerryOlivier Temam. Modeling Self-Developing Biological Neural Networks
Neurocomputing, Elsevier, 2007, 70 (16-18), pp.2723-2734. ⟨10.1016/j.neucom.2006.06.013⟩
hal-00539224v1  Conference papers
Guillaume BesacierFrédéric VernierOlivier ChapuisNicolas Roussel. Redirection d'applications existantes et nouvelles interactions pour des usages collaboratifs co-localisés sur une table interactive
IHM '07: Proceedings of the 19th International Conference of the Association Francophone d'Interaction Homme-Machine, Nov 2007, Paris, France. pp.271-274, ⟨10.1145/1541436.1541491⟩
inria-00160586v2  Conference papers
Frédéric BlanquiJean-Pierre JouannaudPierre-Yves Strub. Building Decision Procedures in the Calculus of Inductive Constructions
16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Jacques Duparc, Sep 2007, Lausanne, Switzerland. ⟨10.1007/978-3-540-74915-8_26⟩
hal-00488446v1  Book sections
Jean-Daniel BoissonnatCamille WormserMariette Yvinec. Curved Voronoi diagrams
Effective Computational Geometry for Curves and Surfaces, Springer, pp.67-116, 2007, Mathematics + Visualization
hal-00488274v1  Book sections
Jean-Daniel BoissonnatDavid Cohen-SteinerBernard MourrainGuenter RoteGert Vegter. Meshing of Surfaces
Effective Computational Geometry for Curves and Surfaces, Springer, pp.181-230, 2007, Mathematics and Visualization
inria-00001264v1  Conference papers
Alin BostanFrédéric ChyzakFrançois OllivierBruno SalvyÉric Schost et al.  Fast computation of power series solutions of systems of differential equations
2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
inria-00579015v1  Conference papers
Adel BouhoulaFlorent Jacquemard. Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction
Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), Jul 2007, Poland. pp.27-44
inria-00128809v1  Conference papers
Leila BoukhalfaPascale MinetSerge Midonnet. QoS support in a MANET based on OLSR and CBQ
6th IEEE International Conference on Networking - ICN 2007, Apr 2007, Sainte-Luce, Martinique, France
hal-00620270v1  Conference papers
Leila BoukhalfaPascale MinetSerge Midonnet. A solution for QoS support in wireless ad hoc networks
Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.35-44
inria-00147702v1  Conference papers
Romain BourdaisMichel FliessCédric JoinWilfrid Perruquetti. Towards a model-free output tracking of switched nonlinear systems
NOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems, Aug 2007, Pretoria, South Africa
hal-00324585v1  Conference papers
Bogdan ButnaruFlorin DraganGeorges GardarinIoana ManolescuBenjamin Nguyen et al.  P2P Tester: a tool for measuring P2P platform performance
International Conference on Data Engineering (ICDE),, Apr 2007, Istanbul, Turkey
inria-00201502v1  Conference papers
Diletta CacciagranoFlavio CorradiniJesus ArandaFrank Valencia. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
14th International Workshop on Expressiveness in Concurrency (EXPRESS'07), Sep 2007, Lisbon, Portugal. pp.58-71
inria-00166089v1  Conference papers
Philippe CaillouFrédéric DubutMichèle Sebag. Economy-driven Shaping of Social Networks and Emerging Class Behaviors
Artificial Economics 2007, 2007, Palerme, Italy. pp.195-208
inria-00167459v1  Conference papers
Philippe CaillouFrédéric DubutMichèle Sebag. Prêts bilatéraux et réseaux sociaux
Modelling and learning in Social and Human Sciences MASHS 07, May 2007, Brest, France
inria-00167465v1  Conference papers
Philippe CaillouMichèle SebagFrédéric Dubut. Negotiation protocols and dynamic social networks
Multi-Agents for modeling Complex Systems (MA4CS'07) Satellite Workshop of the European Conference on Complex Systems (ECCS'07), Oct 2007, Dresde, Germany
hal-01431369v1  Journal articles
Laurence CalzoneNathalie Chabrier-RivierFrançois FagesLoïc FosseSylvain Soliman. Langages formels dans la machine abstraite biochimique BIOCHAM
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (1-2), pp.47--72. ⟨10.3166/tsi.26.47-72⟩
inria-00137171v1  Conference papers
Bogdan CautisSerge AbiteboulTova Milo. Reasoning about XML Update Constraints
26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2007, Pekin, China
inria-00142672v1  Conference papers
Bogdan Cautis. Distributed Access Control: A Privacy-conscious Approach
ACM Symposium on Access Control Models and Technologies (SACMAT), 2007, Sophia-Antipolis, France
inria-00533593v1  Conference papers
Olivier ChapuisNicolas Roussel. Copy-and-Paste Between Overlapping Windows
CHI '07: SIGCHI Conference on Human Factors and Computing Systems, SIGCHI, Apr 2007, San Jose, United States. pp.201 - 210, ⟨10.1145/1240624.1240657⟩
inria-00200957v1  Conference papers
Konstantinos ChatzikokolakisCatuscia PalamidessiPrakash Panangaden. Probability of Error in Information-Hiding Protocols
20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. pp.341-354, ⟨10.1109/CSF.2007.13⟩
hal-00171507v1  Conference papers
Frédéric ChazalDavid Cohen-SteinerAndré LieutierBoris Thibert. Shape Smoothing using Double Offsets
SPM '07 - Solid and Physical Modeling, Jun 2007, Beijing, China. pp.183-192, ⟨10.1145/1236246.1236273⟩
inria-00154798v2  Reports
Frédéric ChazalDavid Cohen-SteinerQuentin Merigot. Stability of boundary measures
[Research Report] RR-6219, INRIA. 2007, pp.20
inria-00176061v1  Journal articles
Guangyi ChenBalázs Kégl. Image Denoising with Complex Ridgelets
Pattern Recognition, Elsevier, 2007
tel-00286214v1  Theses
Fanny Chevalier. Reconnaissance de motifs dans des graphes : heuristique et applications
Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2007. Français
inria-00192959v4  Reports
Thomas Heide ClausenUlrich Herberg. AUTOCONF - Stating the Problem
[Research Report] RR-6376, INRIA. 2007
inria-00136862v3  Reports
Thomas Heide Clausen. A MANET Architectural Model
[Research Report] RR-6145, INRIA. 2007
tel-00550830v1  Habilitation à diriger des recherches
Albert Cohen. Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and Tools
Networking and Internet Architecture [cs.NI]. Université Paris Sud - Paris XI, 2007
hal-00324648v1  Conference papers
Dario ColazzoFrançois-Xavier DudouetIoana ManolescuBenjamin NguyenAntoine Vion. Analysing Web Databases
French Political Science Association's Congress, 2007, Toulouse, France
inria-00579009v1  Conference papers
Hubert Comon-LundhFlorent JacquemardNicolas Perrin. Tree Automata with Memory, Visibility and Structural Constraints
10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Mar 2007, Braga, Portugal. pp.168-182, ⟨10.1007/978-3-540-71389-0_13⟩
inria-00432448v1  Journal articles
Thierry CoquandArnaud Spiwack. A Proof of Strong Normalisation Using Domain Theory
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 16 p. ⟨10.2168/LMCS-3(4:12)2007⟩
hal-00687152v1  Conference papers
Camille CotiAla RezmeritaThomas HéraultFranck Cappello. Grid Services for MPI
14th European PVM/MPI User's Group Meeting, Sep 2007, Paris, France. ⟨10.1007/978-3-540-75416-9_56⟩
hal-02196933v1  Conference papers
Pedro de CastroSylvain PionMonique Teillaud. Exact and efficient computations on circles in CGAL
23rd European Workshop on Computational Geometry, 2007, Graz, Austria
inria-00200928v1  Journal articles
Yuxin DengCatuscia Palamidessi. Axiomatizations for probabilistic finite-state behaviors
Theoretical Computer Science, Elsevier, 2007, 373 (1-2), pp.92-114. ⟨10.1016/j.tcs.2006.12.008⟩
inria-00145336v1  Conference papers
Alexandre DevertNicolas BredecheMarc Schoenauer. Robust Multi-Cellular Developmental Design
Genetic and Evolutionary Computation COnference, ACM SIGEVO, Jul 2007, London, United Kingdom. pp.982-989
hal-00652770v1  Conference papers
Thanh-Nghi DoFrançois PouletJean-Daniel Fekete. Massive Data Mining via Boosting of Least Squares SVM Algorithm
5th IEEE International Conference on Computer Sciences: Research & Innovation and Vision for the Future, RIVF'07, 2007, Hanoï, Vietnam. pp.47-52
halsde-00331909v1  Journal articles
Qiao Xue DongL. L. YangY. M. WangJean-François BarcziPhilippe de Reffye. GREENLAB-tomato: a 3D architectural model of tomato development
New Zealand Journal of Agricultural Research, Royal Society of New Zealand, 2007, 50 (5), pp.1229-1233. ⟨10.1080/00288230709510406⟩
inria-00070522v1  Journal articles
R. DoucA. GuillinJean-Michel MarinC.P. Robert. Convergence of adaptive sampling schemes
Annals of Statistics, Institute of Mathematical Statistics, 2007, 35 (1), pp.420-448
inria-00070316v1  Journal articles
R. DoucA. GuillinJean-Michel MarinC.P. Robert. Minimum variance importance sampling via Population Monte Carlo
ESAIM: Probability and Statistics, EDP Sciences, 2007, pp.427-447
hal-01125343v1  Conference papers
Florin DraganBogdan ButnaruIoana ManolescuGeorges GardarinNicoleta Preda et al.  P2P Tester: a tool for measuring P2P platform performances
ICDE'07 IEEE 23rd Int. Conf. on Data Engineering, Istanbul, Turkey, Jan 2007, X, France. pp.1501-1502
inria-00140549v1  Book sections
Aguston EibenZbigniew MichalewiczMarc SchoenauerJim Smith. Parameter Control in Evolutionary Algorithms
Fernando G. Lobo and Cláudio F. Lima and Zbigniew Michalewicz. Parameter Setting in Evolutionary Algorithms, 54 (54), Springer Verlag, pp.19-46, 2007, Studies in Computational Intelligence, 978-3-540-69431-1. ⟨10.1007/978-3-540-69432-8⟩
inria-00201090v1  Conference papers
Andreas Enge. Discrete logarithms in curves over finite fields
Eighth International Conference on Finite Fields and Applications - Fq8, Jul 2007, Melbourne, Australia. pp.119-139
inria-00331375v1  Journal articles
Patrick EugsterPascal FelberFabrice Le Fessant. The “Art” of Programming Gossip-based Systems
Operating Systems Review, Association for Computing Machinery, 2007
inria-00201065v1  Conference papers
Moreno FalaschiCarlos OlarteCatuscia PalamidessiFrank Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs
23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. pp.271--285, ⟨10.1007/978-3-540-74610-2_19⟩
hal-00646688v1  Conference papers
Mohammed FellahiAlbert CohenSid Touati. Code-Size Conscious Pipelining of Imperfectly Nested Loops
MEDEA Workshop (MEmory performance DEaling with Applications, systems and architecture), held in conjunction with PACT 2007 Conference, Sep 2007, Brasov, Romania. ⟨10.1145/1327171.1327177⟩
inria-00270820v1  Conference papers
Jean-Christophe FilliâtreClaude Marché. The Why/Krakatoa/Caduceus platform for deductive program verification
19th International Conference on Computer Aided Verification, Jul 2007, Berlin, Germany
inria-00141719v1  Journal articles
Michel Fliess. Probabilités et fluctuations quantiques (Probabilities and quantum fluctuations)
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2007, 344, pp.663-668
inria-00138008v2  Journal articles
Romain FrançoisJean-Michel Marin. Initiation à R
La revue MODULAD, Modulad, 2007, 37, pp.83-101
inria-00179843v2  Book sections
Emilia FridmanAlexandre SeuretJean-Pierre Richard. Robust sampled-data control: An input delay approach
John Chiasson and Jean-Jacques Loiseau. Application of time delay systems, 352, Springer, pp.315-327, 2007, LNCIS, Lecture Notes in Control and Information Sciences, 978-3-540-49555-0
inria-00334353v1  Journal articles
Roy FriedmanDaniela GavidiaLuis RodriguesAline Carneiro VianaSpyros Voulgaris. Gossiping on MANETs: the Beauty and the Beast
Operating Systems Review, Association for Computing Machinery, 2007, 41 (5), pp.67-74
hal-01257278v1  Conference papers
Grigori FursinAlbert Cohen. Building a Practical Iterative Compiler
1\st Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2007, Ghent, Belgium