output
20122025
most citedMesoNet: a Compact Facial Video Forgery Detection Network

1.8k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

6 papers · 1 filter

cs.LO2024★ 1 cited

Abductive Reasoning in a Paraconsistent Framework

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-kno…

cs.LO2024

Queries With Exact Truth Values in Paraconsistent Description Logics

Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko

We present a novel approach to querying classical inconsistent description logic (DL) knowledge bases by adopting a~paraconsistent semantics with the four Belnapian values: exactly…

cs.LO2019

Relational Differential Dynamic Logic

Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut +3

In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely re…

cs.LO2019★ 11 cited

Minimal-Time Synthesis for Parametric Timed Automata

Étienne André, Vincent Bloemen, Laure Petrucci +1

Parametric timed automata (PTA) extend timed automata by allowing parameters in clock constraints. Such a formalism is for instance useful when reasoning about unknown delays in a…

cs.LO2018★ 11 cited

A benchmark library for parametric timed model checking

André Étienne

Verification of real-time systems involving hard timing constraints and concurrency is of utmost importance. Parametric timed model checking allows for formal verification in the p…

cs.LO2018★ 4 cited

Parametric Timed Broadcast Protocols

Étienne André, Benoît Delahaye, Paulin Fournier +1

In this paper we consider state reachability in networks composed of many identical processes running a parametric timed broadcast protocol (PTBP). PTBP are a new model extending b…