Found 46 results
Filters: First Letter Of Last Name is J [Clear All Filters]
High‐speed parallel reconfigurable F p multipliers for elliptic curve cryptography applications. International Journal of Circuit Theory and Applications. 50
.
2022. PETchain: A Blockchain-Based Privacy Enhancing Technology. IEEE Access. 9:41129-41143.
.
2021. Between Rhetoric and Reality: Real-World Barriers to Uptake and Early Engagement in Digital Mental Health Interventions. ACM Trans. Comput.-Hum. Interact..
.
2023. How to Complete an Interactive Configuration Process? 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010).
.
2010. Algorithms for computing backbones of propositional formulae. AI Communication.
.
2015. .
2015. Solving QBF by Clause Selection. IJCAI 2015IJCAI 2015.
.
2015. PackUp: Tools for Package Upgradability Solving, System Description. Journal on Satisfiability, Boolean Modeling and Computation. 8
.
2012. Reasoning about Feature Models in Higher Order Logic. 11th International Software Product Line Conference (SPLC 2007)11th International Software Product Line Conference (SPLC 2007).
.
2007. Reachability Analysis for Annotated Code. 6th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) collocated with the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FS.
.
2007. Assertion-based Loop Invariant Generation. Proceedings of 1st International Workshop on Invariant Generation (WING 2007) collocated with the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2007).
.
2007. Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems Fundamental Approaches to Software Engineering (MODELS ’08)ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems Fundamental Appr.
.
2008. Formal Approach to Integrating Feature and Architecture Models. Fundamental Approaches to Software Engineering (FASE 2008)Fundamental Approaches to Software Engineering (FASE 2008).
.
2008. CLOPS: A DSL for Command Line Options. IFIP Working Conference on Domain Specific Languages (DSL WC)IFIP Working Conference on Domain Specific Languages (DSL WC).
.
2009. Solving QBF with Counterexample Guided Refinement. 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. Smartphone Use While Driving: An Investigation of Young Novice Driver (YND) Behaviour. Transportation Research Part F: Traffic Psychology and Behaviour. 77:209-220.
.
2021. Cars and distraction: How to address the limits of Driver Monitoring Systems and improve safety benefits using evidence from German young drivers. Technology in Society. 66:101628.
.
2021. Business Process and Software Architecture Model Co-evolution Patterns. Workshop on Modeling in Software Engineering (MiSE 2012).
.
2012. A Framework for Classifying and Comparing Architecture-Centric Software Evolution Research. 17th European Conference on Software Maintenance and Reengineering (CSMR 2013)17th European Conference on Software Maintenance and Reengineering (CSMR 2013).
.
2013. Cloud Migration Research: A Systematic Review. IEEE Transactions on Cloud Computing.
.
2013. Software Engineering Process Models For Mobile App Development: A Systematic Literature Review. Journal of Systems and Software. 145
.
2018. Pages
- ‹ previous
- 1
- 2