|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 99 occurrences of 66 keywords
|
|
|
Results
Found 1390 publication records. Showing 1390 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marina Terlau, Axel von Freyberg, Dirk Stöbener, Andreas Fischer 0005 |
In-Process Tool Deflection Measurement in Incremental Sheet Metal Forming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![IEEE, 978-1-6654-0981-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jona Cappelle, Geoffrey Ottoy, Sarah Goossens, Hanne Deprez, Jarne Van Mulders, Guus Leenders, Gilles Callebaut, Ku Leuven |
IoT with a Soft Touch: A Modular Remote Sensing Platform for STE(A)M Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Karim Habashy, Julio J. Valdés, Madison Cohen-McFarlane, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel |
Cough Classification Using Audio Spectrogram Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shilpa Susan George, Jagadeesh Kumar V |
Three-Coil Sensor for Liquid Level Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Husby, Arild Saasen, Jan David Ytrehus, Magnus Hjelstuen, Tor Jan Eriksen, Alessandro Liberale |
Active magnetic ranging while drilling: A down-hole surroundings mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ru Yan, Håkon Viumdal, Kjetil Fjalestad, Saba Mylvaganam |
Ensemble learning in the estimation of flow types and velocities of individual phases in multiphase flow using non-intrusive accelerometers' and process pressure data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Caponetto, Andrea Cincotta, Giovanna Di Pasquale, Salvatore Graziani, Antonino Pollicino, Carlo Trigona |
Modeling of a Bacterial Cellulose-based Composite in Bending Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sanzhar Shakarim, Daniele Tosi, Gulsim Kulsharova |
Integration of fiber optic sensors in organ-on-a-chip devices towards label-free cell viability assays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Madison Cohen-McFarlane, Fatima Hassan, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel |
Impact of face covering models on respiratory sound classification applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ashi Agarwal, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel, Neil W. Thomas |
Method to Improve Gait Speed Assessment for Low Frame Rate AI Enabled Visual Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Debasrita Kar, Boby George, K. Sridharan 0001 |
A Bending Angle Sensor Based on Magnetic Coupling Suitable for Soft Robotic Finger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-0981-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Julien Braine, Laure Gonnord, David Monniaux |
Data Abstraction: A General Framework to Handle Program Verification of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 215-235, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel |
Compositional Verification of Smart Contracts Through Communication Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 429-452, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001 |
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 405-428, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chalupa, Jan Strejcek |
Backward Symbolic Execution with Loop Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 49-76, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jingbo Lu, Dongjie He, Jingling Xue |
Selective Context-Sensitivity for k-CFA with CFL-Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 261-285, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Divyanjali Sharma, Subodh Sharma 0001 |
Thread-Modular Analysis of Release-Acquire Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 384-404, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Delmas, Abdelraouf Ouadjaout, Antoine Miné |
Static Analysis of Endian Portability by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 102-123, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Disjunctive Interval Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 144-165, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xuezheng Xu, Xudong Wang, Jingling Xue |
Automatic Synthesis of Data-Flow Analyzers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 453-478, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Taro Sekiyama, Issei Sato, Hiroshi Unno 0001 |
Toward Neural-Network-Guided Program Synthesis and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 236-260, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001 |
Selectively-Amortized Resource Bounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 286-307, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kai Jia, Martin C. Rinard |
Verifying Low-Dimensional Input Neural Networks via Input Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 206-214, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Denis Mazzucato, Caterina Urban |
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 308-322, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohamad Barbar, Yulei Sui |
Hash Consed Points-To Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 25-48, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi (eds.) |
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![Springer, 978-3-030-88805-3 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel |
Fast and Efficient Bit-Level Precision Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 1-24, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Safari, Wytse Oortwijn, Marieke Huisman |
Automated Verification of the Parallel Bellman-Ford Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 346-358, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Schwarz 0007, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani |
Improving Thread-Modular Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 359-383, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan 0001 |
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 166-190, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Franceschino, David Pichardie, Jean-Pierre Talpin |
Verified Functional Programming of an Abstract Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 124-143, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kai Jia, Martin C. Rinard |
Exploiting Verified Neural Networks via Floating Point Numerical Error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 191-205, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
A Multilanguage Static Analysis of Python Programs with Native C Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 323-345, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yifan Chen, Chenyang Yang 0002, Xin Zhang, Yingfei Xiong 0001, Hao Tang, Xiaoyin Wang, Lu Zhang 0023 |
Accelerating Program Analyses in Datalog by Merging Library Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 77-101, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Frohn, Marcel Hark, Jürgen Giesl |
Termination of Polynomial Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 89-112, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abu Naser Masud |
Simple and Efficient Computation of Minimal Weak Control Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 200-222, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Sotoudeh, Aditya V. Thakur |
Abstract Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 65-88, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso |
Probabilistic Lipschitz Analysis of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 274-309, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Pichardie, Mihaela Sighireanu (eds.) |
Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![Springer, 978-3-030-65473-3 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abdelraouf Ouadjaout, Antoine Miné |
A Library Modeling Language for the Static Analysis of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 223-247, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Iwayama, Naoki Kobayashi 0001, Ryota Suzuki 0002, Takeshi Tsukada |
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 134-155, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
Memory-Efficient Fixpoint Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 35-64, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García 0001, José Francisco Morales 0001, Manuel V. Hermenegildo |
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 7-31, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
Farkas-Based Tree Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 357-379, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Illous, Matthieu Lemerre, Xavier Rival |
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 248-273, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 156-177, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni |
Formal Framework for Reasoning About the Precision of Dynamic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 178-199, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano |
Static Resource Analysis at Scale (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 3-6, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 310-332, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Shaz Qadeer |
Exact and Linear-Time Gas-Cost Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 333-356, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christan Müller, Helmut Seidl |
Stratified Guarded First-Order Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 113-133, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Völker, Stefan Kowalewski |
A Change-Based Heuristic for Static Analysis with Policy Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 73-95, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
Direct Manipulation for Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 347-367, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang 0001, Patrick Cousot |
Verifying Numerical Programs via Iterative Abstract Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 247-267, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Syntactic and Semantic Soundness of Structural Dataflow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 96-117, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider, Shambwaditya Saha, Pranav Garg 0001, P. Madhusudan |
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 323-346, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang (eds.) |
Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![Springer, 978-3-030-32303-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001 |
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 296-319, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuxiang Lei, Yulei Sui |
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 27-47, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Delmas, Antoine Miné |
Analysis of Software Patches Using Numerical Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 225-246, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hang Yu 0005, David Monniaux |
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 203-224, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Caterina Urban |
Static Analysis of Data Science Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 17-23, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi 0001 |
A Temporal Logic for Higher-Order Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 437-458, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Francesco Ranzato, Pedro Valero 0001 |
Language Inclusion Algorithms as Complete Abstract Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 140-161, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim |
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 459-480, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mayur Naik |
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 3-16, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Deng, Patrick Cousot |
Responsibility Analysis by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 368-388, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno 0001 |
Temporal Verification of Programs via First-Order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 413-436, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Abstract Semantic Dependency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 389-410, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato, Marco Zanella |
Robustness Verification of Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 271-295, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anna Becchi, Enea Zaffanella |
Revisiting Polyhedral Analysis for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 183-202, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
On the Monniaux Problem in Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 162-180, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hua Yan, Shiping Chen 0001, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue |
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 48-72, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
Abstract Interpretation of Indexed Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 121-139, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sudip Maitra, Dylan Richards, Ahmed Abdelgawad 0001, Kumar Yelamarthi |
Performance Evaluation of IoT Encryption Algorithms: Memory, Timing, and Energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rubi A. Ayon-Sicaeros, Eduardo Cabal-Yepez, Luis Manuel Ledesma-Carrillo, Geovanni Hernandez-Gomez |
Broken-Rotor-Bar Detection Through STFT and Windowing Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Win Thandar Soe, Cécile Belleudy |
Load Recognition from Smart Plug Sensor for Energy Management in a Smart Home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Husby, Tor André Myrvoll, Ole Øystein Knudsen |
Eddy Current duplex coating thickness Non-Destructive Evaluation augmented by VNA scattering parameter theory and Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Aviles-Espinosa, Elizabeth Rendon-Morales, Zhenhua Luo, Henry Dore, Oana Anton, Heike Rabe, Robert J. Prance |
Neo-SENSE: a non-invasive smart sensing mattress for cardiac monitoring of babies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Affanni, Alessandro Piras, Roberto Rinaldo, Pamela Zontone |
Dual channel Electrodermal activity sensor for motion artifact removal in car drivers' stress detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Petter Halvorsen, Karina Kaspersen, Alexander Jonsaas, Saba Mylvaganam |
Fusion of Body Sensors' Data and Video Images in Assistive Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | A. I. Ovodov, G. D. Demin, N. A. Djuzhev, M. A. Makhiboroda |
Optimized Design of the MEMS-Based Three-Axis Thermal Accelerometer for Its Better Performance in a Wide Measurement Range. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Olli Väänänen, Jari Hautamäki, Timo Hämäläinen 0002 |
Predictive pumping based on sensor data and weather forecast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter M. Nauth, Andreas H. Pech, Robert Michalik |
Research on a new Smart Pedestrian Detection Sensor for Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carmonizia da Silva Freire, Cleumar da Silva Moreira, Carlos Alberto de Souza Filho, Rossana Moreno Santa Cruz, Alessandro Falqueto, Anderson Luis Valle, Luiz Ricardo Goulart Filho, Eliton Souto de Medeiros, Kaline do Nascimento Ferreira |
Application of a Smartphone-based SPR platform for Glyphosate detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Addabbo, Ada Fort, Marco Mugnaini, Valerio Vignoli, Lorenzo Parri, Maddalena Allegorico, Marco Ruggiero, Stefano Cioncolini |
Ion sensors: application to combustion monitoring in gas turbines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Fischer 0001, Michael Ganz, Nicolas Baumann, Michele Magno |
Piepser: A Smart Wrist-Worn Variometer To Maximize The Paragliders Flytime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ribeiro 0006, Fernando Franco, Marília Silva, Miguel Neto, Susana Cardoso |
Stay-on-target: a sensortile based micropositioning system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leonard Bauersfeld, Guillaume Jacques Joseph Ducard |
Low-cost 3D Laser Design and Evaluation with Mapping Techniques Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | R. Bruce Wallace, Frank Horsfall, Rafik Goubran, Ali El-Haraki, Frank Knoefel |
The Challenges of Connecting Smart Home Health Sensors to Cloud Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shaikh M. Tousif, Zeynep Çelik-Butler |
Array of Linear and Nonlinear Electrostatic Energy Harvesters for Broadband Energy Harvesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Miyazaki, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki |
Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Charris, Diego Gómez, Mauricio Pardo |
A Portable Thermoelectric Energy Harvesting Unit to Power Up Outdoor Sensors and Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Addabbo, Ada Fort, Alessandro Mecocci, Marco Mugnaini, Stefano Parrino, Alessandro Pozzebon, Valerio Vignoli |
A LoRa-based IoT Sensor Node for Waste Management Based on a Customized Ultrasonic Transceiver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Akimu Ayan Niyi Dihissou, Aliou Diallo, Philippe Le Thuc, Robert Staraj |
Directive and Reconfigurable Antenna for Wireless Sensor Network to Improve Link Quality between Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thorben Schuthe, Ahmed Albounyan, Karl-Ragmar Riemschneider |
Two-Dimensional Characterization and Simplified Simulation Procedure for Tunnel Magnetoresistive Angle Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marino Rasamuel, Lyes Khacef, Laurent Rodriguez, Benoît Miramond |
Specialized visual sensor coupled to a dynamic neural field for embedded attentional process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![IEEE, 978-1-5386-7713-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Asahi Morimatsu, Seiji Matsuguma, Akihiro Kajiwara |
Heart rate estimation of a moving person using 79GHz-Band UWB radar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-7713-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1390 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|