|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 323 occurrences of 252 keywords
|
|
|
Results
Found 2181 publication records. Showing 2149 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Mahmoud Altrabolsi, Chafic Labaki, Imad H. Elhajj, Daniel C. Asmar |
Detection and Thickness Estimation of Oil under Saline Ice Using Machine Learning. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Tommaso Addabbo, Federico Carli, Ada Fort, Federico Micheletti, Enza Panzardi, Valerio Vignoli |
Telemetric QCM-D based sensing system with adaptive excitation frequency. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Lixing Yu, Atsutake Kosuge, Mototsugu Hamada, Tadahiro Kuroda |
An Anomaly Detection System for Transparent Objects Using Polarized-Image Fusion Technique. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Jeanette Ortega, Thomas Gries |
Particle doped fiber based sensors for the monitoring of structures. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Harald Gietler, Christoph Böhm 0004, Stefan Ainetter, Christian Schöffmann, Friedrich Fraundorfer, Stephan Weiss 0002, Hubert Zangl |
Forestry Crane Automation using Learning-based Visual Grasping Point Prediction. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Florian Rittweger, Philipp Schiepel, Jonas Ernsting, Karl-Ragmar Riemschneider |
Sensor Data Communication via Light Guide Body for Monitoring Vehicle Batteries. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Yuxuan Zhang 0005, Sebastian Bader 0002, Bengt Oelmann |
A Lightweight Convolutional Neural Network Model for Concrete Damage Classification using Acoustic Emissions. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | An-Tai Hsiao, Chun-Hsien Liu, Po-Hsuan Chen, Yao-Lun Liu, Wei-Chi Wang, Tzu-Hsien Sang, Chia-Ming Tsai, Gray Lin, Jiun-In Guo, Sheng-Di Lin |
Real-time LiDAR module with 64x128-pixel CMOS SPAD array and 940-nm PCSEL. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Kane C. Williams, Michael D. O'Toole, Liam A. Marsh, Anthony J. Peyton |
Classification of batteries in waste streams using magnetic induction spectroscopy. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Carla Amatetti, Tommaso Polonelli, Enea Masina, Charles Moatti, Denis Mikhaylov, Davide Amato, Alessandro Vanelli-Coralli, Michele Magno, Luca Benini |
Towards the Future Generation of Railway Localization and Signaling Exploiting sub-meter RTK GNSS. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Tommaso Polonelli, Simon Schläpfer, Michele Magno |
Performance Comparison between Decawave DW1000 and DW3000 in low-power double side ranging applications. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Andrés Rico, Suparnamaaya Prasad, Kent Larson |
A low-cost, open-source, and distributed ocean profiling sensor node. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Nunzio Cennamo, Francesco Arcadio, Vincenzo Marletta, Domenico Del Prete, Bruno Andò, Luigi Zeni, Mario Cesaro, Alfredo De Matteis |
A simple and highly sensitive Force Sensor based on modified plastic optical fibers and cantilevers. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Thorben Schuthe, Karl-Ragmar Riemschneider, Andreas Meyer-Eschenbach |
Magnetic Sensor Array for Determining the Assembly Torsion and Preload of a Bolted Joint. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Poojitha Makireddy, Prashanth Vooka |
A three-electrode capacitive based sensing system to determine the direction of motion of humans. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Christian Brunner, Rainer Hagl |
High accuracy torque measurement with position measuring devices. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Sanghyun Park, Dongheon Lee, Jisoo Choi, Dohyeon Ko, Minji Lee, Zack Murphy, Nowf Binhowidy, Anthony Smith |
Feasibility of Measuring Shot Group Using LoRa Technology and YOLO V5. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Soley Hafthorsdottir, Sergei Vostrikov, Andrea Cossettini, Michael Rieder, Christoph Leitner, Michele Magno, Luca Benini |
Automatic Extraction of Muscle Fascicle Pennation Angle from Raw Ultrasound Data. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Gernot Fiala, Zhenyu Ye, Christian Steger |
Pupil Detection for Augmented and Virtual Reality based on Images with Reduced Bit Depths. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Emiliano Sisinni, Alessandro Depari, Paolo Bellagente, Paolo Ferrari, Alessandra Flammini, Marco Pasetti, Stefano Rinaldi |
On feature selection in automatic detection of fitness exercises using LSTM models. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Paolo Bellagente |
Assessment of UWB RTLS for Proximity Hazards Management in Construction Sites. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Verónica Ojeda, Juan C. Aviles |
Rx position effect on Device Free Indoor Localization in the 28 GHz band. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | S. Tagger, Markus Neumayer, Gabriel Gruber, Hannes Wegleiter |
Metrological Analysis of a Contactless Inductive Position Measurement System. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Oleksandr Makeyev, Yiyao Ye-Lin, Gema Prats-Boluda, Javier Garcia-Casado |
Comparing Optimal and Commercially Available Bipolar and Tripolar Concentric Ring Electrode Configurations Using Finite Element Method Modeling Based on Their Finite Dimensions Models. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Francesco Paissan, Velu Prabhakar Kumaravel, Elisabetta Farella |
Interpretable CNN for Single-Channel Artifacts Detection in Raw EEG Signals. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Taehyeon Kim, Minwoo Kang, Sumin Kang, Donghan Kim 0001 |
Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Saif Almhairat, Bruce Wallace 0001, Julien Larivière-Chartier, Ali El-Haraki, Rafik Goubran, Frank Knoefel |
Maintaining Synchrony of Dual Machine Learning: A Phase-Locked Loop Approach. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Om Prakash Maurya, Parasuraman Sumathi |
Design Considerations of Capacitive Sensors for Micro-Droplet Detection. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Tommaso Polonelli, Andrea Bentivogli, Guido Comai, Michele Magno |
Self-sustainable IoT Wireless Sensor Node for Predictive Maintenance on Electric Motors. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Leen Yassin Kassab, Andrew Law, Bruce Wallace 0001, Julien Larivière-Chartier, Rafik Goubran, Frank Knoefel |
Effects of Lighting and Window Length on Heart Rate Assessment through Video Magnification. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Gianluca Cicala, Francesco Arcadio, Luigi Zeni, Lorena Saitta, Claudio Tosto, Maria Elena Fragala, Domenico Del Prete, Nunzio Cennamo |
Plasmonic Sensors based on 3D-printed polymer waveguides covered by a metals bilayer. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Adduru U. G. Sankararao, P. Rajalakshmi, Sivasakthi Kaliamoorthy, Sunitha Choudhary |
Water Stress Detection in Pearl Millet Canopy with Selected Wavebands using UAV Based Hyperspectral Imaging and Machine Learning. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Idan Shem Tov, Anwesha Mukherjee, Joseph Hayon, Laura Hargreaves, Alexander L. Shluger, Yossi Rosenwaks |
Hydrogen Induced Dipole Layer in Pd-SiO2 Based Gas Sensors. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Sareh Soleimani Gilakjani, Hussein Al Osman |
Emotion Classification from Electroencephalogram Signals Using a Cascade of Convolutional and Block-Based Residual Recurrent Neural Networks. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Marina Terlau, Axel von Freyberg, Dirk Stöbener, Andreas Fischer 0005 |
In-Process Tool Deflection Measurement in Incremental Sheet Metal Forming. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | 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. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Karim Habashy, Julio J. Valdés, Madison Cohen-McFarlane, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel |
Cough Classification Using Audio Spectrogram Transformer. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Shilpa Susan George, Jagadeesh Kumar V |
Three-Coil Sensor for Liquid Level Measurement. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Karsten Husby, Arild Saasen, Jan David Ytrehus, Magnus Hjelstuen, Tor Jan Eriksen, Alessandro Liberale |
Active magnetic ranging while drilling: A down-hole surroundings mapping. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | 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. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Riccardo Caponetto, Andrea Cincotta, Giovanna Di Pasquale, Salvatore Graziani, Antonino Pollicino, Carlo Trigona |
Modeling of a Bacterial Cellulose-based Composite in Bending Configuration. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Sanzhar Shakarim, Daniele Tosi, Gulsim Kulsharova |
Integration of fiber optic sensors in organ-on-a-chip devices towards label-free cell viability assays. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Madison Cohen-McFarlane, Fatima Hassan, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel |
Impact of face covering models on respiratory sound classification applications. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | 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. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Debasrita Kar, Boby George, K. Sridharan 0001 |
A Bending Angle Sensor Based on Magnetic Coupling Suitable for Soft Robotic Finger. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi (eds.) |
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Julien Braine, Laure Gonnord, David Monniaux |
Data Abstraction: A General Framework to Handle Program Verification of Data Structures. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel |
Compositional Verification of Smart Contracts Through Communication Abstraction. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001 |
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Marek Chalupa, Jan Strejcek |
Backward Symbolic Execution with Loop Folding. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Jingbo Lu, Dongjie He, Jingling Xue |
Selective Context-Sensitivity for k-CFA with CFL-Reachability. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Divyanjali Sharma, Subodh Sharma 0001 |
Thread-Modular Analysis of Release-Acquire Concurrency. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | David Delmas, Abdelraouf Ouadjaout, Antoine Miné |
Static Analysis of Endian Portability by Abstract Interpretation. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Disjunctive Interval Analysis. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Xuezheng Xu, Xudong Wang, Jingling Xue |
Automatic Synthesis of Data-Flow Analyzers. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Naoki Kobayashi 0001, Taro Sekiyama, Issei Sato, Hiroshi Unno 0001 |
Toward Neural-Network-Guided Program Synthesis and Verification. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001 |
Selectively-Amortized Resource Bounding. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Kai Jia, Martin C. Rinard |
Verifying Low-Dimensional Input Neural Networks via Input Quantization. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Denis Mazzucato, Caterina Urban |
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Mohamad Barbar, Yulei Sui |
Hash Consed Points-To Sets. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel |
Fast and Efficient Bit-Level Precision Tuning. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Mohsen Safari, Wytse Oortwijn, Marieke Huisman |
Automated Verification of the Parallel Bellman-Ford Algorithm. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Michael Schwarz 0007, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani |
Improving Thread-Modular Abstract Interpretation. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan 0001 |
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Lucas Franceschino, David Pichardie, Jean-Pierre Talpin |
Verified Functional Programming of an Abstract Interpreter. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Kai Jia, Martin C. Rinard |
Exploiting Verified Neural Networks via Floating Point Numerical Error. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
A Multilanguage Static Analysis of Python Programs with Native C Extensions. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | 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. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
32 | David Pichardie, Mihaela Sighireanu (eds.) |
Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Florian Frohn, Marcel Hark, Jürgen Giesl |
Termination of Polynomial Loops. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Abu Naser Masud |
Simple and Efficient Computation of Minimal Weak Control Closure. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Matthew Sotoudeh, Aditya V. Thakur |
Abstract Neural Networks. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso |
Probabilistic Lipschitz Analysis of Neural Networks. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Abdelraouf Ouadjaout, Antoine Miné |
A Library Modeling Language for the Static Analysis of C Programs. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Naoki Iwayama, Naoki Kobayashi 0001, Ryota Suzuki 0002, Takeshi Tsukada |
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
Memory-Efficient Fixpoint Computation. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | 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. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
Farkas-Based Tree Interpolation. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Hugo Illous, Matthieu Lemerre, Xavier Rival |
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni |
Formal Framework for Reasoning About the Precision of Dynamic Analysis. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano |
Static Resource Analysis at Scale (Extended Abstract). |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Ankush Das, Shaz Qadeer |
Exact and Linear-Time Gas-Cost Analysis. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Christan Müller, Helmut Seidl |
Stratified Guarded First-Order Transition Systems. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Bor-Yuh Evan Chang (eds.) |
Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | |
IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019 |
SAS |
2019 |
DBLP BibTeX RDF |
|
32 | Marcus Völker, Stefan Kowalewski |
A Change-Based Heuristic for Static Analysis with Policy Iteration. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
Direct Manipulation for Imperative Programs. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang 0001, Patrick Cousot |
Verifying Numerical Programs via Iterative Abstract Testing. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Patrick Cousot |
Syntactic and Semantic Soundness of Structural Dataflow Analysis. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Daniel Neider, Shambwaditya Saha, Pranav Garg 0001, P. Madhusudan |
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | 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. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Yuxiang Lei, Yulei Sui |
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | David Delmas, Antoine Miné |
Analysis of Software Patches Using Numerical Abstract Interpretation. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Hang Yu 0005, David Monniaux |
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Caterina Urban |
Static Analysis of Data Science Software. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi 0001 |
A Temporal Logic for Higher-Order Functional Programs. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Pierre Ganty, Francesco Ranzato, Pedro Valero 0001 |
Language Inclusion Algorithms as Complete Abstract Interpretations. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim |
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 2149 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|