Institut de Recherche sur l'Architecture Antique

Recent papers from Institut de Recherche sur l'Architecture Antique

1. ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)2026
2. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation2024
3. Experimental Study of Chalconatronite: From Its Identification to the Treatment of Copper Alloy ObjectsHeritage · 2024
4. Automatic Detection of Vulnerable Variables for CTL Properties of ProgramsEPiC series in computing · 2024
5. Corrosion of aircraft heritage: a comparison between modern and historic Duralumin alloysHeritage Science · 2024
6. Agar and Chitosan Hydrogels’ Design for Metal-Uptaking TreatmentsGels · 2024
7. Testing of the siderophore deferoxamine amended in hydrogels for the cleaning of iron corrosionThe European Physical Journal Plus · 2023
8. Marble quarries in Delos Island (Greece): a geological characterizationBSGF – Earth Sciences Bulletin · 2022
9. Use of gels for the cleaning of archaeological metals. Case study of silver-plated copper alloy coinsJournal of Cultural Heritage · 2021
10. Biologically Derived Gels for the Cleaning of Historical and Artistic Metal HeritageApplied Sciences · 2021
11. The Born supremacy: quantum advantage and training of an Ising Born machinenpj Quantum Information · 2020
12. Effect of solvent on PARALOID® B72 and B44 acrylic resins used as adhesives in conservationHeritage Science · 2019
13. Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting SystemsLogical Methods in Computer Science · 2019
14. Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource StorageElectronic Notes in Theoretical Computer Science · 2018
15. An Information-Theoretic Measure for Patterning in Epithelial TissuesIEEE Access · 2018
16. The use of vibrational spectroscopy techniques as a tool for the discrimination and identification of the natural and synthetic organic compounds used in conservationAnalytical Methods · 2016
17. Rigid Geometric Constraints for Kappa ModelsElectronic Notes in Theoretical Computer Science · 2015
18. Degradation of archaeological horn silver artefacts in burialsHeritage Science · 2014
19. Effect of Phosphate Concentration on the Corrosion of Iron in Water—Polyethylene Glycol MixturesCORROSION · 2005
20. An improved multiple-frequency method for measuring in situ target strengthsICES Journal of Marine Science · 2005