Functionalized Graphene from Electrochemical Exfoliation of Graphite toward Improving Lubrication Function of Base Oil

Electrochemical exfoliation of graphene is an environmentally friendly method, which enables mass production.Herein, three ionic liquids (ILs) with the same imidazole cation were used to exfoliate graphite into functionalized graphene, as a lubricant additive in an acetonitrile solution.Chemical and structural characterization revealed the relation

read more


Parametric updates in parametric timed automata

We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters.We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is reachable in the instantiated timed automaton empty?".This

read more