( en | de | ru )

 

Disambiguation of "Mishev, Anastas"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification of Scientific Applications Using Interval Temporal Logic.

, , and . SQAMIA, volume 1266 of CEUR Workshop Proceedings, page 29-37. CEUR-WS.org, (2014)

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.

Anastas Salambaschev

Anastas Kick

Anastas Popratiloff

Anastas Tschapkanoff

Anastas Bassanoff

 

Other publications of authors with the same name

Software Engineering Practices and Principles to Increase Quality of Scientific Applications., and . ICT Innovations, volume 207 of Advances in Intelligent Systems and Computing, page 245-254. Springer, (2012)Solvation of Fluoroform in Liquid Krypton: A Theoretical Cryospectroscopy Approach on a HPC Environment., , , and . LSSC, volume 8353 of Lecture Notes in Computer Science, page 523-531. Springer, (2013)Computational approach towards vibrational spectroscopic detection of molecular species relevant to atmospheric chemistry and climate science: The formic acid rotamers., , and . EUROCON, page 926-931. IEEE, (2017)Blockchain Implementation Quality Challenges: A Literature Review., , and . SQAMIA, volume 1938 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Testing RESTful APIs - Use Case: RESTful API for Solving Multidimensional Time-independent Schrödinger Equation., , , and . SQAMIA, volume 3237 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)ISO Software Quality Standards and Certification., and . BCI (Local), volume 920 of CEUR Workshop Proceedings, page 113-116. CEUR-WS.org, (2012)Mobile-aware dynamic resource management for edge computing., , and . Trans. Emerg. Telecommun. Technol., (2019)Dynamic versus Static Approach to Theoretical Anharmonic Vibrational Spectroscopy of Molecular Species Elevant to Atmospheric Chemistry: A Case Study of Formic Acid., , , and . Scalable Comput. Pract. Exp., 19 (2): 119-130 (2018)Magnetic Response Properties of Aqueous Aluminum(III) Ion: A Hybrid Statistical Physics Quantum Mechanical Approach Implementing the Map-Reduce Computational Technique., , and . ICT Innovations, volume 311 of Advances in Intelligent Systems and Computing, page 33-43. Springer, (2014)Community-based VM placement framework., , and . J. Supercomput., 71 (12): 4504-4528 (2015)