HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Dipl.-Inf. Arman Allahyari-Abhari


Meine Tätigkeit innerhalb der Arbeitsgruppe liegt in der Erforschung neuer Techniken zur Formalisierung der natürlichen Sprache und der Verbindung der Erkenntnisse mit bereits existierenden Herangehensweisen. Darüber hinaus habe ich ebenfalls großes Interesse an exakten Methoden für Verifikation und Test konventioneller Schaltungen sowie Syntheseverfahren für Quantenschaltkreise.

WiMi

Requirement Phrasing Assistance using Automatic Quality Assessment
Autor: Arman Allahyari-Abhari, Mathias Soeken, Rolf Drechsler
Konferenz: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15)
Pdf | Referenz: Belgrade, Serbia, 2015

An Examination of the NCV-v1 Quantum Library Based on Minimal Circuits
Autor: Arman Allahyari-Abhari, Robert Wille, Rolf Drechsler
Konferenz: 45th International Symposium on Multiple-Valued Logic (ISMVL)
Pdf | Referenz: Waterloo, Canada, 2015

Quality Assessment for Requirements based on Natural Language Processing
Autor: Mathias Soeken, Nabila Abdessaied, Arman Allahyari-Abhari, Andi Buzo, Liana Musat, Georg Pelz, Rolf Drechsler
Konferenz: Special Session at the Forum on Specification & Design Languages (FDL'14)
Pdf | Referenz: Munich, Germany, 2014

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz