Research Output per year
Research Output per year
Personal profile
Scientific Focus
- streams
- distributed systems
- deductive design
- functional system specification
- functional programming
Fingerprint
Dive into the research topics where Annette Stümpel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Konzept zur IT-Ausstattung an Lübecker Schulen
Leucker, M., Stümpel, A., Wolf, D. & Huber, D., 01.10.2016, 88 p.Research output: Other contribution › Other › Research
-
Communication-based System Development using Standard Programming Languages
Stümpel, A., 2009, p. 265-268. 4 p.Research output: Contribution to conference › Conference Papers › peer-review
-
Stuttering removal-developing mealy and moore style implementations of an interactive component
Dosch, W., Stümpel, A., Janchum, N. & Muenchaisri, P., 19.10.2009, 2009 IEEE/ACS International Conference on Computer Systems and Applications. IEEE, p. 301-308 8 p. 5069340. (International Conference on Computer Systems and Applications).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Extending the service domain of an interactive bounded queue
Dosch, W. & Stümpel, A., 08.05.2008, Trends in Intelligent Systems and Computer Engineering. Boston: Springer Verlag, p. 599-618 20 p. (Lecture Notes in Electrical Engineering; vol. 6).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
1 Citation (Scopus) -
Streaming Dyadic Boolean Operations
Dosch, W., Stümpel, A. & Tamme, T., 27.05.2008, Fifth International Conference on Information Technology: New Generations (itng 2008). IEEE, p. 88-96 9 p. 4492460. (IEEE Proceedings).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review