 |
 |
 |
 |
|
|
||
|---|---|---|
|
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-01400883v1
Communication dans un congrès
Ugo Dal Lago. Infinitary Lambda Calculi from a Linear Perspective Logic in Computer Science, Jul 2016, New York, United States. <10.1145/2933575.2934505> |
||
|
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-01425222v1
Article dans une revue
Marco Carricato, Jean-Pierre Merlet. Stability Analysis of Underconstrained Cable-Driven Parallel Robots IEEE Trans. on Robotics, 2013, 29 (1), pp.288-296 |
||
|
hal-01197456v2
Rapport
Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs (Long version) [Research Report] ENS Lyon. 2015 |
||
|
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 |
||
|
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-01425211v1
Article dans une revue
Alessandro Berti, Jean-Pierre Merlet, Marco Carricato. Solving the direct geometrico-static problem of underconstrained cable-driven parallel robots by interval analysis Int. J. of Robotics Research, 2016, 35 (6), pp.723-739 |
||
|
hal-00924992v1
Communication dans un congrès
Alejandro Díaz-Caro, Barbara Petit. Linearity in the non-deterministic call-by-value setting Luke Ong and Ruy de Queiroz. WoLLIC - 19th International Workshop on Logic, Language, Information and Computation - 2012, Sep 2012, Buenos Aires, Argentina. Springer, 7456, pp.216-231, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32621-9_16> |
||
|
hal-01227569v1
Communication dans un congrès
Davide Sangiorgi. The Proof Technique of Unique Solutions of Contractions Springer. 12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. Lecture Notes in Computer Science (9399), pp.63--68, 2015, <10.1007/978-3-319-25150-9_5> |
||
|
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-00798028v1
Article dans une revue
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the π-Calculus Lecture notes in computer science, springer, 2012, 7454, pp 302-316 |
||
|
hal-00695352v1
Communication dans un congrès
Ugo Dal Lago, Claudia Faggian. On Multiplicative Linear Logic, Modality and Quantum Circuits Quantum Physics and Logic, 2011, Netherlands. pp.81-96, 2011 |
||
|
hal-00798298v1
Communication dans un congrès
Patrick Baillot, Ugo Dal Lago. Higher-Order Interpretations and Program Complexity Patrick Cegielski and Arnaud Durand. 21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), Sep 2012, Fontainebleau, France. Schloss Dagstuhl, 16, pp.62-76, 2012, LIPIcs. <10.4230/LIPIcs.CSL.2012.62> |
||
|
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-00904138v1
Communication dans un congrès
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. IEEE, pp.378-387, 2013, LICS. <10.1109/LICS.2013.44> |
||
|
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-01284117v1
Communication dans un congrès
Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20), Nov 2015, Suva, Fiji |
||
|
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 |
||
|
|
||