PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Blass, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interactive Small-Step Algorithms I: Axiomatization.

, , , und . Logical Methods in Computer Science, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andreas Pahler University of Stuttgart

Lessons Learned and First Results of the E-Band CubeSat EIVE, , , , , , , , , und 17 andere Autor(en). Preprint, (2023)

PD Dr. Andreas Heßelmann University of Stuttgart

Univ. -Prof. Dr. -Ing. Andreas Strohmayer University of Stuttgart

Experimental Parameter Study of Distributed Electric Propulsion on a 2D Wing Model in High-Lift Configuration, , , , , und . AIAA AVIATION 2023 Forum, Seite 3540. American Institute of Aeronautics and Astronautics, (2023)

Andreas Gneiting University of Stuttgart

Comparative Study of Different Surrogate Models in the Multi-physics Optimization of Synchronous Reluctance Machine, , , und . 2023 26th International Conference on Electrical Machines and Systems (ICEMS), Seite 1284-1290. IEEE, (2023)

Andreas Brenner University of Stuttgart

Improved far field holograms using spatial light modulators and camera-in-the-loop optimization, , , und . Digital Optical Technologies 2025, Volume 13573 von Proc. SPIE, Seite 1357304. International Society for Optics and Photonics, SPIE, (August 2025)
 

Weitere Publikationen von Autoren mit dem selben Namen

Random Orders and Gambler's Ruin., und . Electr. J. Comb., (2005)Groupwise density and related cardinals.. Arch. Math. Log., 30 (1): 1-11 (1990)Program termination and well partial orderings., und . ACM Trans. Comput. Log., 9 (3): 18:1-18:26 (2008)Ordinary interactive small-step algorithms, II., und . ACM Trans. Comput. Log., 8 (3): 15 (2007)Ordinary interactive small-step algorithms, I., und . ACM Trans. Comput. Log., 7 (2): 363-419 (2006)The Underlying Logic of Hoare Logic., und . Bulletin of the EATCS, (2000)Algorithms vs. Machines., und . Bulletin of the EATCS, (2002)On Certain Types and Models for Arithmetic.. J. Symb. Log., 39 (1): 151-162 (1974)The Model of Set Theory Generated by Countably Many Generic Reals.. J. Symb. Log., 46 (4): 732-752 (1981)Infinitary Combinatorics and Modal Logic.. J. Symb. Log., 55 (2): 761-778 (1990)