Keyword:API

Papers
Android Patient Tracker Harshika Tripathi, Imran Nazir and Surya Pratap Singh EasyChair Preprint no. 5843
Tourist e-Guide Anish Kumar, Altaf Ahmad Khan and Kunal Panchal EasyChair Preprint no. 5701
Presentation and Analysis of the Ecosystem for Mobile Development in Multiplatform Ricardo Lucas Jardim EasyChair Preprint no. 4953
Weather Finder: An Application for weather forecasting Anmol Srivastava, Rahul Verma and Vaibhav Srivastav EasyChair Preprint no. 4823
Open innovation Hannes Premmert and Emil Johansson EasyChair Preprint no. 2171
Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows and José Meseguer In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning