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