Skip to Main content Skip to Navigation

 
Delete
Delete
Delete
Add
 

hal-00699960v1  Journal articles
Antoine GenitriniBernhard GittenbergerVeronika KrausCécile Mailler. Probabilities of Boolean Functions Given by Random Implicational Formulas
The Electronic Journal of Combinatorics, Open Journal Systems, 2012, 19 (2), pp.P37
hal-00618303v1  Journal articles
Antoine GenitriniJakub Kozik. In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (7), pp.875--887
hal-01273213v1  Conference papers
Mathias BourgoinEmmanuel ChaillouxJean-Luc Lamotte. SPOC : GPGPU programming through Stream Processing with OCaml
HLPGPU2012 workshop, Jan 2012, Paris, France. pp.1-8
hal-01258779v1  Conference papers
Olivier BodiniJérémie Lumbroso. Dirichlet Random Sampling for Multiplicative Combinatorial Structures
Meeting on Analytic Algorithmics and Combinatorics (ANALCO) 2012, Jan 2012, Kyoto, Japan. pp.92-106, ⟨10.1137/1.9781611973020.12⟩
hal-00555520v1  Journal articles
Binh-Minh Bui-XuanMichel HabibMichaël Rao. Tree-representation of set families and applications to combinatorial decompositions
European Journal of Combinatorics, Elsevier, 2012, 33 (5), pp.688-711
hal-01282257v1  Conference papers
Mathias BourgoinEmmanuel ChaillouxJean-Luc Lamotte. Experiments with Spoc
Workshop OpenGPU, HIPEAC 2012, Jan 2012, Paris, France
hal-02350521v1  Journal articles
Joris van der HoevenGrégoire LecerfBernard MourrainPhilippe TrebuchetJérémy Berthomieu et al.  Mathemagix
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2012, 45 (3/4), pp.186-188. ⟨10.1145/2110170.2110180⟩
...
hal-00665958v1  Conference papers
Emmanuel ChaillouxBernard Serpette. Séparation des couleurs dans un lambda-calcul bichrome
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
hal-00694031v1  Conference papers
Benjamin CanouEmmanuel ChaillouxJérôme Vouillon. How to Run your Favorite Language in Web Browsers
WWW2012 - International World Wide Web Conference, dev track, Apr 2012, Lyon, France
...
hal-00675936v1  Conference papers
Basile Morcrette. Fully Analyzing an Algebraic Polya Urn Model
LATIN 2012 : 10th Latin American Theoretical INformatics Symposium, Apr 2012, Arequipa, Peru. pp.568-581, ⟨10.1007/978-3-642-29344-3_48⟩
hal-01146081v1  Journal articles
Xiaomin WangMatthieu LatapyMichele Soria. Deciding on the type of the degree distribution of a graph from traceroute-like measurements
International Journal of Computer Networks & Communications , AIRCC Publishing Corporation, 2012, 4 (3), pp.151-167. ⟨10.5121/ijcnc.2012.4311⟩
...
hal-00697257v1  Journal articles
Mathias BourgoinEmmanuel ChaillouxJean-Luc Lamotte. SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAML
Parallel Processing Letters, World Scientific Publishing, 2012, 22 (2), pp.1240007. ⟨10.1142/S0129626412400075⟩
hal-01282308v1  Conference papers
Etienne Millon. Vérification de code système par typage statique, application au noyau Linux.
10ème Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC'12), Jun 2012, Rennes, France
...
hal-00694912v2  Conference papers
Mamadou KoneAnnick Valibouze. Plans en blocs incomplets : application à la santé
Journées Internationales Analyse Statistique : Théorie et Applications, JIASTA2012, Jun 2012, Oujda, Maroc. pp.113-116
...
hal-00719639v1  Conference papers
Basile MorcretteHosam M. Mahmoud. Exactly Solvable Balanced Tenable Urns with Random Entries via the Analytic Methodology
23rd International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'12), Jun 2012, Montreal, Canada. pp.219--232
...
hal-01197236v1  Conference papers
Olivier BodiniAntoine GenitriniFrédéric Peschanski. Enumeration and Random Generation of Concurrent Computations
23rd International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'12), Jun 2012, Montreal, Canada. pp.83-96
...
hal-01197245v1  Conference papers
Alexis DarrasseKonstantinos PanagiotouOlivier RousselMichele Soria. Biased Boltzmann samplers and generation of extended linear languages with shuffle
23rd International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'12), Jun 2012, Montreal, Canada. pp.125-140
...
hal-01197221v1  Conference papers
Ahmed HelmiJérémie LumbrosoConrado MartínezAlfredo Viola. Data Streams as Random Permutations: the Distinct Element Problem
23rd International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'12), Jun 2012, Montreal, Canada. pp.323-338
...
hal-00709962v1  Conference papers
Bernard MourrainPhilippe Trebuchet. Border basis representation of a general quotient algebra
International Conference on Symbolic and Algebraic Computation (ISSAC), Jul 2012, Grenoble, France. pp.265-272, ⟨10.1145/2442829.2442868⟩
hal-00694906v1  Journal articles
Philippe AubryAnnick Valibouze. Parallel computation of resolvents by multimodular techniques and decomposition formula
International Journal of Algebra and Computation, World Scientific Publishing, 2012, 22 (5), pp.1-21. ⟨10.1142/S0218196712500439⟩
hal-01282253v1  Conference papers
Grégoire HenryMichel MaunyEmmanuel ChaillouxPascal Manoury. Typing Unmarshalling without Marshalling Types
International Conference on Functional Programming, Sep 2012, Copenhagen, Denmark. pp.287-298, ⟨10.1145/2364527.2364569⟩
hal-00624447v1  Journal articles
Philippe AubryAnnick Valibouze. Algebraic Computation of resolvents without extraneous powers
European Journal of Combinatorics, Elsevier, 2012, 33 (7), pp.1369-1385. ⟨10.1016/j.ejc.2012.03.003⟩
...
tel-00741549v2  Theses
Philippe Wang. Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle
Informatique et langage [cs.CL]. Université Pierre et Marie Curie - Paris VI, 2012. Français
...
hal-00641072v1  Journal articles
Olivier BodiniOlivier RousselMichele Soria. Boltzmann samplers for first-order differential specifications
Discrete Applied Mathematics, Elsevier, 2012, 160 (18), pp.2563-2572. ⟨10.1016/j.dam.2012.05.022⟩
hal-00819095v1  Journal articles
Frédéric PeschanskiHanna KlaudelRaymond Devillers. A petri net interpretation of open reconfigurable systems
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, 122 (1-2), pp.85--117. ⟨10.3233/FI-2013-784⟩
hal-00640643v1  Journal articles
Binh-Minh Bui-XuanOndra SuchyJan Arne TelleMartin Vatshelle. Feedback vertex set on graphs of low cliquewidth
European Journal of Combinatorics, Elsevier, 2013, 34 (3), pp.666-679