Found 332 results
Filters: First Letter Of Last Name is M [Clear All Filters]
Improvements to Core-Guided Binary Search for MaxSAT. The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012).
.
2012. MaxSAT-Based MCS Enumeration. Eighth Haifa Verification Conference (HVC 2012)Eighth Haifa Verification Conference (HVC 2012).
.
2012. An Estimation-based Automatic Vehicle Location System for Public Transport Vehicles. 11th International IEEE Conference on Intelligent Transportation Systems (IEEE ITSC 2008)11th International IEEE Conference on Intelligent Transportation Systems (IEEE ITSC 2008).
.
2008. Pedestrian Crossing Intention Forecasting at Unsignalized Intersections Using Naturalistic Trajectories. Sensors. 23:2773.
.
2023. An IT Service Engineering and Management Framework (ITS-EMF). Best practices and new perspectives in service science and managementBest practices and new perspectives in service science and management.
.
2013. Impacts of electronic process guides by types of user: An experimental study. International Journal of Information Management. 36(1)
.
2016. An IT Service Engineering and Management Framework (ITS-EMF). Best Practices and New Perspectives in Service Science and ManagementBest Practices and New Perspectives in Service Science and Management. Chapter 5
.
2013. .
2007. Design methods for software architectures in the service-oriented computing and cloud paradigms. Software: Practice and Experience. 48:263–267.
.
2018. A Risk-based MADM Model for Selecting Free-Libre Open Source Software Tools in the Domain of IT Service Management. 16th Symposium on Decision Technology and Intelligent Information Systems16th Symposium on Decision Technology and Intelligent Information Systems.
.
2016. Impacts of electronic process guides by types of user: An experimental study. International Journal of Information Management. 36
.
2016. A MADM Risk-based Evaluation-Selection Model of Free-Libre Open Source Software Tools. Int. J. Technology, Policy and Management.
.
2016. Adaptive Observability for Forensic-Ready Microservice Systems. IEEE Transactions on Services Computing. 16:3196-3209.
.
2023. Building orchestrated microservice systems using declarative business processes. Service Oriented Computing and Applications.
.
2020. $\mathcalL_2$ and $\mathcalL_∞$ Stability Analysis of Heterogeneous Traffic With Application to Parameter Optimization for the Control of Automated Vehicles. IEEE Transactions on Control Systems Technology. 27:934-949.
.
2019. L2 and L? Stability Analysis of Heterogeneous Traffic With Application to Parameter Optimization for the Control of Automated Vehicles IEEE Transactions on Control Systems Technology. 27:934-949.
.
2019. Real-Time Estimation of Drivers' Behaviour. 2015 IEEE 18th International Conference on Intelligent Transportation Systems.
.
2015. On the coexistence of human-driven and automated vehicles within platoon systems. 18th European Control Conference .
.
2019. On L∞ string stability of nonlinear bidirectional asymmetric heterogeneous platoon systems. Automatica. 105:198-205.
.
2019. Soft Constraints for KnowLang. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E ’12).
.
2012. Investigating the Use of Artificial Intelligence (AI) in Educational Settings: A Systematic Review. Systems, Software and Services Process Improvement.
.
2022. Applying Lean to Improve Software Project Management Education. IEEE Transactions on Engineering Management. :1-15.
.
2023. Quality of experience assessment of 3D video synchronised with multisensorial media components. 2017 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (BMSB).
.
2017. Towards a Global Software Development Community Web: Identifying Patterns and Scenarios. PARIS Workshop, International Conference on Global Software Development (ICGSE).
.
2013. Walk before you run: using heuristic evaluation to assess a training tool prototype.. (EASE'14) 18th International Conference on Evaluation and Assessment in Software Engineering(EASE'14) 18th International Conference on Evaluation and Assessment in Software Engineering.
.
2014.