Filter your results
- 78
- 40
- 61
- 34
- 5
- 5
- 4
- 3
- 3
- 1
- 1
- 1
- 100
- 16
- 13
- 13
- 10
- 3
- 3
- 2
- 1
- 1
- 1
- 2
- 10
- 7
- 9
- 4
- 13
- 7
- 15
- 8
- 8
- 7
- 2
- 3
- 8
- 2
- 5
- 3
- 3
- 117
- 1
- 118
- 14
- 13
- 11
- 11
- 10
- 8
- 8
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 13
- 13
- 12
- 12
- 12
- 10
- 9
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
Causal Unfoldings8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), Jun 2019, London, United Kingdom. ⟨10.4230/LIPIcs.CONCUR.2019.11⟩
Conference papers
hal-02863476v1
|
|||
|
Polarised Intermediate Representation of Lambda Calculus with SumsThirtieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2015), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.22⟩
Conference papers
hal-01160579v2
|
||
|
A formalism for consistency and partial replication[Technical Report] Microsoft Research. 2004
Reports
inria-00444800v1
|
||
|
Generating events with style2012
Preprints, Working Papers, ...
hal-00742098v2
|
||
|
Hardware-Software Codesign of a Vector Co-processor for Public Key Cryptography9th Euromicro Conference on Digital System Design, Aug 2006, Dubrovnik, Croatia. pp.439-446
Conference papers
emse-00489003v1
|
||
|
Non-angelic Concurrent Game Semantics21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_1⟩
Conference papers
hal-01886951v1
|
||
|
What's in Your Tweets? I Know Who You Supported in the UK 2010 General ElectionThe International AAAI Conference on Weblogs and Social Media (ICWSM), Jun 2012, Dublin, Ireland
Conference papers
hal-00702390v1
|
||
What's in Twitter: I Know What Parties are Popular and Who You are Supporting Now!2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012), Aug 2012, Istanbul, Turkey
Conference papers
hal-00702405v1
|
|||
|
Rethinking IXPs' Architecture in the Age of SDNIEEE Journal on Selected Areas in Communications, 2018, 36 (12), pp.2667-2674. ⟨10.1109/JSAC.2018.2871294⟩
Journal articles
hal-01862776v1
|
||
|
The BioMart community portal: an innovative alternative to large, centralized data repositoriesNucleic Acids Research, 2015, 43 (W1), pp.W589-W598. ⟨10.1093/nar/gkv350⟩
Journal articles
hal-01146849v1
|
||
|
Haggle: a Networking Architecture Designed Around Mobile UsersWONS 2006 : Third Annual Conference on Wireless On-demand Network Systems and Services, INRIA, INSA Lyon, Alcatel, IFIP, Jan 2006, Les Ménuires (France), pp.78-86
Conference papers
inria-00001012v1
|
||
|
Constraining rule-based dynamics with typesMathematical Structures in Computer Science, 2013, 23 (02), pp.272-289
Journal articles
hal-01976370v1
|
||
|
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on2022
Preprints, Working Papers, ...
hal-03633933v1
|
||
|
Remarks on isomorphisms in typed lambda calculi with empty and sum typesAnnals of Pure and Applied Logic, 2006, 141 (1-2), pp.35-50. ⟨10.1016/j.apal.2005.09.001⟩
Journal articles
hal-00149560v1
|
||
|
DiCE: Dichoptic Contrast Enhancement for VR and Stereo DisplaysACM Transactions on Graphics, 2019, SIGGRAPH Asia Proceedings, 38 (6), ⟨10.1145/3355089.3356552⟩
Journal articles
hal-02281073v1
|
||
|
First Person Sketch-based Terrain EditingGraphics Interface 2014, May 2014, Montréal, Canada. pp.217-224
Conference papers
hal-00976689v1
|
||
|
Context-sensitive flow analyses: a hierarchy of model reductionsCMSB - 11th Conference on Computational Methods in Systems Biology - 2013, Ashutosh Gupta and Thomas A. Henzinger, Sep 2013, Klosterneuburg, Austria. pp.220-233, ⟨10.1007/978-3-642-40708-6_17⟩
Conference papers
istex
hal-00846893v1
|
||
|
Computational Logic for Biomedicine and Neurosciences2020
Preprints, Working Papers, ...
hal-02895930v2
|
||
Computational Modeling as a Methodology for Studying Human Language LearningA. Villavicencio, T. Poibeau, A. Korhonen and A. Alishahi. Cognitive Aspects of Computational Language Acquisition, Springer, pp.1-26, 2013, Theory and Applications of Natural Language Processing, 978-3-642-31863-4
Book sections
hal-00783285v1
|
|||
|
The concurrent game semantics of Probabilistic PCFthe 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ⟨10.1145/3209108.3209187⟩
Conference papers
hal-01886965v1
|
||
|
Dynamical influence of vortex-antivortex pairs in magnetic vortex oscillatorsJournal of Magnetism and Magnetic Materials, 2015, 394, pp.292-298. ⟨10.1016/j.jmmm.2015.06.057⟩
Journal articles
hal-01284020v1
|
||
|
Cache Tracker: A Key Component for Flexible Many-Core Simulation on FPGAsWARP - 5th Annual Workshop on Architectural Research Prototyping, Jun 2010, Saint Malo, France
Conference papers
inria-00494102v1
|
||
|
Signatures and models for syntax and operational semantics in the presence of variable bindingLogic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0161⟩
Theses
tel-03267858v1
|
||
eCOUSIN : enhanced COntent distribUtion with Social INformationFuture Network & Mobile Summit 2013, Jul 2013, Lisbon, Portugal. 2013
Poster communications
hal-01369474v1
|
|||
|
Brief Announcement: A formalism for consistency and partial replicationDISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Conference papers
inria-00444779v1
|
||
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sumsProceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Jan 2004, pp.64-76, ⟨10.1145/964001.964007⟩
Conference papers
hal-00149561v1
|
|||
|
The Parallel Intensionally Fully Abstract Games Model of PCFThirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.31⟩
Conference papers
hal-01286477v1
|
||
|
The True Concurrency of Herbrand’s Theorem27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.5⟩
Conference papers
hal-01886968v1
|
||
|
LexSchem: A Large Subcategorization Lexicon for French VerbsLREC 2008, 2008, Marrakech, Morocco. pp.142
Conference papers
hal-00539025v1
|
||
|
Investigating the cross-linguistic potential of VerbNet-style classificationCoLing 2010, 2010, Beijing, China, China. pp.94
Conference papers
hal-00539036v1
|