Found 298 results
Filters: First Letter Of Last Name is B [Clear All Filters]
Motivating Software Engineers Working in Virtual Teams Across the Globe. Software Product Management in a Changing WorldSoftware Product Management in a Changing World.
.
2014. Who are we doing Global Software Development research for? 8th IEEE International Conference on Global Software Engineering (ICGSE '13)8th IEEE International Conference on Global Software Engineering (ICGSE '13).
.
2013. A Decision Support System for Global Team Management: Expert Evaluation REMIDI. International Workshop on Tool Support Development and Management in Distributed Software Projects co-located with 7th IEEE International Conference on Global Software Engineering (ICGSE 2012).
.
2012. Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET). 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET).
.
2019. Triangulation Research Dissemination Methods: A Three Pronged Approach to Close the Research/Practice Divide. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. A Decision Support System for Global Software Development. PARIS’11 workshop, co-located with 6th IEEE International Conference on Global Software Engineering(ICGSE) ’11.
.
2011. Crafting a Global Teaming Model for Architectural Knowledge Management. IEEE International Conference on Global Software Engineering (ICGSE 2010)IEEE International Conference on Global Software Engineering (ICGSE 2010).
.
2010. 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. 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. 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. 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. Tight Polynomial Worst-Case Bounds for Loop Programs . Logical Methods in Computer Science. Volume 16, Issue 2
.
2020. Tight Worst-Case Bounds for Polynomial Loop Programs . International Conference on Foundations of Software Science and Computation Structures .
.
2019. 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. .
2020.
AI in My Life: AI, Ethics & Privacy Workshops for 15-16-Year-Olds. 13th ACM Web Science Conference 2021.
.
2021. .
2020.
Simulating Resource Management across the Cloud-to-Thing Continuum: A Survey and Future Directions. Future Internet. 12:95.
.
2020. .
2021. .
2021.