Ruth Schorr

Orcid: 0000-0001-6917-0284

According to our database1, Ruth Schorr authored at least 7 papers between 1991 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Impact of Learning Style based Teaching on Students Performance in a Formal Methods Course for Computer Scientists.
Proceedings of the IEEE International Conference on Teaching, 2022

2020
Model Translation from Papyrus-RT into the nuXmv Model Checker.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019
On Teaching Intercultural Competencies Using Ethnography and Cultural Dimension Theory.
Proceedings of the IEEE Global Engineering Education Conference, 2019

1993
Ausnahmebedingung in verteilten Programmiersprachen: Sprach- und Verifikationskonzepte.
PhD thesis, 1993

Ausnahmebehandlung in verteilten Realzeitprogrammiersprachen.
Proceedings of the PEARL 93, 1993

1992
"Realzeitprogrammierung mit Pearl" in der Informatikausbildung der Universität Erlangen-Nürnberg.
Proceedings of the PEARL 92, 1992

1991
Mechanismen zur Ausnahme-Behandlung in Realzeitprogrammiersprachen.
Proceedings of the PEARL 91, 1991


  Loading...