56 results  save search


  • 1
  • 2
hal-01373547v1  Journal articles
Swen JacobsRoderick BloemRomain BrenguierRüdiger EhlersTimotheus Hell et al.  The first reactive synthesis competition (SYNTCOMP 2014)
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, ⟨10.1007/s10009-016-0416-3⟩
inserm-01576151v1  Journal articles
Laurent PierotJacques MoretFrancis TurjmanDenis HerbreteauHélène Raoult et al.  WEB Treatment of Intracranial Aneurysms: Clinical and Anatomic Results in the French Observatory
American Journal of Neuroradiology, American Society of Neuroradiology, 2016, 37 (4), pp.655 - 659. ⟨10.3174/ajnr.A4578⟩
hal-00565654v1  Journal articles
Michael BenediktEvgeny KharlamovDan OlteanuPierre Senellart. Probabilistic XML via Markov Chains
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.770-781
hal-01446988v1  Conference papers
Gianni FranchiJesus AnguloDino Sejdinovic. Hyperspectral Image Classification with Support Vector Machines on Kernel Distribution Embeddings
2016 IEEE International Conference on Image Processing (ICIP), Sep 2016, Phoenix, United States. ⟨10.1109/ICIP.2016.7532688⟩
...
hal-01373546v1  Conference papers
Romain BrenguierLorenzo ClementePaul HunterGuillermo A. PérezMickaël Randour et al.  Non-Zero Sum Games for Reactive Synthesis
LATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. pp.3-23, ⟨10.1007/978-3-319-30000-9_1⟩
hal-01691097v1  Conference papers
Matej KristanAles LeonardisJiri MatasMichael FelsbergRoman Pflugfelder et al.  The Visual Object Tracking VOT2017 challenge results
ICCV 2017 : International Conference on Computer Vision Workshops, Oct 2017, Venice, Italy. pp.1949 - 1972
...
hal-00809306v1  Conference papers
Michael BenediktPierre BourhisPierre Senellart. Monadic Datalog Containment
ICALP (2), Jul 2012, Warwick, United Kingdom. pp.79-91
hal-02338348v1  Journal articles
Antoine AmarilliAntone AmarilliMichael BenediktPierre BourhisMichael Vanden Boom. Query Answering with Transitive and Linear-Ordered Data
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 63, pp.191-264. ⟨10.1613/jair.1.11240⟩
emse-00579511v1  Journal articles
Kyungmok KimAlexander Korsunsky. Fretting damage of Ni-MoS2 coatings: friction coefficient and accumulated dissipated energy evolutions
Proceedings of the Institution of Mechanical Engineers, Part J: Journal of Engineering Tribology, SAGE Publications, 2010, 224 (J11), pp.1173-1180. ⟨10.1243/13506501JET807⟩
hal-00567015v1  Journal articles
Georg GottlobPierre Senellart. Schema Mapping Discovery from Data Instances
Journal of the ACM (JACM), Association for Computing Machinery, 2010, 57 (2), pp./
hal-00737942v1  Conference papers
Michael BenediktPierre BourhisPierre Senellart. Monadic Datalog Containment
ICALP (International Colloquium on Automata, Languages, and Programming), Jul 2012, Warwick, Royaume-Uni. pp.79-91
hal-01442159v1  Journal articles
J. -C. MauduitM. LacyD. FarrahJ. A. SuraceM. Jarvis et al.  The Spitzer Extragalactic Representative Volume Survey (SERVS): Survey Definition and Goals
Publications of the Astronomical Society of the Pacific, Astronomical Society of the Pacific, 2012, 124 (917), pp.714-736. ⟨10.1086/666945⟩
...
hal-00973475v1  Book sections
Pierre PinsonRobin GirardPatrick Mcsharry. Stochastic power generation
Hans Hvidtfeldt Larsen, Leif Sønderberg Petersen. DTU International Energy Report 2013 : Energy storage options for future sustainable energy systems, Technical University of Denmark, 24-28 - Chapter 6, 2013, 978-87-550-3968-1
...
hal-01851555v1  Conference papers
Ben SpencerMichael BenediktPierre Senellart. Form Filling based on Constraint Solving
18th International Conference on Web Engineering (ICWE 2018), Jun 2018, Cáceres, Spain. ⟨10.1007/978-3-319-91662-0_20⟩
...
hal-01413881v1  Conference papers
Antoine AmarilliMichael BenediktPierre BourhisMichael Vanden Boom. Query Answering with Transitive and Linear-Ordered Data
Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York, United States
hal-00603647v1  Conference papers
Georg GottlobMichael BenediktPierre Senellart. Determining Relevance of Accesses at Runtime
PODS (Principles of Database Systems), 2011, Athens, Greece. pp.211-222
hal-01403845v1  Directions of work or proceedings
Mathias BeiglböckMartin HuesmannFlorian StebeggNicolas JuilletGilles Pagès et al.  Séminaire de Probabilités XLVIII
Donati-Martin, Catherine; Lejay, Antoine; Rouault, Alain. France. 2168, Springer, pp.506, 2016, Lecture Notes in Mathematics, 978-3-319-44464-2. ⟨10.1007/978-3-319-44465-9⟩
  • 1
  • 2