Walter Dosch - Concepedia

Author

Walter Dosch

Also Known As

Dosch, Walter, Dosch, Walter (Prof.), W. Dosch, Walter Dosch

110

Publications

753

Citations

H-Index

Concepts

All Affiliations

Walter Dosch is an author at University of Lübeck specializing in engineering, formal methods, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	223
2	Computer Science	5	5	90
3	Language Studies	1	1	37
4	Cognitive Science	1	1	16
5	Computer Engineering	1	1	15

Walter Dosch

Publications

243

Citations

H-Index

Page 1

	Year	Citations
On hierarchies of abstract data types Martin Wirsing, Peter Pepper, H. Partsch, Acta Informatica Abstract Data TypesEngineeringData TypeData ScienceAutomated Reasoning	1983	133
Programming in a wide spectrum language: a collection of examples Friedrich L. Bauer, Manfred Broy, Walter Dosch, Science of Computer Programming Wide Spectrum LanguageProgramming Language TheoryDeclarative ProgrammingEngineeringProgram Analysis	1981	37
On the Algebraic Specification of Databases Walter Dosch, Gianfranco Mascari, Martin Wirsing	1982	20
Time-awareness and Proactivity in Models of Interactive Computation L. Môtus, Merik Meriste, Walter Dosch Electronic Notes in Theoretical Computer Science EngineeringVerificationSoftware EngineeringHuman Performance ModelingIntelligent Systems	2005	16
From Stream Transformers to Moore State Transition Machines with Input and Output Walter Dosch, Wuttipong Ruanthong, Annette Stümpel State Transition MachineEngineeringData FlowProgram AnalysisStreaming Engine	2006	15
Busy and lazy FP with infinite objects Walter Dosch, Bernhard Möller Computational Complexity TheoryEngineeringComputational Model TheoryComputational ComplexityFormal Verification	1984	11
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007). Shahram Latifi, Walter Dosch Fourth International ConferenceEngineeringInformation Technology ConvergenceInformation Technology ManagementAdvanced Information System	2008	11

Page 1