Filtrer vos résultats
- 370
- 82
- 1
- 256
- 125
- 22
- 15
- 15
- 11
- 5
- 2
- 2
- 5
- 4
- 2
- 395
- 58
- 5
- 2
- 2
- 2
- 2
- 2
- 26
- 41
- 42
- 39
- 37
- 29
- 39
- 36
- 38
- 36
- 35
- 38
- 8
- 7
- 446
- 6
- 1
- 453
- 163
- 79
- 38
- 29
- 20
- 16
- 15
- 14
- 12
- 12
- 11
- 10
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 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
- 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
- 52
- 43
- 41
- 39
- 37
- 35
- 30
- 28
- 21
- 20
- 19
- 19
- 18
- 16
- 15
- 15
- 15
- 15
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
453 résultats
On Multiplicative Linear Logic, Modality and Quantum CircuitsQuantum Physics and Logic, 2011, Netherlands. pp.81-96
Communication dans un congrès
hal-00695352v1
|
|||
|
Problem Solving Olympics: an inclusive education model for learning InformaticsInformatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, Oct 2018, St. Petersburg, Russia. pp.319--335, ⟨10.1007/978-3-030-02750-6_25⟩
Communication dans un congrès
hal-01913064v1
|
||
|
On Generalized Metric Spaces for the Simply Typed Lambda-CalculusLICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470696⟩
Communication dans un congrès
hal-03346950v1
|
||
Advanced Topics in Bisimulation and CoinductionDavide Sangiorgi and Jan Rutten. Cambridge University Press, pp.340, 2012
Ouvrages
hal-00907322v1
|
|||
|
Insider Threats in Emerging Mobility-as-a-Service ScenariosHICSS 2017 - 50th annual Hawaii International Conference on System Science, Jan 2017, Hilton Waikoloa Village, United States
Communication dans un congrès
hal-01631388v1
|
||
|
The expressive power of CHR with prioritiesInformation and Computation, 2013, 228-229, pp.62-82. ⟨10.1016/j.ic.2013.05.001⟩
Article dans une revue
hal-00909295v1
|
||
|
The geometry of typesThe 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Proceedings, 2013, Rome, Italy. pp.167-178
Communication dans un congrès
hal-00909318v1
|
||
|
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction ProblemsInternational Journal of Interactive Multimedia and Artificial Intelligence, 2016
Article dans une revue
hal-01336684v1
|
||
|
Allocation Priority Policies for Serverless Function-Execution Scheduling OptimisationICSOC 2020 - 18 th International Conference on Service-Oriented Computing, Dec 2020, Dubai, United Arab Emirates. pp.416 - 430, ⟨10.1007/978-3-030-65310-1_29⟩
Communication dans un congrès
hal-03347275v1
|
||
|
A Sound Algorithm for Asynchronous Session Subtyping and its ImplementationLogical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:20)2021⟩
Article dans une revue
hal-03340689v1
|
||
|
ICC and Probabilistic ClassesComputational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English. ⟨NNT : ⟩
Thèse
tel-00909410v1
|
||
|
Envisage: Developing SLA-aware Deployed Services with Formal MethodsESOCC 2016:Fifth European Conference on Service-Oriented and Cloud Computing, Sep 2016, Wien, Austria
Communication dans un congrès
hal-01345020v1
|
||
An Object Group-Based Component ModelISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. pp.64--78, ⟨10.1007/978-3-642-34026-0_6⟩
Communication dans un congrès
hal-00909382v1
|
|||
|
Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service OperatorsITSC2017- 20th International Conference on Intelligent Transportation , Oct 2017, Yokohama, Japan
Communication dans un congrès
hal-01631427v1
|
||
|
Probabilistic Recursion Theory and Implicit Computational Complexity11th International Colloquium on Theoretical Aspects of Computing., Sep 2014, Bucharest, Romania. ⟨10.1007/978-3-319-10882-7_7⟩
Communication dans un congrès
hal-01091595v1
|
||
|
Certification of Complexity Proofs using CeTA26th International Conference on Rewriting Techniques and Applications, Jun 2015, Warsaw, Poland. ⟨10.4230/LIPIcs.RTA.2015.23⟩
Communication dans un congrès
hal-01252000v1
|
||
|
Microservice Dynamic Architecture-Level Deployment OrchestrationCOORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.257-275, ⟨10.1007/978-3-030-78142-2_16⟩
Communication dans un congrès
hal-03338602v1
|
||
|
On Sharing, Memoization, and Polynomial TimeProceedings of STACS 2015, 2015, Munich, Germany. ⟨10.4230/LIPIcs.STACS.2015.62⟩
Communication dans un congrès
hal-01231816v1
|
||
|
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case2021
Pré-publication, Document de travail
hal-03187624v2
|
||
|
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's MethodLICS 2017 - ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005117⟩
Communication dans un congrès
hal-01636365v1
|
||
|
Amending ChoreographiesWWV - 9th International Workshop on Automated Specification and Verification of Web Systems - 2013, 2013, Florence, Italy. pp.34-48, ⟨10.4204/EPTCS.123.5⟩
Communication dans un congrès
hal-00909305v1
|
||
Service integration via target-transparent mediationSOCA - 5th conference on service-oriented computing and applications - 2012, 2012, Taipei, Taiwan. pp.1 - 5, ⟨10.1109/SOCA.2012.6449432⟩
Communication dans un congrès
hal-00909380v1
|
|||
|
An Empirical Evaluation of Portfolios Approaches for Solving CSPsCPAIOR - 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming - 2013, 2013, Yorktown Heights, United States. pp.316-324, ⟨10.1007/978-3-642-38171-3_21⟩
Communication dans un congrès
hal-00909297v1
|
||
|
An enhanced features extractor for a portfolio of constraint solversSAC 2014, Mar 2014, Gyeongju, South Korea. pp.1357 - 1359, ⟨10.1145/2554850.2555114⟩
Communication dans un congrès
hal-01089183v1
|
||
|
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple TokensLICS 2017 - Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland
Communication dans un congrès
hal-01639411v1
|
||
|
On the modeling of optimal and automatized cloud application deploymentJournal of Logical and Algebraic Methods in Programming, 2019, 107, pp.108-135. ⟨10.1016/j.jlamp.2019.06.001⟩
Article dans une revue
hal-02401380v1
|
||
|
On the Termination Problem for Probabilistic Higher-Order Recursive ProgramsLogical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(4:2)2020⟩
Article dans une revue
hal-03120859v2
|
||
|
Probabilistic Termination by Monadic Affine Sized TypingACM Transactions on Programming Languages and Systems (TOPLAS), 2019, 41 (2), pp.1-65. ⟨10.1145/3293605⟩
Article dans une revue
hal-02399423v1
|
||
|
An Implicit Characterization of PSPACEACM Transactions on Computational Logic, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩
Article dans une revue
hal-00591868v1
|
||
|
Aeolus: a Component Model for the CloudInformation and Computation, 2014, pp.100-121
Article dans une revue
hal-01091062v1
|