activity
20142026
most citedjsCoq: Towards Hybrid Theorem Proving Interfaces

15 citations · 30 across the 12 of their papers we have counts for

collaborators

12 papers

cs.LG2026

Choosing a parallel heterogeneous ensemble method for tabular classification

Vassili Maillet, Gustavo, Angulo +1

Parallel ensemble methods were compared on small-to-medium tabular classification tasks drawn from OpenML CC18. A set of ``best practice'' recommendations on the use of ensemb…

physics.class-ph2026

The emergence of a new sound research methodology in the field of health: designo-therapy ?

Luc Perera, Pierre Jouvelot

Design fits in different fields, and it is given a plurality of titles: thinking, social, ecological, and graphic, space, etc. This discipline crosses the fields of research and en…

cs.CR2025

Nicknames for Group Signatures

Guillaume Quispe, Pierre Jouvelot, Gerard Memmi

Nicknames for Group Signatures (NGS) is a new signature scheme that extends Group Signatures (GS) with Signatures with Flexible Public Keys (SFPK). Via GS, each member of a group c…

cs.CR2025

NickPay, an Auditable, Privacy-Preserving, Nickname-Based Payment System

Guillaume Quispe, Pierre Jouvelot, Gerard Memmi

In this paper, we describe the motivation, design, security properties, and a prototype implementation of NickPay, a new privacy-preserving yet auditable payment system built on to…

cs.DL2023

The Open Review-Based (ORB) dataset: Towards Automatic Assessment of Scientific Papers and Experiment Proposals in High-Energy Physics

Jaroslaw Szumega, Lamine Bougueroua, Blerina Gkotse +2

With the Open Science approach becoming important for research, the evolution towards open scientific-paper reviews is making an impact on the scientific community. However, there…

cs.AI2019

IEDM, an Ontology for Irradiation Experiment Data Management

Blerina Gkotse, Pierre Jouvelot, Federico Ravotti

Irradiation experiments (IE) are an essential step in the development of High-Energy Physics (HEP) particle accelerators and detectors. They assess the radiation hardness of materi…

cs.AR2018

Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule

Kameswar Vaddina, Florian Brandner, Gerard Memmi +1

Optimizing computing and communication systems that host energy-critical applications is becoming a key issue for software developers. In previous work, we introduced and validated…

cs.PL2017★ 15 cited

jsCoq: Towards Hybrid Theorem Proving Interfaces

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot

We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5-ECMAScript 2015 specification, and it is typical…

cs.DC2015★ 1 cited

Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors

Karel De Vogeleer, Gerard Memmi, Pierre Jouvelot

Both theoretical and experimental evidence are presented in this work in order to validate the existence of an Energy/Frequency Convexity Rule, which relates energy consumption and…

cs.OH2014★ 3 cited

Theoretical Analysis of Radiative Cooling for Mobile and Embedded Systems

Karel De Vogeleer, Gerard Memmi, Pierre Jouvelot +1

A new global analytical model of the heat dissipation process that occurs in passively-cooled embedded systems is introduced, and we explicit under what circumstances the tradition…

cs.AR2014★ 5 cited

Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors

Karel De Vogeleer, Gerard Memmi, Pierre Jouvelot +1

We introduce and experimentally validate a new macro-level model of the CPU temperature/power relationship within nanometer-scale application processors or system-on-chips. By adop…

cs.OH2014★ 6 cited

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices

Karel De Vogeleer, Gerard Memmi, Pierre Jouvelot +1

This paper provides both theoretical and experimental evidence for the existence of an Energy/Frequency Convexity Rule, which relates energy consumption and CPU frequency on mobile…