Interpretationen der Heyting-Arithmetik endlicher Typen. - Martin Stein (Arch. Math. Log., 1978)

A General Theorem on Existence Theorems. - Martin Stein (Math. Log. Q., 1981)

Prediction of small molecule binding property of protein domains with Bayesian classifiers based on Markov chains. - Alla Bulashevska; Martin Stein; David Jackson; Roland Eils (Comput. Biol. Chem., 2009)

Kontextsensitive Service-Infrastruktur für die mobile Nutzung von Home-IT. - Marc Herbrechter; Benedikt Ley; Martin Stein (Wirtschaftsinformatik, 2011)

Supporting the social context of technology appropriation: on a synthesis of sharing tools and tool knowledge. - Sebastian Draxler; Gunnar Stevens; Martin Stein; Alexander Boden; David Randall 001 (CHI, 2012)

A reconfigurable Continuous-Time ΔΣ-ADC using a digitally programmable gm-C array. - Daniel Angele; Martin Stein; John G. Kauffman; Maurits Ortmanns; Joachim Becker (MWSCAS, 2012)

On the Value Distribution of Error Sums for Approximations With Rational Numbers. - Carsten Elsner; Martin Stein (Integers, 2012)

Living Labs zur Gestaltung innovativer Mobilitätskonzepte für ältere Menschen. - Johanna Meurer; Martin Stein; Gunnar Stevens (MuC (Workshopband), 2013)

A Comparison of Five Programming Languages in a Graph Clustering Scenario. - Martin Stein; Andreas Geyer-Schulz (J. Univers. Comput. Sci., 2013)

Modified Randomized Modularity Clustering: Adapting the Resolution Limit. - Andreas Geyer-Schulz; Michael Ovelgönne; Martin Stein (Algorithms from and for Nature and Life, 2013)

Incentive-Centric Semantic Web Application Engineering - Elena Simperl; Roberta Cuel; Martin Stein (Morgan & Claypool Publishers, 2013)

Social dependency and mobile autonomy: supporting older adults' mobility with ridesharing ict. - Johanna Meurer; Martin Stein; David Randall 001; Markus Rohde; Volker Wulf (CHI, 2014)

Designing Cooperation for Sustainable Mobility: Mobile Methods in Ridesharing Contexts. - Johanna Meurer; Martin Stein; Volker Wulf (COOP, 2014)

Hands-on-Activities als Werkzeug im Participatory Design mit Senioren. - Julia Käfer; Martin Stein; Johanna Meurer (MuC, 2014)

Mitfahrpraktiken älterer Menschen verstehen und gestalten: Ergebnisse einerethnographischen Studie. - Johanna Meurer; Martin Stein; Markus Rohde; Volker Wulf (MKWI, 2014)

Gestaltung von Mitfahrsystemen für ältere Erwachsene. - Johanna Meurer; Martin Stein; Volker Wulf; Markus Rohde (i-com, 2014)

FRAMES - A Framework for Adaptable Mobile Event-Contingent Self-report Studies. - Julian Dax; Thomas Ludwig 005; Johanna Meurer; Volkmar Pipek; Martin Stein; Gunnar Stevens (IS-EUD, 2015)

Autonomy Support for Elderly People through Everyday Life Gadgets. - Dominik Hornung; Claudia Müller 002; Alexander Boden; Martin Stein (GROUP, 2016)

Arbeiten im Mittelstand 4.0 - KMU im Spannungsfeld des digitalen Wandels. - Thomas Ludwig 005; Christoph Kotthaus; Martin Stein; Hartwig Durt; Constanze Kurz; Julian Wenz; Thorsten Doublet; Maximilian Becker; Volkmar Pipek; Volker Wulf (HMD Prax. Wirtsch., 2016)

Towards Acceptance Engineering in ICT for Older Adults. - Anna Kötteritzsch; Kathrin Gerling; Martin Stein (i-com, 2016)

Managing Visibility and Validity of Distress Calls with an Ad-Hoc SOS System. - Alexander Boden; Amro Al-Akkad; Michael Liegl; Monika Büscher; Martin Stein; David Randall 001; Volker Wulf (ACM Trans. Comput. Hum. Interact., 2016)

What Happened in my Home?: An End-User Development Approach for Smart Home Data Visualization. - Nico Castelli; Corinna Ogonowski; Timo Jakobi; Martin Stein; Gunnar Stevens; Volker Wulf (CHI, 2017)

Mobility in Later Life: Appropriation of an Integrated Transportation Platform. - Martin Stein; Johanna Meurer; Alexander Boden; Volker Wulf (CHI, 2017)

The Industrial Internet of Things: New Perspectives on HCI and CSCW within Industry Settings. - Henrik Mucha; Carsten Röcker; Thomas Ludwig 005; Corinna Ogonowski; Martin Stein; Sebastian Robert; Lukas Galla; Martin Hill; Volker Wulf (CSCW Companion, 2018)

Revive Old Discussions! Socio-technical Challenges for Small and Medium Enterprises within Industry 4.0. - Thomas Ludwig 005; Christoph Kotthaus; Martin Stein; Volkmar Pipek; Volker Wulf (ECSCW Exploratory Papers, 2018)

Designing for way-finding as practices - A study of elderly people's mobility. - Johanna Meurer; Martin Stein; David Randall 001; Volker Wulf (Int. J. Hum. Comput. Stud., 2018)

Eco-InfoVis at Work: Role-based Eco-Visualizations for the Industrial Context. - Nico Castelli; Sebastian Taugerbeck; Martin Stein; Timo Jakobi; Gunnar Stevens; Volker Wulf (Proc. ACM Hum. Comput. Interact., 2020)

The Automation of the Taxi Industry - Taxi Drivers' Expectations and Attitudes Towards the Future of their Work. - Christina Pakusch; Alexander Boden; Martin Stein; Gunnar Stevens (Comput. Support. Cooperative Work., 2021)

Travelling Artefacts: Lessons Learned from Interventions in a Regional Innovation Ecosystem. - Max Krüger 001; Marc Gerbracht; Nico Vitt; Muhamed Kudic; Michael Ahmadi; Alexander Boden; Felicitas Offergeld; Martin Stein; Christoph Kotthaus; David Unbehaun; Volker Wulf (ECSCW, 2022)

Knowledge Spillover: Between Serendipity and Strategic Planning - Lessons for Practice-oriented Interventions into Regional Innovation Systems. - Muhamed Kudic; Max Krüger 001; Marc Gerbracht; Michael Ahmadi; Alexander Boden; Martin Stein; Christoph Kotthaus; Nico Vitt; David Unbehaun; Peter Tolmie; Volker Wulf (Proc. ACM Hum. Comput. Interact., 2024)