( en | de | ru )

 

Disambiguation of "Velasquez, Alvaro"

Author of the publication

copydeleteadd this publication to your clipboard
Algorithmic Analysis of Priority-Based Bin Packing.

, , , and . CALDAM, volume 12601 of Lecture Notes in Computer Science, page 359-372. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alvaro Fernandes

Alvaro Rietmüller

Alvaro Ahrens

Alvaro Daschner

Alvaro Barbosa

 

Other publications of authors with the same name

Computation of Boolean matrix chain products in 3D ReRAM., and . ISCAS, page 1-4. IEEE, (2017)On the Robustness of AlphaFold: A COVID-19 Case Study., , , , , , , and . CoRR, (2023)Spatially Efficient In-Memory Addition Through Destructive and Non-Destructive Operations., and . ISCAS, page 1-5. IEEE, (2019)Data-Driven Robust Multi-Agent Reinforcement Learning., , , , and . MLSP, page 1-6. IEEE, (2022)Analyzing the Reachability Problem in Choice Networks., , and . CPAIOR, volume 13292 of Lecture Notes in Computer Science, page 408-423. Springer, (2022)Flow-based computing on nanoscale crossbars: Design and implementation of full adders., , , , and . ISCAS, page 1870-1873. IEEE, (2016)Automated synthesis of crossbars for nanoscale computing using formal methods., and . NANOARCH, page 130-136. IEEE Computer Society, (2015)On the Copy Complexity of Width 3 Horn Constraint Systems., , and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 63-78. Springer, (2021)The Octatope Abstract Domain for Verification of Neural Networks., , , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 454-472. Springer, (2023)Consensus-Based Value Iteration for Multiagent Cooperative Control., , and . CDC, page 6659-6664. IEEE, (2021)