Found 298 results
Filters: First Letter Of Last Name is B [Clear All Filters]
Public attitudes towards privacy in COVID-19 times in the Republic of Ireland: A pilot study. Information Security Journal A Global Perspective.
.
2021. Simulating Resource Management across the Cloud-to-Thing Continuum: A Survey and Future Directions. Future Internet. 12:95.
.
2020. .
2020. Application of Blockchain Technology to 5G-Enabled Vehicular Networks: Survey and Future Directions.
.
2020. PrimAndroid: Privacy Policy Modelling and Analysis for Android Applications. Proceedings of 12th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy 2011).
.
2011. Tight Worst-Case Bounds for Polynomial Loop Programs . International Conference on Foundations of Software Science and Computation Structures .
.
2019. Tight Polynomial Worst-Case Bounds for Loop Programs . Logical Methods in Computer Science. Volume 16, Issue 2
.
2020. Tight Polynomial Worst-Case Bounds for Loop Programs . Logical Methods in Computer Science. 16(2)
.
2020. Tight Polynomial Bounds for Loop Programs in Polynomial Space. Logical Methods in Computer Science. 17
.
2021. On Computing Minimal Equivalent Subformulas. 18th International Conference on Principles and Practice of Constraint Programming (CP 2012)18th International Conference on Principles and Practice of Constraint Programming (CP 2012).
.
2012. On Efficient Computation of Variable MUSes. 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. MUSer2: An Efficient MUS Extractor, System Description. Journal on Satisfiability, Boolean Modeling and Computation.
.
2012. Towards Efficient MUS Extraction. AI Communications. 25
.
2012. From semi to fully autonomous vehicles: New emerging risks and ethico-legal challenges for human-machine interactions. Transportation Research Part F: Traffic Psychology and Behaviour. 63:153-164.
.
2019. Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.
.
2010. Modelling Flash Devices with FDR: Progress and Limits. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.
.
2010. How Best to Teach Global Software Engineering? Educators Are Divided IEEE Software. 34
.
2017. Introduction to the EASE 2016 special section:evidence-based software engineering: past, present, and future. Information and Software Technology.
.
2017. Preparing Tomorrow's Software Engineers for Work in a Global Environment. IEEE Software. 34
.
2017. Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering. Proceedings of the 20th International Conference on Evaluation and Assessment in Software EngineeringProceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering.
.
2016. Assessing the Strength of Global Teaming practices: A pilot study. 10th International Conference on Global Software Engineering10th International Conference on Global Software Engineering.
.
2015. Extending Survivability Models for Global Software Development with Media Synchronicity Theory. ICGSE 2015ICGSE 2015.
.
2015. .
2015. What Motivates Software Engineers Working in Global Software Development? Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, ProceedingsProduct-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4.
.
2015. Making Software Engineering Research Relevant. Computer. 47(4)
.
2014.