4k citations
- Qatar UniversityQA14 papers
- University of LeicesterGB6 papers
- Shandong UniversityCN5 papers
- City University of Hong KongHK4 papers
- University of SharjahAE4 papers
- Harokopio University of AthensGR3 papers
- Leiden UniversityNL3 papers
- University of GuelmaDZ3 papers
- University of LincolnGB3 papers
- Bucharest University of Economic StudiesRO2 papers
- Georgia Institute of TechnologyUS2 papers
- Heriot-Watt UniversityGB2 papers
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 19 cited
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
Ben Moszkowski
Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL vari…
cs.CR2012★ 26 cited
Data Confidentiality in Mobile Ad hoc Networks
Hamza Aldabbas, Tariq Alwada'n, Helge Janicke +1
Mobile ad hoc networks (MANETs) are self-configuring infrastructure-less networks comprised of mobile nodes that communicate over wireless links without any central control on a pe…