Skip to Main content Skip to Navigation

inria-00523994v1  Journal articles
Jamil DrareniSébastien RoyPeter Sturm. Plane-Based Calibration for Linear Cameras
International Journal of Computer Vision, Springer Verlag, 2011, 91 (2), pp.146-156. ⟨10.1007/s11263-010-0349-3⟩
inria-00538959v1  Journal articles
Nima RoohiGwen Salaün. Realizability and Dynamic Reconfiguration of Chor Specifications
Informatica, Slovene Society Informatika, Ljubljana, 2011
inria-00554197v1  Journal articles
Johann BourcierAda DiaconescuPhilippe LalandaMccann Julie. AutoHome: an Autonomic Management Framework for Pervasive Home Applications
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011, 6 (1)
inria-00554283v1  Journal articles
Jean-Baptiste RacletEric BadouelAlbert BenvenisteBenoît CaillaudAxel Legay et al.  A Modal Interface Theory for Component-based Design
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
ensl-00559236v1  Journal articles
Claude-Pierre JeannerodHervé KnochelChristophe MonatGuillaume Revy. Computing floating-point square roots via bivariate polynomial evaluation
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩
inria-00574555v1  Journal articles
Anne BenoitHinde Lilia BouzianeYves Robert. Optimizing the reliability of streaming applications under throughput constraints
International Journal of Parallel Programming, Springer Verlag, 2011, 39 (5), pp.584-614. ⟨10.1007/s10766-011-0165-6⟩
inria-00593704v1  Journal articles
Antoine CoulonGuillaume BeslonHédi Soula. Enhanced Stimulus Encoding Capabilities with Spectral Selectivity in Inhibitory Circuits by STDP
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2011, 23 (4), pp.882-908
hal-00596806v1  Journal articles
Andreea JuleaNicolas MégerPhilippe BolonChristophe RigottiMarie-Pierre Doin et al.  Unsupervised Spatiotemporal Mining of Satellite Image Time Series Using Grouped Frequent Sequential Patterns
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2011, 49 (4), pp.1417-1430. ⟨10.1109/TGRS.2010.2081372⟩
inria-00597448v1  Journal articles
Adrien FriggeriJean-Philippe CointetMatthieu Latapy. A Real-World Spreading Experiment in the Blogosphere
Complex Systems , Complex Systems Publications, Inc., 2011, 19 (3)
inria-00598379v1  Journal articles
Hugues BerryNazim Fatès. Robustness of the Critical Behaviour in the Stochastic Greenberg-Hastings Cellular Automaton Model
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (1-2), pp.65-85
inria-00590265v1  Journal articles
Radu HoraudFlorence ForbesManuel YguelGuillaume DewaeleJian Zhang. Rigid and Articulated Point Registration with Expectation Conditional Maximization
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2011, 33 (3), pp.587-602. ⟨10.1109/TPAMI.2010.94⟩
inria-00610831v1  Journal articles
Radu MateescuPedro T. MonteiroEstelle DumasHidde De Jong. CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks
Theoretical Computer Science, Elsevier, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883. ⟨10.1016/j.tcs.2010.05.009⟩
inria-00619225v1  Journal articles
Pierre GenevèsNabil LayaïdaVincent Quint. Impact of XML Schema Evolution
ACM Transactions on Internet Technology, Association for Computing Machinery, 2011, 11 (1), pp.4:1-4:27. ⟨10.1145/1993083.1993087⟩
inria-00635016v1  Journal articles
Aïda OuangraouaEric TannierCedric Chauve. Reconstructing the architecture of the ancestral amniote genome.
Bioinformatics, Oxford University Press (OUP), 2011, 27, 27 (19), pp.2664-2671. ⟨10.1093/bioinformatics/btr461⟩
inria-00638852v1  Journal articles
Simplice Djoko DjokoRémi DouencePascal Fradet. Aspects Preserving Properties
Science of Computer Programming, Elsevier, 2011, 77 (3), pp.393-422. ⟨10.1016/j.scico.2011.10.010⟩
hal-00643738v1  Journal articles
Vic NorrisAbdallah ZemirlinePatrick AmarJean Nicolas AudinotPascal Ballet et al.  Computing with bacterial constituents, cells and populations: from bioputing to bactoputing
Theorie in den Biowissenschaften / Theory in Biosciences, Springer Verlag, 2011, 130 (3), pp.211-228. ⟨10.1007/s12064-010-0118-4⟩
hal-00656989v1  Journal articles
Aeiman GadafiDaniel HagimontLaurent BrotoRémi SharrockNoel de Palma. Energy-QoS Tradeoffs in J2EE Hosting Centers.
International Journal of Autonomic Computing, Inderscience, 2011
hal-00657248v1  Journal articles
Guillaume PiolleYves Demazeau. Representing privacy regulations with deontico-temporal operators
Web Intelligence and Agent Systems, IOS Press, 2011, 9 (3), pp.209-226. ⟨10.3233/WIA-2011-0215⟩
inserm-00663665v1  Journal articles
Bertrand CaréHédi Soula. Impact of receptor clustering on ligand binding.
BMC Systems Biology, BioMed Central, 2011, 5 (1), pp.48. ⟨10.1186/1752-0509-5-48⟩
hal-00665209v1  Journal articles
Gregor Gössler. Component-Based Modeling and Reachability Analysis of Genetic Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2011, 8 (3), pp.672-682