Marco Aiello, Ian Pratt-Hartmann & Johan van Benthem (2007):
Handbook of Spatial Logics.
Springer,
doi:10.1007/978-1-4020-5587-4.
Yuliy Baryshnikov & Robert Ghrist (2009):
Target enumeration via Euler characteristic integrals.
SIAM Journal on Applied Mathematics 70(3),
pp. 825–844,
doi:10.1137/070687293.
Muffy Calder & Michele Sevegnani (2014):
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.
Formal Aspects of Computer Science 26,
pp. 537–561,
doi:10.1007/s00165-012-0270-3.
Vincenzo Ciancia, Diego Latella, Michele Loreti & Mieke Massink (2014):
Specifying and Verifying Properties of Space.
In: Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014.
Springer,
pp. 222–235,
doi:10.1007/978-3-662-44602-7_18.
Max J. Egenhofer & Khaled K. Al-Taha (1992):
Reasoning About Gradual Changes of Topological Relationships.
In: Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space.
Springer,
pp. 196–219,
doi:10.1007/3-540-55966-3_12.
E. Allen Emerson & Joseph Y. Halpern (1986):
``Sometimes'' and ``not never'' revisited: on branching versus linear time temporal logic.
J. ACM 33(1),
pp. 151–178,
doi:10.1145/4904.4999.
Marcelo Finger & Dov M. Gabbay (1992):
Adding a temporal dimension to a logic system.
Journal of Logic, Language and Information 1(3),
pp. 203–233,
doi:10.1007/BF00156915.
Sorabh Gandhi, Rajesh Kumar & Subhash Suri (2008):
Target Counting under Minimal Sensing: Complexity and Approximations.
In: Algorithmic Aspects of Wireless Sensor Networks: Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers.
Springer,
pp. 30–42,
doi:10.1007/978-3-540-92862-1_4.
C. A. R. Hoare (1969):
An Axiomatic Basis for Computer Programming.
Communications of the ACM 12(10),
pp. 576–580,
doi:10.1145/363235.363259.
John Howse, Fernando Molina, Sun-Joo Shin & John Taylor (2002):
On Diagram Tokens and Types.
In: Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA.
Springer,
pp. 146–160,
doi:10.1007/3-540-46037-3_18.
Sven Linker & Martin Hilscher (2015):
Proof Theory of a Multi-Lane Spatial Logic.
Logical Methods in Computer Science 11(3),
doi:10.2168/LMCS-11(3:4)2015.
Susan Owicki & David Gries (1976):
An Axiomatic Proof Technique for Parallel Programs I.
Acta Inf. 6(4),
pp. 319–340,
doi:10.1007/BF00268134.
David A. Randell, Zhan Cui & Anthony G. Cohn (1992):
A Spatial Logic based on Regions and Connection.
In: B. Nebel, C. Rich & W. Swartout: International Conference on Principles of Knowledge Representation and Reasoning – KR 1992.
Morgan Kaufmann,
pp. 165–176.
Michele Sevegnani & Muffy Calder (2015):
Bigraphs with sharing.
Theoretical Computer Science 577,
pp. 43 – 73,
doi:10.1016/j.tcs.2015.02.011.
Dengyuan Wu, Dechang Chen, Kai Xing & Xiuzhen Cheng (2012):
A statistical approach for target counting in sensor-based surveillance systems.
In: INFOCOM, 2012 Proceedings IEEE,
pp. 226–234,
doi:10.1109/INFCOM.2012.6195613.
Dengyuan Wu, Bowu Zhang, Hongjuan Li & Xiuzhen Cheng (2014):
Target Counting in Wireless Sensor Networks,
pp. 235–269.
Springer,
doi:10.1007/978-3-642-40066-7_7.