Marco Aiello
Ian Pratt-Hartmann
Johan van Benthem
2007
Handbook of Spatial Logics
Springer
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
825–844
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
537–561
10.1007/s00165-012-0270-3
Vincenzo Ciancia
Diego Latella
Michele Loreti
Mieke Massink
2014
Specifying and Verifying Properties of Space
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014
Springer
222–235
10.1007/978-3-662-44602-7_18
Max J. Egenhofer
Khaled K. Al-Taha
1992
Reasoning About Gradual Changes of Topological Relationships
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
196–219
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
151–178
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
203–233
10.1007/BF00156915
Sorabh Gandhi
Rajesh Kumar
Subhash Suri
2008
Target Counting under Minimal Sensing: Complexity and Approximations
Algorithmic Aspects of Wireless Sensor Networks: Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers
Springer
30–42
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
576–580
10.1145/363235.363259
John Howse
Fernando Molina
Sun-Joo Shin
John Taylor
2002
On Diagram Tokens and Types
Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA
Springer
146–160
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
10.2168/LMCS-11(3:4)2015
Susan Owicki
David Gries
1976
An Axiomatic Proof Technique for Parallel Programs I
Acta Inf.
6
4
319–340
10.1007/BF00268134
David A. Randell
Zhan Cui
Anthony G. Cohn
1992
A Spatial Logic based on Regions and Connection
B. Nebel
C. Rich
W. Swartout
International Conference on Principles of Knowledge Representation and Reasoning – KR 1992
Morgan Kaufmann
165–176
Michele Sevegnani
Muffy Calder
2015
Bigraphs with sharing
Theoretical Computer Science
577
43 – 73
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
INFOCOM, 2012 Proceedings IEEE
226–234
10.1109/INFCOM.2012.6195613
Dengyuan Wu
Bowu Zhang
Hongjuan Li
Xiuzhen Cheng
2014
Target Counting in Wireless Sensor Networks
235–269
Springer
10.1007/978-3-642-40066-7_7