577 citations
- University of LisbonPT16 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Kastler BrosselFR5 papers
- Sorbonne UniversitéFR4 papers
- Radboud University NijmegenNL3 papers
- École Normale Supérieure - PSLFR2 papers
- École PolytechniqueFR2 papers
- GSI Helmholtz Centre for Heavy Ion ResearchDE2 papers
- Heidelberg UniversityDE2 papers
- Innaxis Foundation & Research InstituteES2 papers
- Iscte – Instituto Universitário de LisboaPT2 papers
- Medical University of South CarolinaUS2 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2013
Global SPACING Constraint (Technical Report)
Nina Narodytska, Peter Skocovsky, Toby Walsh
We propose a new global SPACING constraint that is useful in modeling events that are distributed over time, like learning units scheduled over a study program or repeated patterns…
cs.LO2011★ 3 cited
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques nee…
cs.LO2011★ 4 cited
An applicative theory for FPH
Reinhard Kahle, Isabel Oitavem
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.