| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sara Aghakhani, Reda Alhajj, Jon G. Rokne, Philip Chang |
An Effective LmRMR for Financial Variable Selection and its Applications.  |
IRI  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuo-Chung Chu, Peng-Hua Jiang |
Visualization Analysis of Medical Resource Utilization for Long-Term Care Services. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhav Sharan, Nithin Krishna Ottilingam, Chris A. Mattmann, Karanjeet Singh 0002, Maribel Marin, Amy Latzer, Colin Foon, Umesh Handore |
An Automated Approach for Information and Referral of Social Services Using Machine Learning. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam M. Najafabadi, Taghi M. Khoshgoftaar, Chad Calvert, Clifford Kemp |
User Behavior Anomaly Detection for Application Layer DDoS Attacks. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Long Cheng, Yani Guan, Kecheng Zhu, Yiyang Li, Ruokun Xu |
Accelerated Sparse Representation for Human Activity Recognition. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kent Gauen, Ryan Dailey, John Laiman, Yuxiang Zi, Nirmal Asokan, Yung-Hsiang Lu, George K. Thiruvathukal, Mei-Ling Shyu, Shu-Ching Chen |
Comparison of Visual Datasets for Machine Learning. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl R. Weiss, Taghi M. Khoshgoftaar |
Analysis of Transfer Learning Performance Measures. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Norases Vesdapunt, Hector Garcia-Molina |
Link Prediction and Hybrid Strategies for Updating a Social Graph Snapshot via a Limited API. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Camacho Barranco, Laura M. Rodriguez, Rebecca Urbina, Mahmud Shahriar Hossain |
Enhancing Yelp Data with Deep Learning and Information Reuse. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Persia, Daniela D'Auria |
A Survey of Online Social Networks: Challenges and Opportunities. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Saad Sadiq, Yilin Yan, Asia Taylor, Mei-Ling Shyu, Shu-Ching Chen, Daniel Feaster |
AAFA: Associative Affinity Factor Analysis for Bot Detection and Stance Classification in Twitter. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofeng Zhu 0004, Diego Klabjan, Patrick N. Bless |
Unsupervised Terminological Ontology Learning Based on Hierarchical Topic Modeling. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Almgren, Minkyu Kim, Jeongkyu Lee |
Mining Social Media Data Using Topological Data Analysis. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Landset, Michael F. Bergeron, Taghi M. Khoshgoftaar |
Using Weather and Playing Surface to Predict the Occurrence of Injury in Major League Soccer Games: A Case Study. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Oussama Jebbar, Ferhat Khendek, Maria Toeroe |
Upgrade of Highly Available Systems: Formal Methods at the Rescue. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengcui Zhang, Balaji Palanisamy, Latifur Khan, Sahra Sedigh Sarvestani (eds.) |
2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017 |
IRI |
2017 |
DBLP BibTeX RDF |
|
| 1 | Jon G. Hall, Lucia Rapanotti, Georgi A. Markov |
A Phenomenal Basis for Hybrid Modelling. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph D. Prusa, Ryan Sagul, Taghi M. Khoshgoftaar, Michael Sterling |
Extracting Knowledge from Technical Reports for the Valuation of West Texas Intermediate Crude Oil Futures. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chakaveh Saedi, João António Rodrigues, João Silva 0004, António Branco, Vladislav Maraev |
Learning Profiles in Duplicate Question Detection. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giacinto Caldarola, Antonio M. Rinaldi |
Modelling Multimedia Social Networks Using Semantically Labelled Graphs. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Osuna, Monika Akbar, Ann Q. Gates |
On Using Disparate Scholarly Data to Identify Potential Members for Interdisciplinary Research Groups. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexia Schulz, Michael C. Kotson, Chad R. Meiners, Timothy Meunier, David OGwynn, Pierre Trepagnier, David Weller-Fahy |
Active Dependency Mapping: A Data-Driven Approach to Mapping Dependencies in Distributed Systems. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | George Mathew |
The Challenges and Solutions for Building an Integrated Video Analytics Platform. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liu, Xingquan Zhu 0001, Kristopher Kalish, Jeremy Kayne |
ULTR-CTR: Fast Page Grouping Using URL Truncation for Real-Time Click Through Rate Estimation. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kieutran Theresa Pham, Chelsea Cantone, Seung-Yun Kim |
Colored Petri Net Representation of Logical and Decisive Passing Algorithm for Humanoid Soccer Robots. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Morrow, Ali R. Hurson, Sahra Sedigh Sarvestani |
A Multi-stage Approach to Personalized Course Selection and Scheduling. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidahmed Benabderrahmane, Nedra Mellouli, Myriam Lamolle |
Predicting the Users' Clickstreams Using Time Series Representation, Symbolic Sequences, and Deep Learning: Application on Job Offers Recommendation Tasks. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Shim, Mohammad Pourhomayoun |
Predicting Movie Market Revenue Using Social Media Data. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Königsberger, Bernhard Mitschang |
Business Objects plus (BO+): An Approach to Enhance Service Reuse and Integration in Cross-Domain SOA Compounds. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela D'Auria, Fabio Persia |
A Collaborative Robotic Cyber Physical System for Surgery Applications. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ligaj Pradhan, Chengcui Zhang, Steven Bethard |
Infusing Latent User-Concerns from User Reviews into Collaborative Filtering. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuancong Gao, Jian Pei, Jiannan Wang 0001, Yi Chang 0001 |
Schemaless Join for Result Set Preferences. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelniser Mooman, Stephen Powers |
A Novel Approach to Neural Network Based Intelligent Systems for Emotion Recognition in Audio Signals. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Flora Amato, Francesco di Lillo, Vincenzo Moscato, Antonio Picariello, Giancarlo Sperlì |
Influence Analysis in Online Social Networks Using Hypergraphs. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche |
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Boxiang Dong, Wendy Hui Wang |
EARRING: Efficient Authentication of Outsourced Record Matching. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Min-Yuh Day, Yue-Da Lin |
Deep Learning for Sentiment Analysis on Google Play Consumer Review. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chichang Jou, Yucheng Cheng |
Heuristics-Based Schema Extraction for Deep Web Query Interfaces. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | George D. Montañez |
Estimating the Prevalence of Religious Content in Intelligent Design Social Media. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Gottardi, Rosana Teresinha Vaccare Braga |
Model-Oriented Web Service Implementations Compared to Traditional Web Services. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Hsiang Hsieh, Shih-Hung Wu, Liang-Pu Chen, Ping-Che Yang |
Constructing Hierarchical Product Categories for E-Commerce by Word Embedding and Clustering. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Abboud, Hala Naja, Mohamad Dbouk, Mourad Chabane Oussalah |
Towards Using KDD for an Interactive Software Architecture Extraction. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sampath Jayarathna, Frank Shipman |
Analysis and Modeling of Unified User Interest. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zibo Meng, Xiaochuan Fan, Xin Chen, Min Chen 0009, Yan Tong |
Detecting Small Signs from Large Images. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhibo Wang 0008, Long Ma, Yanqing Zhang 0001 |
A Hybrid Machine Learning Method for Finding Depression Related Publications by Eliminating Outlier Publications. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma Alshehri, Ravi S. Sandhu |
Access Control Models for Virtual Object Communication in Cloud-Enabled IoT. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Smart, Christan Grant |
Towards Managing Complex Data Sharing Policies with the Min Mask Sketch. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Shirazi, Kyle Haefner, Indrakshi Ray |
Fresh-Phish: A Framework for Auto-Detection of Phishing Websites. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miled B. Bentaiba, Abdelghani Allaoua, Ahcene Boumhand |
Knowledge Amplification through Randomization for Scheduling Systems. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Bertino, Murat Kantarcioglu |
A Cyber-Provenance Infrastructure for Sensor-Based Data-Intensive Applications. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Bauder, Taghi M. Khoshgoftaar |
Estimating Outlier Score Probabilities. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Takaya Kawakatsu, Akira Kakitani, Kenro Aihara, Atsuhiro Takasu, Jun Adachi |
Traffic Surveillance System for Bridge Vibration Analysis. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Faezeh Eshragh, Mozhdeh Shahbazi, Behrouz Homayoun Far |
Automated Dynamic Negotiation over Environmental Issues. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hycham Aboutaleb, Bruno Monsuez |
Entropy in Design Phase: A Higraph-Based Model Approach. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sang-Soo Park, Jung-Hyun Hong, Ki-Seok Chung |
Modified Convolution Neural Network for Highly Effective Parallel Processing. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Bahojb Imani, Mehrdad Heydarzadeh, Latifur Khan, Mehrdad Nourani |
A Scalable Spark-Based Fault Diagnosis Platform for Gearbox Fault Diagnosis in Wind Farms. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | José Ignacio Requeno, José Merseguer, Simona Bernardi 0001 |
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Pereira de Araujo, Alexandre Cabral Mota, Sidney de Carvalho Nogueira |
Probabilistic Analysis Applied to Cleaning Robots. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Herland, Richard A. Bauder, Taghi M. Khoshgoftaar |
Medical Provider Specialty Predictions for the Detection of Anomalous Medicare Insurance Claims. |
IRI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Verena Kantere |
Datom Continued: Towards Multi-Objective Optimization of Data Management Entities. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Xie, Hongze Xu, Guang Yang, Zhi-Hong Mao, Wenyan Jia, Mingui Sun |
Reuse of WiFi Information for Indoor Monitoring of the Elderly. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting-Hao Yang, Yu-Lun Hsieh, You-Shan Chung, Cheng-Wei Shih, Shih-Hung Liu, Yung-Chun Chang, Wen-Lian Hsu |
Principle-Based Approach for Semi-Automatic Construction of a Restaurant Question Answering System from Limited Datasets. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tegjyot Singh Sethi, Mehmed M. Kantardzic, Elaheh Arabmakki |
Monitoring Classification Blindspots to Detect Drifts from Unlabeled Data. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoya Okumura, Takao Miura |
Generating Headline Candidates for News Articles. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | James Brown, Mohd Anwar, Gerry V. Dozier |
Intrusion Detection Using a Multiple-Detector Set Artificial Immune System. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Loretta H. Cheeks, Tracy L. Stepien, Dara M. Wald |
Discovering News Frames: Exploring Text, Content, and Concepts in Online News Sources to Address Water Insecurity in the Southwest Region. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Tan, Hongfei Hou, Qin Zhang |
An Extensible Software Platform for Cloud-Based Decision Support and Automation in Precision Agriculture. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Long Cheng, Chenyu You, Liguo Chen |
Identification of Power Line Outages Based on PMU Measurements and Sparse Overcomplete Representation. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thamme Gowda, Chris A. Mattmann |
Clustering Web Pages Based on Structure and Style Similarity (Application Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Carter, William B. Gardner |
BHive: Towards Behaviour-Driven Development Supported by B-Method. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhao Lu, Yu-Ru Lin, Qing Zhang, Mengwei Chen |
Classifying Questions into Fine-Grained Categories Using Topic Enriching. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongli Luo |
Selective Mapping for Real-Time Video Transport over Wireless LAN. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunkai Liu, A. Kate MacPhedran, Yu Luo |
Statistical Measurement and Analysis on How the Late-Life Function & Disability Instrument Enhances the Frailty Assessment Compared to the National Standards Used on Transcatheter Aortic Valve Patients (Application Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Elham Akhond Zadeh Noughabi, Behrouz H. Far, Bijan Raahemi |
Predicting Students' Behavioral Patterns in University Networks for Efficient Bandwidth Allocation: A Hybrid Data Mining Method (Application Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Boxiang Dong, Wendy Hui Wang |
ARM: Authenticated Approximate Record Matching for Outsourced Databases. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Farmer, Qian Hu |
A Formal Language for Writing Contracts. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yilin Yan, Samira Pouyanfar, Haiman Tian, Sheng Guan, Hsin-Yu Ha, Shu-Ching Chen, Mei-Ling Shyu, Shahid Hamid 0001 |
Domain Knowledge Assisted Data Processing for Florida Public Hurricane Loss Model (Invited Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengyu Wang, Ying Zhu |
Bloom Filter Tree for Fast Search and Synchronization of Tree-Structured Data. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Jarrett, M. Brian Blake |
Reusable Meta-Models for Crowdsourcing Driven Elastic Systems (Invited Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry M. Kim, Jackie Ho Nam Cheung, Marek Laskowski, Iryna Gel |
Data Analytics Using Ontologies of Management Theories: Towards Implementing "From Theory to Practice" (Application Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Valdes, Richard Macwan, Matthew Backes |
Anomaly Detection in Electrical Substation Circuits via Unsupervised Machine Learning. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thouraya Bouabana-Tebibel, Stuart H. Rubin, Asmaa Chebba, Sofiane Bediar, Syphax Iskounen |
Knowledge Induction Based on Randomization in Case-Based Reasoning. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph D. Prusa, Taghi M. Khoshgoftaar |
Designing a Better Data Representation for Deep Neural Networks and Text Classification. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Andrade, Marcelo Ladeira, Rommel N. Carvalho |
A Comparison Between Supervised and Unsupervised Models for Identify a Large Number of Categories. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Saad Sadiq, Yilin Yan, Mei-Ling Shyu, Shu-Ching Chen, Hemant Ishwaran |
Enhancing Multimedia Imbalanced Concept Detection Using VIMP in Random Forests. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianyi Zhan, Jiawei Zhang 0001, Philip S. Yu, Sherry Emery, Junyuan Xie |
Discover Tipping Users for Cross Network Influencing (Invited Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Persia, Sven Helmer |
An Event Detection Framework Supported by a Smart Graphical User Interface. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fumiya Kudo, Norihiko Moriwaki, Tomoaki Akitomi, Susumu Serita, Yu Kitano |
Automatic Label Data Abstraction Based on Information Entropy (Application Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchen Wang, Christopher D'Angelo, Daniel Mossé, Daniel G. Cole |
Integrating Control and Fault-Tolerant Wireless Network Design for Small Modular Nuclear Reactors (Invited Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giacinto Caldarola, Antonio Maria Rinaldi |
An Approach to Ontology Integration for Ontology Reuse. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisham Salah, Mohamed Eltoweissy |
PETRA: Personalized Trust Management Architecture (Application Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi-Ting Liu, Shao-Heng Chen, Chuan-Jie Lin |
Learning Textual Entailment Classification from a Chinese RITE Dataset Specialized for Linguistic Phenomena. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Harris |
Modeling Integration and Reuse of Heterogeneous Terminologies in Faceted Browsing Systems. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dippy Aggarwal, Karen C. Davis |
Employing Graph Databases as a Standardization Model towards Addressing Heterogeneity. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Po-Lin Chen, Shih-Hung Wu, Liang-Pu Chen, Ping-Che Yang |
Improving the Selection Error Recognition in a Chinese Grammar Error Detection System. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alireza Fazelpour, Taghi M. Khoshgoftaar, David J. Dittman, Amri Napolitano |
Investigating the Variation of Ensemble Size on Bagging-Based Classifier Performance in Imbalanced Bioinformatics Datasets. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Asmaa Sallam, Qian Xiao, Elisa Bertino, Daren Fadolalkarim |
Anomaly Detection Techniques for Database Protection Against Insider Threats (Invited Paper). |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Pouyanfar, Shu-Ching Chen |
Semantic Concept Detection Using Weighted Discretization Multiple Correspondence Analysis for Disaster Information Management. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip D. Baldoni, Yilin Yang, Seung-Yun Kim |
Development of Efficient Obstacle Avoidance for a Mobile Robot Using Fuzzy Petri Nets. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jafar Hamin, Bart Jacobs 0002 |
Modular Verification of Termination and Execution Time Bounds Using Separation Logic. |
IRI |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license