Filter your results
- 12
- 3
- 8
- 6
- 1
- 11
- 6
- 2
- 2
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 15
- 8
- 6
- 6
- 5
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Logic and Information Security: Special issue of the Journal of Applied Non-Classical Logics 19-2009Journal of Applied Non-Classical Logics, 19 (4), , 2009, ⟨10.1080/11663081.2009.9736630⟩
Special issue
hal-04000440v1
|
|||
|
Concern-Oriented Language Development (COLD): Fostering Reuse in Language EngineeringComputer Languages, Systems and Structures, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Journal articles
hal-01803008v1
|
||
|
The Software Language Extension ProblemSoftware and Systems Modeling, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Journal articles
hal-02399166v1
|
||
|
Modular Language Composition for the MassesSLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩
Conference papers
hal-01890446v1
|
||
|
Inferring trust (CLIMA 2004)Fifth workshop on computational logic in multi-agent systems (CLIMA V 2004) à JELIA 2004, Sep 2004, Lisbon, Portugal. pp.144-160
Conference papers
hal-03519776v1
|
||
|
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranksMathematical Programming, 2023, ⟨10.1007/s10107-023-01993-x⟩
Journal articles
hal-03782934v1
|
||
|
Improved convergence rates for Lasserre-type hierarchies of upper bounds for box-constrained polynomial optimizationSIAM Journal on Optimization, 2017, 27 (1), pp.317-367
Journal articles
hal-01290369v1
|
||
|
Shape-Diverse DSLs: Languages without Borders (Vision Paper)SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩
Conference papers
hal-01889155v1
|
||
|
Maximin Action Identification: A New Bandit Framework for Games29th Annual Conference on Learning Theory (COLT), Jun 2016, New-York, United States
Conference papers
hal-01273842v2
|
||
|
MMD Aggregated Two-Sample TestJournal of Machine Learning Research, 2023, 24 (194), pp.1-81
Journal articles
hal-03408976v3
|
||
|
Automatic generation of Truffle-based interpreters for Domain-Specific LanguagesThe Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Journal articles
hal-02395867v2
|
||
|
Efficient Content Delivery in the Presence of Impatient JobsInternational Teletraffic Congress, Sep 2015, Ghent, Belgium
Conference papers
hal-01167531v1
|
||
|
A Language-Parametric Approach to Exploratory Programming EnvironmentsSLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩
Conference papers
hal-03921387v1
|
||
|
Bound-Constrained Polynomial Optimization Using Only Elementary CalculationsMathematics of Operations Research, 2017, 42 (3), pp.834 - 853. ⟨10.1287/moor.2016.0829⟩
Journal articles
hal-01698348v1
|
||
|
Moment Matrices, Border Bases and Real Radical ComputationJournal of Symbolic Computation, 2013, 51, pp.63-85. ⟨10.1016/j.jsc.2012.03.007⟩
Journal articles
hal-00651759v1
|