1. Recherche
138 résultats  enregistrer la recherche
...
hal-00650341v1  Communication dans un congrès
Matthias Puech, Yann Régis-Gianas. Safe Incremental Type Checking
TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, Jan 2012, Philadelphia, United States
...
tel-01400369v1  Thèse
Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English
hal-01425213v1  Communication dans un congrès
Alessandro Berti, Jean-Pierre Merlet, Marco Carricato. Workspace analysis of redundant cable-suspended parallel robots
2nd Int. Conf. on cable-driven parallel robots (CableCon), 2014, Duisburg, Germany. pp.41-54, 2014
hal-00924466v1  Article dans une revue
Gianluca Aloi, Luca Bedogni, Marco Di Felice, Valeria Loscri, Antonella Molinaro et al.  STEM-Net: an evolutionary network architecture for smart and sustainable cities
Transactions on Emerging Telecommunications Technologies, Wiley, 2014, 25 (1), pp.21-40. <10.1002/ett.2785>
...
hal-01176856v1  Communication dans un congrès
Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. ELPI: fast, Embeddable, λProlog Interpreter
Proceedings of LPAR, Nov 2015, Suva, Fiji. LNCS
...
hal-01227595v1  Communication dans un congrès
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. SUNNY for Algorithm Selection: A Preliminary Study
CILC, Jul 2015, Genova, Italy
...
inria-00525874v1  Communication dans un congrès
Matthias Puech, Yann Regis-Gianas. Towards typed repositories of proofs
Mathematically Intelligent Proof Search - MIPS 2010, Jul 2010, Paris, France. 2010
...
hal-00825138v1  Article dans une revue
Cristian Versari, Gianluigi Zavattaro. Complex Functional Rates in Rule-Based Languages for Biochemistry
Transactions on Computational Systems Biology, Springer, 2012, 7625 (XIV), pp.123-150
...
hal-01170926v2  Rapport
Stijn De Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. On the Integration of Automatic Deployment into the ABS Modeling Language
[Technical Report] Inria Sophia Antipolis. 2015
...
hal-01227598v1  Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
LOPSTR, Jul 2015, Siena, Italy
...
hal-01227600v1  Communication dans un congrès
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. Feature Selection for SUNNY: a Study on the Algorithm Selection Library
ICTAI, Nov 2015, Vietri sul Mare, Italy
...
hal-01227589v1  Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP : a Sequential CP Portfolio Solver
SAC, Apr 2015, Salamanca, Spain. 2015, <10.1145/2695664.2695741>
...
tel-01227582v1  Thèse
Roberto Amadini. Portfolio Approaches in Constraint Programming
Computer Science [cs]. University of Bologna, 2015. English
...
hal-01227623v1  Communication dans un congrès
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. The Evolution of Jolie
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Mar 2015, Munich, Germany. Lecture Notes in Computer Science, pp.506-521, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-15545-6_29>
...
hal-01227693v1  Communication dans un congrès
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo De 'Liguoro. Retractable Contracts
Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom. 2015, Electronic Proceedings in Theoretical Computer Science
...
hal-01227592v1  Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. A Multicore Tool for Constraint Solving
IJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238, IJCAI 2015
...
hal-01227615v1  Communication dans un congrès
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-Consistent Reversibility in a Tuple-Based Language
PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2015, Turku, Finland. IEEE, pp.467 - 475, 2015, <http://www.pdp2015.org/>. <10.1109/PDP.2015.98>
...
hal-01542595v1  Rapport
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Analysis of synchronisation patterns in stateful active objects
[Research Report] I3S; Inria - Sophia antipolis. 2017
...
hal-00780349v1  Communication dans un congrès
Beniamino Accattoli, Ugo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan. 2012
hal-00881630v1  Communication dans un congrès
Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro. A Calculus for Component Evolvability (Extended Abstract)
Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. 2010
...
hal-00816468v1  Rapport
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro. Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project
2013
...
hal-01336684v1  Article dans une revue
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems
International Journal of Interactive Multimedia and Artificial Intelligence, 2016
...
hal-01088429v1  Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Portfolio Approaches for Constraint Optimization Problems
LION 8, Feb 2014, Gainesville, Florida, United States. pp.21 - 35, 2014
...
hal-01336836v1  Chapitre d'ouvrage
Elena Giachino, Stijn De Gouw, Cosimo Laneve, Behrooz Nobakht. Statically and Dynamically Verifiable SLA Metrics
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. <10.1007/978-3-319-30734-3_15>
...
hal-01336407v1  Rapport
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP: a Portfolio Solver for Constraint Programming
[Technical Report] Inria Sophia Antipolis. 2016
...
hal-01089270v1  Communication dans un congrès
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina. Causal-Consistent Reversible Debugging
FASE 2014, Apr 2014, Grenoble, France. Springer, 8411, pp.370 - 384, 2014, Lecture Notes in Computer Science. <10.1007/978-3-642-54804-8_26>
...
hal-01337423v1  Communication dans un congrès
Alexis Bernadet, Ivan Lanese. A Modular Formalization of Reversibility for Concurrent Models and Languages
ICE 2016, Jun 2016, Heraklion, Greece. EPTCS
...
hal-01089183v1  Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. An enhanced features extractor for a portfolio of constraint solvers
SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1357 - 1359, 2014, <10.1145/2554850.2555114>
...
hal-01089187v1  Communication dans un congrès
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
SLE 2014, Sep 2014, Västerås, Sweden. pp.161 - 170, 2014, <10.1007/978-3-319-11245-9_9>

Contact


archive-ouverte@inria.fr