|
|
|
|
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 | Andrew Ruef, Kesha Hietala, Arlen Cox |
Volume-Based Merge Heuristics for Disjunctive Numeric Domains.  |
SAS  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary Kincaid |
Numerical Invariants via Abstract Machines. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout |
Modular Static Analysis of String Manipulations in C Programs. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Becchi, Enea Zaffanella |
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kedar S. Namjoshi, Zvonimir Pavlinovic |
The Impact of Program Transformations on Static Program Analysis. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ranzato, Marco Zanella |
Invertible Linear Transforms of Numerical Abstract Domains. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Jacquemin, Sylvie Putot, Franck Védrine |
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
Abstract Interpretation of Stateful Networks. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham |
Interactive Verification of Distributed Protocols Using Decidable Logic. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann |
Incremental Verification Using Trace Abstraction. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah A. Alshehri, Carlos H. Martins, Ian F. Akyildiz |
Wireless FracBot (Sensor) Nodes: Performance evaluation of inductively coupled near field communication (NFC). |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Anslinger, Paaranan Sivasothy, François M. Torner, Jörg Seewig |
Mobile sensor concept for acoustic level estimation in bulk solids silos. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Andò, Salvatore Baglio, Vincenzo Marletta, Antonio Pistorio |
A RFID approach to help frail users in indoor orientation task. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew J. C. Lackey, Rafik A. Goubran, Felix Kwamena |
Geomagnetically induced current measurement using an integrated magnetometer platform. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Min-Wei Hung, Kuo-Cheng Huang, Yu-Hsuan Lin, Hsin-Yi Tsai, Ching-Ching Yang |
Development of plug-in laser scattering module for measurement of flow rate. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Andò, Salvatore Baglio, Ruben Crispino, Vincenzo Marletta, Valeria Dibilio, Giovanni Mostile, Alessandra Nicoletti, Mario Zappia |
A pressure measurement for pull test validation in postural instability assessment. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Crul, Geoffrey Ottoy, Liesbet Van der Perre, Lieven De Strycker |
Improved commissioning in indoor wireless networks through sensor fusion using clustering. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Rahman Chowdhury, Junayed Mahmud, Abu Raihan Mostofa Kamal, Md. Abdul Hamid |
MAES: Modified advanced encryption standard for resource constraint environments. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bala Sundaram Nauduri, Ganesh Shaga |
A novel approach of using a planar inductive position sensor for the Permanent magnet synchronous motor control application. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Schinle, Ioannis Papantonis, Wilhelm Stork |
Personalization of monitoring system parameters to support ambulatory care for dementia patients. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jost 0003, Michael Schaffner, Michele Magno, Matthias Korb, Luca Benini, René Reimann, Vijay Jain, Michael Gross, Andrei Militaru, Martin Frimmer, Lukás Novotný |
An accurate system for optimal state estimation of a levitated nanoparticle. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Zeilfelder, Tobias Busch, Christoph Zimmermann, Wilhelm Stork |
A human-machine interface based on tongue and jaw movements. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Naifar, Carlo Trigona, Sonia Bradai, Salvatore Baglio, Olfa Kanoun |
A smart energy harvester for axial-force measurements in vibrating environments. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Crema, Alessandro Depari, Alessandra Flammini, Emiliano Sisinni, Alberto Benussi, Barbara Borroni, Alessandro Padovani |
Embedded platform-based system for early detection of Alzheimer disease through transcranial magnetic stimulation. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Asahi Morimatsu, Akihiro Kajiwara |
The attenuation of radio waves caused by body frame and glass of sedan vehicle in the communications of microwave/millimeter-wave band to be applied to 5G. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeonjun Park, Donghan Kim 0001 |
Force analysis using finger dummy for violin fingering. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Soren Dierks, Andreas Kroll |
Experimental characterization of a Tuneable Diode Laser Absorption Spectroscopy based sensor. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Wang 0125, Julian Jang-Jaccard, Mikael Boulic, Robyn Phipps, Chris Chitty, Ryan Weyers, Alfred Moses, Gustavo Olivares, Agate Ponder-Sutton, Chris Cunningham |
Deployment issues for integrated open-source - Based indoor air quality school Monitoring Box (SKOMOBO). |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Randazzo, Eros Pasero, Silvio Navaretti |
VITAL-ECG: A portable wearable hospital. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Suneung Kim, Myeongseob Ko, Kyungchai Lee, Mingi Kim, Kwangtaek Kim |
3D fall detection for single camera surveillance systems on the street. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Young Jin Kim, Igor Savukov |
Highly sensitive multi-channel atomic magnetometer. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Seohyun Lee, Hyuno Kim, Hideo Higuchi |
Focus stabilization by axial position feedback in biomedical imaging microscopy. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David Valencia-Redrovan, Donghan Kim 0001 |
Hand gestures recognition using machine learning for control of multiple quadrotors. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chihhsiong Shih, Chaolong Liang |
The improvement of indoor localization precision through partial least square(PLS) and swarm(PSO) methods. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sareh Soleimani Gilakjani, Hilda Azimi, Martin Bouchard 0001, Rafik A. Goubran, Frank Knoefel |
Improved sensor selection method during movement for breathing rate estimation with unobtrusive pressure sensor arrays. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anant V. Nimkar, Abhijeet V. Salunke |
Fire contour approximation algorithm for bord-and-pillar coal mine: Revisited. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kardigue Konte, Russell Trafford, John L. Schmalzel |
Implementing XEDS for a CubeSat communication subsystem. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tapiwanashe Wenge, Moi-Tin Chew, Fakhrul Alam, Gourab Sen Gupta |
Implementation of a visible light based indoor localization system. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jumana M. Abu-Khalaf, Stephen A. Mascaro |
Optimization of stretchable fingernail sensor fabrication based on finite element modeling. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Tarabini, Marco Marinoni, Matteo Mascetti, Pietro Marzaroli, Francesco Corti, Hermes Giberti, Alberto Villa, Paolo Mascagni |
Monitoring the human posture in industrial environment: A feasibility study. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daeun Yim, Jiwon Chung, Yulim Cho, Hyunji Song, Daehan Jin, Sojeong Kim, Sungwook Ko, Anthony Smith, Austin Riegsecker |
An experimental LoRa performance evaluation in tree farm. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Velez, Russell Trafford, Michael Pierce, Benjamin Thomson, Eric Jastrzebski, Brian Lau |
IEEE 1451-1-6: Providing common network services over MQTT. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingli Yan, Jianfeng Chen, Geoffrey Ottoy, Bert Cox, Lieven De Strycker |
An accurate AOA localization method based on unreliable sensor detection. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Pavlasek, Stanislav Duris, Rudolf Palencár, Lubomír Soos |
Development in constructing Au/Pt thermoelectric sensors. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Zahak Jamal, Kyung-Soo Kim |
A finely machined toothed silver electrode surface for improved acquisition of EMG signals. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyuno Kim, Masatoshi Ishikawa, Yuji Yamakawa |
Reference broadcast frame synchronization for distributed high-speed camera network. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaharu Hara, Shigeru Oho, Yuto Kaneko |
An ultrasonic rotary encoder and its application to torque estimation. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kangqian Xu, Liyue Xie, Songtao Xue, Ke Xue, Guochun Wan |
Influence of transverse deformation on resonant frequency of patch antenna. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Budiman P. A. Rohman, Masahiko Nishimoto |
Near-surface soil water content estimation using UWB-GPR based on selective sparse representation. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nulee Jeong, Hyun Hwang, Eric T. Matson |
Evaluation of low-cost LiDAR sensor for application in indoor UAV navigation. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdulkadir Muhammad Lawan, Hieng Tiong Su, Yi Lung Then, Jingxin Zhang 0001 |
Parallel dual-slot PIFA for 2.45GHz rectenna applications. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | |
2018 IEEE Sensors Applications Symposium, SAS 2018, Seoul, South Korea, March 12-14, 2018 |
SAS |
2018 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Schramm, Johannes Rangel, Andreas Kroll |
Data fusion for 3D thermal imaging using depth and stereo camera for robust self-localization. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Seitaro Kon, Kenichi Watabe, Masahiro Horibe |
Nondestructive method using transmission line for detection of foreign objects in food. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gourab Sen Gupta, Vu Minh Quan |
Multi-sensor integrated system for wireless monitoring of greenhouse environment. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Liedmann, Christoph Holewa, Christian Wietfeld |
The radio field as a sensor - A segmentation based soil moisture sensing approach. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Khokhlov, Leon Reznik, Justin Cappos, Rohit Bhaskar |
Design of activity recognition systems with wearable sensors. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jae-Hoon Hwang, Xiaochen Wang, Sunkook Jung, Younggyu Son, Woo Hyoung Lee, Hyoung Jin Cho |
Enhanced electrochemical detection of multi-heavy metal ions using a biopolymer-coated planar carbon electrode. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bodini, Stefano Pandini, Emilio Sardini, Mauro Serpelloni |
Design and fabrication of a flexible capacitive coplanar force sensor for biomedical applications. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Schneider 0004, Marc Schroth, Jörg Ottenbacher, Wilhelm Stork |
A novel wearable sensor device for continuous monitoring of cardiac activity during sleep. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Ru Li, Chih-Ning Hsu, Yi-Cheng Lin, Min-Wei Hung, Ching-Ching Yang, Hsin-Yi Tsai, Yu-Ju Chang, Kuo-Cheng Huang, Wen-Tse Hsiao |
Integrating temperature, humidity, and optical aerosol sensors for a wireless module for three-dimensional space monitoring. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dhiego Fernandes Carvalho, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni |
On the feasibility of mobile sensing and tracking applications based on LPWAN. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuki Uchiyama, Toshiki Motomura, Akihiro Kajiwara |
A study on self-vehicle location estimation employing 79GHz UWB radar. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Larson, Anthony Smith |
Sensors and data retention in grand Slam tennis. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaochen Wang, Xiangmeng Ma, Woo Hyoung Lee, Hyoung Jin Cho |
Sensor response mechanism and characterization of co-based phosphate nanosensors. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Addabbo, Mauro Di Marco, Ada Fort, Elia Landi, Marco Mugnaini, Valerio Vignoli, Gianluca Ferretti |
Instantaneous rotation speed measurement system based on variable reluctance sensors: Model and analysis of performance. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence K. Lam, Austen J. Szypula |
Wearable emotion sensor on flexible substrate for mobile health applications. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | N. A. Djuzhev, D. V. Novikov, G. D. Demin, A. I. Ovodov, V. T. Ryabov |
An experimental study on MEMS-based gas flow sensor for wide range flow measurements. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Asri Setyaningrum, Ahmad Zatnika Purwalaksana, Hendro |
Instrumentation system design for milk quality degradation detector with surface plasmon resonance method. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Angkoon Phinyomark, Erik J. Scheme |
A feature extraction issue for myoelectric control based on wearable EMG sensors. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bellagente, Claudio Crema, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Giovanni Lanfranchi, Giovanni Lenzi, Marco Maddiona, Stefano Rinaldi, Emiliano Sisinni, Giacomo Ziliani |
Remote and non-invasive monitoring of elderly in a smart city context. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanyan Zhuang, Albert Rafetseder, Richard S. Weiss, Justin Cappos |
Four years experience: Making sensibility testbed work for SAS. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Bhurny Bathilde, Yi Lung Then, Rajith Chameera, Fei Siang Tay, Dyg Norkhairunnisa Abang Zaidel |
Continuous heart rate monitoring system as an IoT edge device. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hilda Azimi, Sareh Soleimani Gilakjani, Martin Bouchard 0001, Rafik A. Goubran, Frank Knoefel |
Automatic apnea-hypopnea events detection using an alternative sensor. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Dixon, George D. Lecakes, Paul K. Moon, John L. Schmalzel |
SEDS: Expanding TEDS to include physical structures. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bodini, Edoardo Cantù, Mauro Serpelloni, Emilio Sardini, Sarah Tonello |
Design and implementation of a microsensor platform for protein detection realized via 3-D printing. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nourane G. Tawfik, Yara Hussein, Eman Azab |
Analysis of magnetoresistive sensors for nondestructive evaluation. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Kim Yee, Phua Yeong Nan, Lim Eng Hock, Cheng Ee Meng, Kok Yeow You |
Microstrip line as microwave tag sensor for monitoring and IoT applications. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Rangel, Andreas Kroll |
Characterization and calibration of a stereo gas camera system for obtaining spatial information of gas structures. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | J. V. van Heijningen, Alessandro Bertolini, Jo F. J. van den Brand |
A novel interferometrically read out inertial sensor for future gravitational wave detectors. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manos Koutsoubelias, Nasos Grigoropoulos, Spyros Lalis |
A modular simulation environment for multiple UAVs with virtual WiFi and sensing capability. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwook Ko, Hyunji Song, Yulim Cho, Jiwon Chung, Sojeong Kim, Daeun Yim, Daehan Jin, Anthony Smith |
LoRa network performance comparison between open area and tree farm based on PHY factors. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Mayer, Michele Magno, Luca Benini |
Combining microbial fuel cell and ultra-low power event-driven audio detector for zero-power sensing in underwater monitoring. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001 |
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky |
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Maréchal, David Monniaux, Michaël Périn |
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Greitschus, Daniel Dietsch, Andreas Podelski |
Loop Invariants from Counterexamples. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Facchinetti, Zachary Palmer, Scott F. Smith 0001 |
Relative Store Fragments for Singleton Abstraction. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Trostanetski, Orna Grumberg, Daniel Kroening |
Modular Demand-Driven Analysis of Semantic Difference for Program Versions. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Holík, Roland Meyer 0001, Tomás Vojnar, Sebastian Wolff 0001 |
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Bakhirkin, David Monniaux |
Combining Forward and Backward Abstract Interpretation of Horn Clauses. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jieyuan Zhang, Yulei Sui, Jingling Xue |
Incremental Analysis for Probabilistic Programs. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matías Toro, Éric Tanter |
A Gradual Interpretation of Union Types. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ranzato (eds.) |
Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tushar Sharma, Thomas W. Reps |
A New Abstraction Framework for Affine Transformers. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Jorge A. Navas |
A Context-Sensitive Memory Model for Verification of C/C++ Programs. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Colas Le Guernic |
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabella Mastroeni, Michele Pasqua |
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri |
Abstract Semantic Diffing of Evolving Concurrent Programs. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunbeom So, Hakjoo Oh |
Synthesizing Imperative Programs from Examples Guided by Static Analysis. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 1390 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license