Publikációk

Export 502 results:
Rendezés: [ Szerző (Desc)] Cím Típus Év
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Á
Ádám, Z., Sallai, G., and Hajdu, Á., "Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)", Tools and Algorithms for the Construction and Analysis of Systems, vol. 12652: Springer, 2021. Abstract
(Accepted)
A
Abdeen, H., Varró, D., Sahraoui, H., Nagy, A S., Hegedüs, Á., Horváth, Á., and Debreceni, C., "Multi-Objective Optimization in Rule-Based Design Space Exploration", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, IEEE, 9/2014. Abstract

Nyelvek

  • English
  • Magyar

Belépés

Navigáció