Formalising Sensor Topologies for Target Counting. Linker, S. & Sevegnani, M. In Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017., pages 43–57, 2017. [S4]
![Formalising Sensor Topologies for Target Counting [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 1 download
Paper doi bibtex 1 download @inproceedings{DBLP:journals/corr/abs-1802-01791,
author = {Sven Linker and
Michele Sevegnani},
title = {Formalising Sensor Topologies for Target Counting},
booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms
for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017.},
pages = {43--57},
year = {2017},
crossref = {DBLP:journals/corr/abs-1802-00976},
url = {https://doi.org/10.4204/EPTCS.264.5},
doi = {10.4204/EPTCS.264.5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1802-01791},
bibsource = {dblp computer science bibliography, https://dblp.org},
note = {[<span class="s4">S4</span>]}
}Downloads: 1
{"_id":"nwbd8SLm5aqaDbh5g","bibbaseid":"linker-sevegnani-formalisingsensortopologiesfortargetcounting-2017","downloads":1,"creationDate":"2018-11-28T15:39:44.320Z","title":"Formalising Sensor Topologies for Target Counting","author_short":["Linker, S.","Sevegnani, M."],"year":2017,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Sevegnani"],"suffixes":[]}],"title":"Formalising Sensor Topologies for Target Counting","booktitle":"Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017.","pages":"43–57","year":"2017","crossref":"DBLP:journals/corr/abs-1802-00976","url":"https://doi.org/10.4204/EPTCS.264.5","doi":"10.4204/EPTCS.264.5","timestamp":"Fri, 02 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1802-01791","bibsource":"dblp computer science bibliography, https://dblp.org","note":"[<span class=\"s4\">S4</span>]","bibtex":"@inproceedings{DBLP:journals/corr/abs-1802-01791,\n author = {Sven Linker and\n Michele Sevegnani},\n title = {Formalising Sensor Topologies for Target Counting},\n booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms\n for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017.},\n pages = {43--57},\n year = {2017},\n crossref = {DBLP:journals/corr/abs-1802-00976},\n url = {https://doi.org/10.4204/EPTCS.264.5},\n doi = {10.4204/EPTCS.264.5},\n timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1802-01791},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n note = {[<span class=\"s4\">S4</span>]}\n}\n\n","author_short":["Linker, S.","Sevegnani, M."],"key":"DBLP:journals/corr/abs-1802-01791","id":"DBLP:journals/corr/abs-1802-01791","bibbaseid":"linker-sevegnani-formalisingsensortopologiesfortargetcounting-2017","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.264.5"},"metadata":{"authorlinks":{"linker, s":"https://cgi.csc.liv.ac.uk/~slk/index.php"}},"downloads":1},"search_terms":["formalising","sensor","topologies","target","counting","linker","sevegnani"],"keywords":[],"authorIDs":["23NWGnBoADDc5tnSP","2MjC8kJEbSQD9aztz","2zRTB3Q7a8GGkXKR4","3KCd7RKiipJdubnpi","3uwidWcjAbT8uJEsw","452uzYakZSEoegoXT","5MwsGou8LZBojFA7i","5RpyokJoTrxknbFXE","5bfed12b5aef4b10000000f3","5de7ecadc8f9f6df010001e2","5ded2e5a9d5885de01000067","5deffc9f14db5cdf010001cc","5df1f79078da84de010000ec","5df329c63b310cde01000136","5df34cd6d617e5de01000006","5df436ff96bfa7de01000074","5df6740c797ba9de010000f9","5df92a4ed04b27df010000c0","5dfa2a391c2129de010000d6","5dfee5765dd8e7df0100004c","5dfff38389b920de01000015","5e038a36d6cccbdf010000bc","5e03b6d6a94129de01000056","5e07c886ea5f0bdf010000ce","5e0a6c1c3eccf6e00100008c","5e0b71eae73cd6de010000e3","5e0dddd3552b25df0100012a","5e0f0ad7070585df0100006c","5e10d7970192c6df010000e5","5e15fdf1efa1cddf01000228","5e167fef0ba191df01000113","5e16e6185e8bcfdf0100000e","5e1788abcf35a4de010001a4","5e1c5f81e556c6de010001a8","5e1cede5abed9bde010001d0","5e1f6817e8f5ddde0100015d","5e20d1eeb46c27ee0100008f","5e251937b55b9edf0100006a","5e29ca83edf563df01000216","5e2a42432d8494f201000057","5e2dcabf8ceb9adf01000057","5e307e4bcb949bdf01000004","5e31800600e4e5de0100005d","5e34b1cbed2109df01000049","5e34df9762bc74de010000f7","5e36a65e7b975dde01000008","5e373e7e4cbab2df010000f3","5e37e617e8908edf010000a2","5e38e37a81a46ade0100009a","5e3b0cbaba2e16df01000023","5e3c0e0c0c5519de0100004a","5e3c832ffeacaede010000cb","5e3c8b62feacaede01000146","5e3f6074cd8fe2de010000a4","5e4009f817f17dde0100007a","5e436037a37866de01000178","5e440a93547b4cdf010001c8","5e454afba96575df010000be","5e476cda45a735de010000bc","5e48915a6ac344de0100002e","5e4bbfdba6b53fde01000020","5e53513653de8dde010000d9","5e55520de89e5fde01000048","5e56ecf4a8dabede01000423","5e57263a429006de01000215","5e592530e60e02de01000018","5e59b830103b4fde01000055","5e5a569322eebcde010000a3","5e5ccf2daab7afde010000a0","5e5d6c18ad47bcde010001aa","5e5fbbaf19c3fade01000234","5e610ce531c7d3de01000258","5e62abcf08ebcade01000175","5e661a2efa8a45de010001e9","5e664d1aa77c4ade010001c2","5e664f3aa77c4ade010001e2","5e676bd31dcaf4de010001fb","5e685211149172de01000048","5e6af76169285ede0100004f","5kxm2x8Hk3XBD3xxQ","6TCYM7u8ep9neFJai","6qn2c9ScXv9JL3wty","7YDbwR2jepBkdwHjt","7o37SatWSGo57r7LR","7qcHNct8SEjpnbmFH","89ZMSWjcmw6ZjFdmS","8Eydcv5fHEGMAS6nJ","8MrT6QniKe5r9PRy3","8pDE8vS9B7NWEbXTg","8xw4ovXMkxn2QQ2JD","AEH9EqfgiQjgwZTAJ","AQgzDzCKREJFMG7kP","AZ2KWEiXRDAnAji4X","AhGQWcczTf4LNFWug","AkzQLrs3pfuCZkrNJ","Ax42gcYCHMd5Y7xkQ","BB7T8vTpX3tZP6rZZ","BZvsbAz6dZLj9eeEG","BrkBA32xMgmPc4Rco","CGtmuSAWCwkv67Rri","DJofX33ALvdrbndrr","DXEqW7xtEWXzDcWF8","E9MHr3eeZhkxLiirb","EmF8Bxw6ifCXEpsGN","ErF5j2ExyMA4DdJwL","FTnHdnnRz9SBSwRhh","FZnqqo5nueApxpdgm","FwQbt6vyPdimP4uCf","GP4pbPirHfZHwXTgE","HHCMvx7WujcMdaTa4","JH9hSSdimj2aXXxrW","JefeskGruB68mu2vE","JvRq93zvygRpnFK33","K3sS34ZHCDLBWKJka","K7DFrGks6T7iLwgx4","KB4BNbzdLY9TAnBZa","LQi44oAacy49ZcMEP","La86aAFzQZtDtbSub","LdnGo2hc3qX7mWqYR","MzhEh4j5QqFX9yDfy","NgDgnm7jr6STF4FSL","Nn7chGimwThpeQ2wG","PQLSwepQr39dhEWSd","Ptfx8LxTDY22uiDsF","Q43A52QpdhZYMf4ZR","Q9vTP4SXmLXJ2APEH","QJaKjW4C3FA6PNfjS","QNbmhjtfYkBjhcRFN","RfEGPEtGbw7vh2Svq","Ro2kQfLk5hgQjfbug","SFhjLR2BmsC5E58SA","SNmYGrw22tkcD3KNi","SPbKXDfhjzuYmqx9C","TRgsc9FytXfg4PGkF","TtpfHdfrxZaS86euA","Wd74Q8G9RHqgh39tD","WqK4CFt4Hjhm46pRG","WyE4Fz96Lpwp4JWAp","XLNpvYYJGzx5bc5Au","Xmc5s7RHJbdWgwjbG","YRG8EDAFn3t9MYS5d","YYsCK6Rr6NmBjmgL8","YfYscBn3bD9yXa2rg","YxPvyg2TNk387nuD4","ZDfsEDSkueAq9XzfN","ZXRbYG6AbAbi2vt5J","ZufP5aj2pZgoN9cqv","a9sYGcsokHSTRreYq","aniTSARzdeqHukCBf","bbFzLAE5EoPALRbxQ","bd3nXnNMnbCySxnSD","bfsEGMkutDJ8focS4","bmaRHWsFphF49czs3","cafyymyHW4yaXadGE","daXM9SjkBwauwRE45","doDSBehpcbDTz5oRY","dvk9YAQPDJXYh7HCQ","epRTPN7DCr2akJDH3","fHYFX87DobY9NKWFs","g8dZ9uXjvtfKYK6rL","gJquEj3FtZ9ZMsECw","gMtaXpsK5AfHTmdzp","h3F2GE8F9wShdvnQP","hZDE3zbw7u5nqPqJM","i3pJSteRpxQ59Bybv","iXBgBPEYqMFtweXYT","igCdZ7S5x4QXm7zyZ","jSWkW7hdpuoJMj2jy","kLTXJHka2r7MGFPgm","kWZ8GicB24jPR4Yy4","keGp2dxy4R8Ttn8zS","kmGAmMEbGCRht4tB8","m6fYqXYWjJSkQnRdf","mAfTCmtFw974tybHw","mLnAyMwBjMj2mbTy2","mQf72TfqhxRTudk29","mg8vzvigryX7hEv5v","mokXR5XymRRfHfg2R","nLuAk4cZd7qB9vpJ8","njcrjtK2GauhGXxe6","qHtosA5skrqSSTPW7","qrjnLPPnMpJ7tEaNw","qtanewajH3YyiF84q","t4KjbXahY9r6mBSQm","tJioMgFAsZwJTun7m","u9cBgHMzDTaRGXy2R","u9ocAQQ3Bf7FFisp9","uYGnrTyrNY8ShTfi8","v2hkmTde7BAFhp4H3","vcWj7N6K3XNHbY6qx","vkE2hHDa3K2TWuNQ2","wdNJLAzBys7PC97TN","x56rNM6Y9Y89KNfgB","xJ8kGCfW2HzScYce2","xKyQvdEicJznyJEhx","xfaBxPoHPtHZjtvDr","xsTQxbKvjqFzgRDsh","ynRfde8XNJnFR25tg","zmcjWwKfEKxYtT8NT","zoLMhaWBbpBTCaAZS"],"dataSources":["viaGT23rwj7vKvjeq","sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend"]}