Not finding it? Sign in to also search OpenAlex live.
-
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
AI-Native Brand Identity: From Visual Recognition to Cryptographic Verification2025 arXiv (Cornell University) preprint Business, Management and Accounting Consumer Behavior in Brand Consumption and Identification Open access
Xiaoyu Zhang, Lingyong Yan, Maarten de Rijke, Zhaochun Ren, Xiuying Chen
0citations -
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access
Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆
0citations -
Semantic Comparison of Asset Administration Shells2025 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry Open access
Torben Miny, Sebastian Heppner, Igor Garmaev, Marko Ristin, Björn Otto, Nico Braunisch, +3 more
1citations -
The neglected model validation of antimicrobial resistance transmission models – a systematic review2025 Antimicrobial Resistance and Infection Control review Immunology and Microbiology Antibiotic Use and Resistance Open access
Maja Lykke Brinch, Jeroen Geurtsen, Thierry Van Effelterre, Lorenzo Argante, Michael J. McConnell, Tine M. Hald
3citations