Skip to Main content Skip to Navigation


inria-00329973v1  Conference papers
Frédéric DadeauRégis TissotMarie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
...
inria-00332390v1  Conference papers
Jean-Yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
hal-02133469v1  Conference papers
Emmanuel JeandelPascal Vanier. A Characterization of Subshifts with Computable Language
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
...
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
...
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy
...
hal-02194229v1  Conference papers
Abdelkader OualiNyoman JuniartaBernard MaigretAmedeo Napoli. A Feature Selection Method based on Tree Decomposition of Correlation Graph
LEG@ECML-PKDD 2019 - The third International Workshop on Advances in Managing and Mining Large Evolving Graphs, Sep 2019, Würzburg, Germany
...
hal-02381750v1  Conference papers
Paul GodardVincent LoechnerCédric BastoulFrederic SoulierGuillaume Muller. A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation
IPDPSW 2019 - IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, May 2019, Rio de Janeiro, Brazil. pp.718-728, ⟨10.1109/IPDPSW.2019.00120⟩
...
hal-01791791v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
...
hal-02370231v1  Conference papers
Weihai YuVictorien ElvingerClaudia-Lavinia Ignat. A Generic Undo Support for State-Based CRDTs
OPODIS 2019 - Proceedings of 23rd International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. ⟨10.4230/LIPIcs.OPODIS.2019.14⟩
...
hal-02984963v1  Conference papers
Manuel AtenciaJérôme DavidJérôme EuzenatAmedeo NapoliJérémy Vizzini. A guided walk into link key candidate extraction with relational concept analysis
ISWC 2019 : 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand
...
hal-00342323v1  Conference papers
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. A Logical Account of PSPACE
Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131
inria-00275221v1  Conference papers
Nawal GuermoucheOlivier PerrinChristophe Ringeissen. A Mediator Based Approach For Services Composition
International Conference on Software Engineering Research, Management and Applications (SERA'08), Aug 2008, Prague, Czech Republic
inria-00332320v1  Conference papers
Randa KassabJean-Charles Lamirel. A Multi-level Abstraction Model for Competitive Learning Neural Networks
Artificial Intelligence and Applications - AIA 2008, Feb 2008, Innsbruck, Austria, Austria. pp.97-103
...
hal-02167756v1  Conference papers
Ioannis DourosJacques FelblingerJens FrahmKaryna IsaievaArun Joseph et al.  A Multimodal Real-Time MRI Articulatory Corpus of French for Speech Research
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-01963426v1  Conference papers
Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
inria-00595309v1  Conference papers
Aboudramane GuiroAbderrahman IggidrDiène NgomHamidou Touré. A non Linear Observer for a fishery model
the 17th Triennal IFAC World Congress, IFAC, Jul 2008, Seoul, South Korea. pp.676--681, ⟨10.3182/20080706-5-KR-1001.00114⟩
hal-01257272v1  Conference papers
Louis-Noël PouchetCédric BastoulJohn CavazosAlbert Cohen. A Note on the Performance Distribution of Affine Schedules
2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Jan 2008, Gothenburg, Sweden
inria-00598801v1  Conference papers
Vipul JainLyes Benyoucef. A novel approach to model and evaluate dynamic agility in supply chains
Tenth International Conference on Enterprise Information Systems - ICEIS 2008, Jun 2008, Barcelone, Spain. pp.93-100
hal-03270271v1  Conference papers
Jérémie GaidamourXavier Antoine. A parallel framework for the numerical simulation of Bose–Einstein condensates
International Conference on Scientific Computation and Differential Equations (SciCADE), Jul 2019, Innsbruck, Austria
...
hal-02394144v1  Conference papers
Olivier DevillersCharles Duménil. A Poisson sample of a smooth surface is a good sample
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
...
hal-02116165v2  Conference papers
Manuel ParienteAntoine DeleforgeEmmanuel Vincent. A Statistically Principled and Computationally Efficient Approach to Speech Enhancement using Variational Autoencoders
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
...
hal-02162929v2  Conference papers
Tatiana MakhalovaMartin Trnecka. A Study of Boolean Matrix Factorization Under Supervised Settings
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.341-348, ⟨10.1007/978-3-030-21462-3_24⟩
inria-00337520v1  Conference papers
Daniel Reynaud. A Survey on Virtual Machines for Malware Analysis
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
...
hal-02269609v1  Conference papers
Maxime AmblardMaria BoritchevMarta CarlettiLea DieudonatYiting Tsai. A Taxonomy of Real-Life Questions and Answers in Dialogue
SemDial 2019 - LondonLogue - 23rd Workshop on the semantics and pragmatics of dialogue, Sep 2019, London, United Kingdom
...
hal-00337371v1  Conference papers
Marilisa AmoiaClaire Gardent. A test suite for inference involving adjectives
sixth international conference on Language Resources and Evaluation, Jun 2008, Marrakech, Morocco. pp.19-27
hal-02273741v1  Conference papers
Matthieu GeistBruno ScherrerOlivier Pietquin. A Theory of Regularized Markov Decision Processes
ICML 2019 - Thirty-sixth International Conference on Machine Learning, Jun 2019, Long Island, United States
...
hal-02111658v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. A Tool Suite for the Automated Synthesis of Security Function Chains
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
inria-00336333v1  Conference papers
Bruno GuillaumeJoseph Le RouxJonathan MarchandGuy PerrierKarën Fort et al.  A Toolchain for Grammarians
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
...
hal-02418029v1  Conference papers
William Babonnaud. A Topos-Based Approach to Building Language Ontologies
Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩
...
hal-02271520v1  Conference papers
Maxime CompastiéRémi BadonnelOlivier FestorRuan He. A TOSCA-Oriented Software-Defined Security Approach for Unikernel-Based Protected Clouds
NetSoft 2019 - IEEE Conference on Network Softwarization, Jun 2019, Paris, France. pp.151-159, ⟨10.1109/NETSOFT.2019.8806623⟩
hal-01580996v1  Conference papers
Thierry GallouëtPhilippe HelluyJean-Marc HérardJulien Nussbaum. A two-fluid model for dense granular flows
Finite Volumes for Complex Applications V, Jun 2008, Aussois, France. pp.439-446
...
hal-02266200v1  Conference papers
Nyoman JuniartaMiguel CouceiroAmedeo Napoli. A Unified Approach to Biclustering Based on Formal Concept Analysis and Interval Pattern Structures
DS 2019 - 22nd International Conference on Discovery Science, Oct 2019, Split, Croatia
inria-00329966v1  Conference papers
Frédéric DadeauJulien LamboleyThierry MoutetMarie-Laure Potet. A Verifiable Conformance Relationship between Smart Card Applets and B security Models
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.237-250, ⟨10.1007/978-3-540-87603-8⟩
...
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩
...
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-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
...
inria-00336233v1  Conference papers
Luciana Benotti. Accommodation through Tacit Sensing
Workshop on the Semantics and Pragmatics of Dialogue - LONDIAL 2008, King's College of London, Jun 2008, London, United Kingdom. pp.75-82
...
hal-02180617v1  Conference papers
Ioannis DourosYves LapriePierre-André VuissozBenjamin Elie. Acoustic Evaluation of Simplifying Hypotheses Used in Articulatory Synthesis
ICA 2019 - 23rd International Congress on Acoustics, Sep 2019, Aachen, Germany
...
hal-02180566v1  Conference papers
Ioannis DourosPierre-André VuissozYves Laprie. Acoustic impacts of geometric approximation at the level of velum and epiglottis on French vowels
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
inria-00330532v1  Conference papers
Siva AnatharamanHai LinChris LynchPaliath NarendranMichaël Rusinowitch. Active Intruders with Caps
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States
...
hal-02433997v1  Conference papers
Arthur RenaudeauFrançois LauzeFabien PierreJf AujolJean-Denis Durou. Alternate Structural-Textural Video Inpainting for Spot Defects Correction in Movies
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany
...
hal-02353415v1  Conference papers
Axel ModaveXavier AntoineChristophe Geuzaine. An efficient domain decomposition method with cross-point treatment for Helmholtz problems
CSMA 2019 - 14e Colloque National en Calcul des Structures, May 2019, Giens (Var), France
...
hal-02353312v1  Conference papers
Axel ModaveXavier AntoineAnthony RoyerChristophe Geuzaine. An efficient domain decomposition method with cross-point treatment for Helmholtz problems
WAVES 2019 - 14th International Conference on Mathematical and Numerical Aspects of Wave Propagation, Aug 2019, Vienna, Austria
...
hal-02010199v2  Conference papers
Dayana RibasEmmanuel Vincent. An improved uncertainty propagation method for robust i-vector based speaker recognition
ICASSP 2019 - 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
inria-00329730v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. An inference system for detecting firewall filtering rules anomalies
23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128
...
hal-02278345v1  Conference papers
Christelle DodaneDominique BoutetIvana DidirkovaFabrice HirschSlim Ouni et al.  An integrative platform to capture the orchestration of gesture and speech
GeSpIn 2019 - Gesture and Speech in Interaction, Sep 2019, Paderborn, Germany
...
hal-02401738v1  Conference papers
Lucas Nussbaum. An overview of Fed4FIRE testbeds -- and beyond?
GEFI - Global Experimentation for Future Internet Workshop, Nov 2019, Coimbra, Portugal
...
inria-00332550v1  Conference papers
Jean-Yves MarionRomain Péchoux. Analyzing the Implicit Computational Complexity of object-oriented programs
Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
...
hal-02172099v1  Conference papers
Massimiliano TodiscoXin WangVille VestmanMd SahidullahHéctor Delgado et al.  ASVspoof 2019: Future Horizons in Spoofed and Fake Audio Detection
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02345457v1  Conference papers
Laurent EvrardJérôme FrançoisJean-Noël Colin. Attacker Behavior-Based Metric for Security Monitoring Applied to Darknet Analysis
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02111656v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Automated Factorization of Security Chains in Software-Defined Networks
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02072737v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Automatic adaptive approximation for stencil computations
CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
inria-00330338v1  Conference papers
Yannick ChevalierMohammed Anis MekkiMichaël Rusinowitch. Automatic Composition of Services with Security Policies
Web Service Composition and Adaptation Workshop (held in conjunction with SCC/SERVICES-2008), Jul 2008, Honolulu, United States. pp.529-537, ⟨10.1109/SERVICES-1.2008.13⟩
...
inria-00376450v1  Conference papers
Francis KlayLaurent Vigneron. Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩
...
hal-02066930v1  Conference papers
Véronique CortierPierrick GaudryStéphane Glondu. Belenios: a simple private and verifiable electronic voting system
Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩
...
hal-02268399v1  Conference papers
Véronique CortierAlicia FilipiakJoseph Lallemand. BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device
CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States
...
hal-02381819v1  Conference papers
Haniel BarbosaJasmin BlanchetteMathias FleuryPascal FontaineHans-Jörg Schurr. Better SMT Proofs for Easier Reconstruction
AITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria
...
hal-02403717v1  Conference papers
Wazen ShbairMathis SteichenJérôme FrançoisRadu State. BlockZoom: Large-Scale Blockchain Testbed
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency - Demo, May 2019, Seoul, South Korea. pp.5-6, ⟨10.1109/BLOC.2019.8751230⟩
...
lirmm-02309203v1  Conference papers
Jérémie DetreyLaurent Imbert. Breaking randomized mixed-radix scalar multiplication algorithms
LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Oct 2019, Santiago de Chile, Chile. pp.24-39, ⟨10.1007/978-3-030-30530-7_2⟩
...
hal-02181962v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Pose Estimation with Semantic 3D Model
IROS 2019 - 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, Nov 2019, Macau, Macau SAR China. ⟨10.1109/IROS40897.2019.8968180⟩
...
hal-02170784v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Relocalization with Ellipsoidal Abstraction of Objects
ISMAR 2019 - 18th IEEE International Symposium on Mixed and Augmented Reality, Oct 2019, Beijing, China. pp.19-29, ⟨10.1109/ISMAR.2019.00017⟩
...
hal-02177202v1  Conference papers
Lou LeeKatarina BartkovaDenis JouvetMathilde DargnatYvon Keromnes. Can prosody meet pragmatics? Case of discourse particles in French
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02098864v1  Conference papers
Sébastien RimbertOleksii AvilovPerrine AdamLaurent Bougrain. Can suggestive hypnosis be used to improve Brain-Computer Interface performance?
8th Graz Brain-Computer Interface Conference 2019, Sep 2019, Graz, Austria
...
hal-02051701v1  Conference papers
Tomi KinnunenRosa HautamäkiVille VestmanMd Sahidullah. Can We Use Speaker Recognition Technology to Attack Itself? Enhancing Mimicry Attacks Using Automatic Target Speaker Selection
ICASSP 2019 – 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
...
inria-00332389v1  Conference papers
Jean-Yves MarionRomain Péchoux. Characterizations of Polynomial Complexity Classes with a Better Intensionality
Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩
hal-00606372v1  Conference papers
Jean-Rodolphe Roche. Classical Shape Optimization : The Electromagnetic-Casting Problem
Seminário de Pós-Graduação, 2008, Petropolis, Brazil
...
hal-02309658v1  Conference papers
Andrii ShachykovOleksandr ShuliakPatrick Henaff. Closed-loop Central Pattern Generator Control of Human Gaits in OpenSim Simulator
IJCNN 2019 - International Joint Conference on Neural Networks, Jul 2019, Budapest, Hungary
...
inria-00329803v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
...
hal-01825708v3  Conference papers
Rémi ImbachMarc PougetChee Yap. Clustering Complex Zeros of Triangular System of Polynomials
CASC 2019 - 21st International Workshop on Computer Algebra in Scientific Computing, Aug 2019, Moscow, Russia
inria-00598764v1  Conference papers
Pascal ForgetThibaud Monteirod'Amours SophieJean-Marc Frayret. Collaborative agent-based negotiation in supply chain planning
13th Annual International Conference on Industrial Engineering Theory, Applications and Practice - IJIE'08, Sep 2008, Las Vegas, United States
inria-00337316v1  Conference papers
Jean-Charles Lamirel. Combination of hyperbolic visualization and graph-based approach for organizing data analysis results: an application to social network analysis
4th International Conference on Webometrics, Informetrics and Scientometrics and 9th Collnet Meeting, Jul 2008, Berlin, Germany
inria-00329965v1  Conference papers
Frédéric DadeauAdrien de KermadecRégis Tissot. Combining Scenario- and Model-Based Testing to ensure POSIX Compliance
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.153-166, ⟨10.1007/978-3-540-87603-8⟩
...
hal-02180606v1  Conference papers
Ioannis DourosPierre-André VuissozYves Laprie. Comparison between 2D and 3D models for speech production: a study of French vowels
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
inria-00329909v1  Conference papers
Pierre-Cyrille HeamOlga KouchnarenkoJérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects
Formal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. pp.109-123, ⟨10.1016/j.entcs.2009.12.034⟩
hal-02377051v1  Conference papers
Emmanuel Vincent. COMPRISE
META-FORUM 2019 - Cost-effective, Multilingual, Privacy-driven voice-enabled Services, Oct 2019, Bruxelles, Belgium
...
hal-02118947v2  Conference papers
Mathieu HoyrupCristóbal RojasVictor SelivanovDonald Stull. Computability on quasi-Polish spaces
DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
inria-00323199v1  Conference papers
Hubert Comon-LundhVéronique Cortier. Computational soundness of observational equivalence
4th Workshop on Formal and Computational Cryptography - FCC 2008, Jun 2008, Pittsburgh, United States
inria-00323195v1  Conference papers
Hubert Comon-LundhVéronique Cortier. Computational soundness of observational equivalence
15th ACM Conference on Computer and Communications Security - CCS'08, Oct 2008, Alexandria, United States
...
inria-00250111v3  Conference papers
Emmanuel Hainry. Computing omega-limit Sets in Linear Dynamical Systems
Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
...
hal-02175776v1  Conference papers
Sara DahmaniVincent ColotteValérian GirardSlim Ouni. Conditional Variational Auto-Encoder for Text-Driven Expressive AudioVisual Speech Synthesis
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02149231v1  Conference papers
Christian DuriezHadrien CourtecuisseJuan-Pablo de la Plata AlcaldePierre-Jean Bensoussan. Contact Skinning
Eurographics 2008 - Short Papers, Jun 2008, hersonissos, Greece
...
hal-02269063v1  Conference papers
Sergiu BursucSteve Kremer. Contingent payments on a public ledger: models and reductions for automated verification
ESORICS 2019 - The 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg
inria-00598610v1  Conference papers
Sofiene DellagiNidhal RezgAli Gharbi. Contribution au développement d'une politique de maintenance intégrée selon une stratégie de commutation des sous-traitants
7ème Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.1675-1682
...
hal-02119414v2  Conference papers
Jean-Nicolas BrunetVincent MagnouxBenoît OzellStéphane Cotin. Corotated meshless implicit dynamics for deformable bodies
WSCG 2019 - 27th International Conference on Computer Graphics, Visualization and Computer Vision, May 2019, Pilsen, Czech Republic. ⟨10.24132/CSRN.2019.2901.1.11⟩
...
hal-02388730v1  Conference papers
Stephen PfohlBen MarafinoAdrien CouletFatima RodriguezLatha Palaniappan et al.  Creating Fair Models of Atherosclerotic Cardiovascular Disease Risk
AIES '19 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, Jan 2019, Honolulu, United States. pp.271-278, ⟨10.1145/3306618.3314278⟩
inria-00598648v1  Conference papers
Hatem SioudZied AchourAlexandre SavaNidhal Rezg. Deadlock Freeness for Closed-loop Marked Graphs
9th IFAC Workshop on Intelligent Manufacturing Systems - IMS'08, Oct 2008, Szczecin, Poland. pp.207-212