26 citations
- Consejo Nacional de Investigaciones Científicas y TécnicasAR21 papers
- Universidad Nacional de CórdobaAR15 papers
- Austral UniversityAR3 papers
- Instituto de Astronomía Teórica y ExperimentalAR2 papers
- Universidade Federal de AlagoasBR2 papers
- University of BelgranoAR2 papers
- University of ChileCL2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Guangdong Technion-Israel Institute of TechnologyCN1 paper
- IMDEA Software InstituteES1 paper
- Institut Élie Cartan de LorraineFR1 paper
- Instituto de Física de Buenos AiresAR1 paper
29 papers
Sequent Calculi for Data-Aware Modal Logics
Carlos Areces, Valentin Cassano, Danae Dutto +1
Data-aware modal logics offer a powerful formalism for reasoning about semi-structured queries in languages such as DataGL, XPath, and GQL. In brief, these logics can be viewed as…
Fluctuation-induced currents in suspended graphene nanoribbons: Adiabatic quantum pumping approach
Federico D. Ribetto, Silvina A. Elaskar, Hernán L. Calvo +1
Graphene nanoribbons (GNRs) are thin strips of graphene with unique properties due to their structure and nanometric dimensions. They stand out as basic components for the construc…
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Carlos Areces, Valentin Cassano, Raul Fervari +2
We investigate the complexity of the satisfiability problem for a modal logic expressing `knowing how' assertions, related to an agent's abilities to achieve a certain goal. We tak…
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi +1
We introduce a formal notion of masking fault-tolerance between probabilistic transition systems using stochastic games. These games are inspired in bisimulation games, but they al…
A dynamical model for Brownian molecular motors driven by inelastic electron tunneling
Federico D. Ribetto, Sebastián E. Deghi, Hernán L. Calvo +1
In recent years, several artificial molecular motors driven and controlled by electric currents have been proposed. Similar to Brownian machines, these systems work by turning rand…
Distributed optimal control problems for a class of elliptic hemivariational inequalities with a parameter and its asymptotic behavior
Claudia M. Gariboldi, Domingo A. Tarzia
In this paper, we study optimal control problems on the internal energy for a system governed by a class of elliptic boundary hemivariational inequalities with a parameter. The sys…