DGP Application for Support Traffic Information Systems in Indoor and Outdoor Environments

1. Mucherino, A., Lavor, C., Liberti, L.: The discretizable distance geometry problem. Optim. Lett. 1–16 (2012)

   Google Scholar 

2. Lavor, C., Lee, J., John, A.L.S., Liberti, L., Mucherino, A., Sviridenko, M.: Discretization orders for distance geometry problems. Optim. Lett. 6(4), 783–796 (2012)

   Article  MATH  MathSciNet  Google Scholar 

3. Lavor, C., Liberti, L., Mucherino, A., Maculan, N.: On a discretizable subclass of instances of the molecular distance geometry problem. In: Proceedings of the 2009 ACM Symposium on Applied Computing, pp. 804–805 (2009)

   Google Scholar 

4. Morè, J.J., Wu, Z.: Distance geometry optimization for protein structures. J. Global Optim. 15(3), 219–234 (1999)

   Article  MATH  MathSciNet  Google Scholar 

5. Lavor, C., Liberti, L., Mucherino, A.: The interval Branch-and-Prune algorithm for the discretizable molecular distance geometry problem with inexact distances. J. Glob. Optim. 1–17 (2013)

   Google Scholar 

6. Panayappan, R., Trivedi, J. M., Studer, A., Perrig, A.: VANET-based approach for parking space availability. In: Proceedings of the fourth ACM International Workshop on Vehicular Ad Hoc Networks, pp. 75–76 (2007)

   Google Scholar 

7. Caliskan, M., Graupner, D., Mauve, M.: Decentralized discovery of free parking places. In: Proceedings of the 3rd International Workshop on Vehicular Ad Hoc Networks, pp. 30–39 (2006)

   Google Scholar 

8. Caliskan, M., Barthels, A., Scheuermann, B., Mauve, M.: Predicting parking lot occupancy in vehicular ad hoc networks. In: VTC2007-Spring IEEE 65th Vehicular Technology Conference, pp. 277–281 (2007)

   Google Scholar 

9. Shoup, D.C.: Cruising for parking. Transp. Policy 13(6), 479–486 (2006)

   Article  Google Scholar 

10. Shoup, D., Campbell, H.: Gone parkin’. The New York Times, p. 29 (2007)

    Google Scholar 

11. Dowling, C., Fiez, T., Ratliff, L., Zhang, B.: How much urban traffic is searching for parking? arXiv preprint arXiv:1702.06156 (2017)

12. Szczurek, P., Xu, B., Wolfson, O., Lin, J., Rishe, N.: Learning the relevance of parking information in VANETs. In: Proceedings of the Seventh ACM International Workshop on VehiculAr InterNETworking, pp. 81–82 (2010)

    Google Scholar 

13. Amato, F., Moscato, F.: Exploiting cloud and workflow patterns for the analysis of composite cloud services. Future Gener. Comput. Syst. 67, 255–265 (2017)

    Article  Google Scholar 

14. Amato, F., Moscato, F.: Pattern-based orchestration and automatic verification of composite cloud services. Comput. Electr. Eng. 56, 842–853 (2016)

    Article  Google Scholar 

15. Balzano, W., Del Sorbo, M. R., Stranieri, S.: A logic framework for C2C network management. In: 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), pp. 52–57 (2016)

    Google Scholar 

16. Balzano, W., Del Sorbo, M. R., Murano, A., Stranieri, S.: A logic-based clustering approach for cooperative traffic control systems. In: International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, pp. 737–746 (2016)

    Google Scholar 

17. Balzano, W., Murano, A., Stranieri, S.: Logic-based clustering approach for management and improvement of VANETs. J. High Speed Netw. 23(3), 225–236 (2017)

    Article  Google Scholar 

18. Amato, F., De Pietro, G., Esposito, M., Mazzocca, N.: An integrated framework for securing semi-structured health records. Knowl.-Based Syst. 79, 99–117 (2015)

    Article  Google Scholar 

19. Amato, F., Moscato, F.: A model driven approach to data privacy verification in e-health systems. Trans. Data Priv. 8(3), 273–296 (2015)

    Google Scholar 

20. Bruni, R., Montanari, U.: Models of Computation. Springer, Cham (2017)

    Book  Google Scholar 

Download references