Huy Tran
Orcid: 0000-0003-0223-6140
According to our database1,
Huy Tran
authored at least 85 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Veh. Technol., 2024
IEEE Access, 2024
2023
Knowledge graph embedding with the special orthogonal group in quaternion space for link prediction.
Knowl. Based Syst., April, 2023
Guest Editorial Introduction to the Special Feature on the 6th Workshop on Molecular Communications.
IEEE Trans. Mol. Biol. Multi Scale Commun., March, 2023
The Semantic Reader Project: Augmenting Scholarly Documents through AI-Powered Interactive Reading Interfaces.
CoRR, 2023
Proceedings of the IEEE International Conference on Acoustics, 2023
Proceedings of the 57th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2023, Pacific Grove, CA, USA, October 29, 2023
2022
Light-Weight Deformable Registration Using Adversarial Learning With Distilling Knowledge.
IEEE Trans. Medical Imaging, 2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022
2020
Multiple Interaction Learning with Question-Type Prior Knowledge for Constraining Answer Search Space in Visual Question Answering.
Proceedings of the Computer Vision - ECCV 2020 Workshops, 2020
Proceedings of the 2020 ACM Southeast Conference, 2020
2019
Supporting automated containment checking of software behavioural models using model transformations and model checking.
Sci. Comput. Program., 2019
Improving Infrastructure-based Indoor Positioning Systems with Device Motion Detection.
Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019
Proceedings of the 11th International Conference on Communication Systems & Networks, 2019
2018
Precision in a rush: Trade-offs between reproducibility and steepness of the hunchback expression pattern.
PLoS Comput. Biol., 2018
Managing Cloud Data Centers with Three-State Server Model Under Job Abandonment Phenomenon.
Proceedings of the Computational Science - ICCS 2018, 2018
Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar.
Proceedings of the Business Process Management Cases, 2018
2017
Multimodal Technol. Interact., 2017
Multimodal Technol. Interact., 2017
ACM Comput. Surv., 2017
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017
Reduction techniques for efficient behavioral model checking in adaptive case management.
Proceedings of the Symposium on Applied Computing, 2017
Lightweight approach for seamless modeling of process flows in case management models.
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017
Proceedings of the 24th International Conference on Mechatronics and Machine Vision in Practice, 2017
A personalised stereoscopic 3D gallery with virtual reality technology on smartphone.
Proceedings of the 2017 International Conference on Image and Vision Computing New Zealand, 2017
Digital map using augmented reality on smart devices: Motivation, design, and implementation.
Proceedings of the 2017 International Conference on Image and Vision Computing New Zealand, 2017
On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017
Proceedings of the 8th ACM SIGSPATIAL Workshop on GeoStreaming, 2017
Proceedings of the 22nd European Conference on Pattern Languages of Programs, 2017
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017
2016
Temperature-Dependent Model of Multi-step Transcription Initiation in Escherichia coli Based on Live Single-Cell Measurements.
PLoS Comput. Biol., 2016
Precision of Readout at the hunchback Gene: Analyzing Short Transcription Time Traces in Living Fly Embryos.
PLoS Comput. Biol., 2016
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
EMISA Forum, 2016
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract).
Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, 2016
An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management - A Repair Service Management Case.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
2015
Harmonizing architectural decisions with component view models using reusable architectural knowledge transformations and constraints.
Future Gener. Comput. Syst., 2015
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015
A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015
Counterexample Analysis for Supporting Containment Checking of Business Process Models.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015
Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM - A Repair Service Management Case.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015
Enabling flexibility of business processes by compliance rules - a case study from the insurance industry.
Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015
2014
IEEE Trans. Serv. Comput., 2014
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014
Proceedings of the Symposium on Applied Computing, 2014
2013
BMC Syst. Biol., 2013
Proceedings of the IEEE Topical Conference on Wireless Sensors and Sensor Networks, 2013
Derivation of domain-specific architectural knowledge views from governance and security compliance metadata.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013
Low-overhead time synchronization for schedule-based multi-channel wireless sensor networks.
Proceedings of the 19th IEEE Workshop on Local & Metropolitan Area Networks, 2013
Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013
Decisions, Models, and Monitoring - A Lifecycle Model for the Evolution of Service-Based Systems.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013
Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations.
Proceedings of the Software Architecture - 7th European Conference, 2013
Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013
2012
Compliance in service-oriented architectures: A model-driven and view-based approach.
Inf. Softw. Technol., 2012
Event-Driven Actors for Supporting Flexibility and Scalability in Service-Based Integration Architecture.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Proceedings of the 17th European Conference on Pattern Languages of Programs, 2012
Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution.
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012
Proceedings of the 7th ACM Symposium on Information, Compuer and Communications Security, 2012
2011
VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs.
Softw. Syst. Model., 2011
Int. J. Bus. Process. Integr. Manag., 2011
CoRR, 2011
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011
Proceedings of the 31st IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2011 Workshops), 2011
Using Model-Driven Views and Trace Links to Relate Requirements and Architecture: A Case Study.
Proceedings of the Relating Software Requirements and Architectures., 2011
2010
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Model-driven and domain-specific architectural knowledge view for compliance meta-data in process-driven SOAs.
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge, 2010
2009
Proceedings of the Handbook of Research on Business Process Modeling., 2009
2008
Proceedings of the Model-Based Software and Data Integration, 2008
View-Based Reverse Engineering Approach for Enhancing Model Interoperability and Reusability in Process-Driven SOAs.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008
Proceedings of the Model Driven Architecture, 2008
2007
View-based and Model-driven Approach for Reducing the Development Complexity in Process-Driven SOA.
Proceedings of the Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, 2007
2006
Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006