 |
 |
 |
 |
|
|
||
|---|---|---|
|
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-00907665v1
Direction d'ouvrage, Proceedings
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova. Proceedings of Fifth Interaction and Concurrency Experience (ICE 2012) Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova. 104, Open Publishing Association, pp.99, 2012, Electronic Proceedings in Theoretical Computer Science |
||
|
hal-00909389v1
Communication dans un congrès
Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session types revisited Danny De Schreye and Gerda Janssens and Andy King. Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, ACM, pp.139--150, 2012 |
||
|
hal-00907322v1
Ouvrage (y compris édition critique et traduction)
Davide Sangiorgi, Jan Rutten. Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi and Jan Rutten. Cambridge University Press, pp.340, 2012 |
||
|
hal-00907026v1
Ouvrage (y compris édition critique et traduction)
Davide Sangiorgi. Introduction to Bisimulation and Coinduction Cambridge University Press, pp.247, 2012 |
||
|
hal-00907029v1
Chapitre d'ouvrage
Davide Sangiorgi. Origins of Bisimulation and Coinduction Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012 |
||
|
hal-00909609v1
Article dans une revue
Simone Martini. Lingua Universalis Annali della Pubblica Istruzione, Le Monnier, 2012, 4-5, pp.65--70 |
||
|
hal-00909382v1
Communication dans un congrès
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi. An Object Group-Based Component Model Tiziana Margaria and Bernhard Steffe. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.64--78, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Proceedings, Part I; Lecture Notes in Computer Science. <10.1007/978-3-642-34026-0_6> |
||
|
hal-00909381v1
Communication dans un congrès
Michael Lienhardt, Dave Clarke. Conflict Detection in Delta-Oriented Programming Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.178--192, 2012, Lecture Notes in Computer Science; Conflict Detection in Delta-Oriented Programming. <10.1007/978-3-642-34026-0_14> |
||
|
hal-00909391v1
Chapitre d'ouvrage
Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012 |
||
|
tel-00909410v1
Thèse
Paolo Parisen Toldin. ICC and Probabilistic Classes Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English |
||
|
hal-00909383v1
Communication dans un congrès
Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi et al. HATS Abstract Behavioral Specification: The Architectural View Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science; Formal Methods for Components and Objects. <10.1007/978-3-642-35887-6_6> |
||
|
hal-00909385v1
Communication dans un congrès
Michael Lienhardt, Dave Clarke. Row types for delta-oriented programming VaMoS - Sixth International Workshop on Variability Modeling of Software-Intensive Systems - 2012, 2012, Leipzig, Germany. ACM, pp.121--128, 2012, VaMoS '12. <10.1145/2110147.2110161> |
||
|
hal-00909386v1
Communication dans un congrès
Mila Dalla Preda. The Grand Challenge in Metamorphic Analysis Sumeet Dua and Aryya Gangopadhyay and Parimala Thulasiraman and Umberto Straccia and Michael Shepherd and Benno Stein. ICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. Springer, 285, pp.439-444, 2012, Communications in Computer and Information Science; Information Systems, Technology and Management. <10.1007/978-3-642-29166-1_42> |
||
|
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-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 |
||
|
|
||