-
1دورية أكاديمية
المؤلفون: Ulrich Schöpp
المصدر: Logical Methods in Computer Science, Vol Volume 10, Issue 4 (2014)
مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos
المصدر: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3beb216228f4c6f32ec343d61769f881
https://doi.org/10.1145/3589608.3593843 -
3
المؤلفون: Yuri Gil Dantas, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
المصدر: SN Computer Science. 4
مصطلحات موضوعية: Computational Theory and Mathematics, General Computer Science, Computer Networks and Communications, Artificial Intelligence, Computer Graphics and Computer-Aided Design, Computer Science Applications
-
4
المؤلفون: Tarik Terzimehić, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, Pei Ke
المصدر: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d1e37bd5f1dd5248de4ce2b33a7839c0
https://doi.org/10.1109/icsa-c57050.2023.00070 -
5
المؤلفون: Yuri Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
المصدر: Proceedings of the 9th International Conference on Information Systems Security and Privacy.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::75967ab527d7849de7b0c1300574066f
https://doi.org/10.5220/0011786400003405 -
6
المؤلفون: Yuri Dantas, Ulrich Schöpp
المصدر: Proceedings of the 9th International Conference on Information Systems Security and Privacy.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5a793ffb0cf301fc59fa822b4a8e4b63
https://doi.org/10.5220/0011901900003405 -
7
المؤلفون: Jan Hoffmann, Donald Sannella, Ulrich Schöpp
المصدر: Mathematical Structures in Computer Science. 32:682-684
مصطلحات موضوعية: Mathematics (miscellaneous), Computer Science Applications
-
8
المؤلفون: Ulrich Schöpp, Jason Z. S. Hu, Brigitte Pientka
مصطلحات موضوعية: FOS: Computer and information sciences, Computational Mathematics, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, General Computer Science, Logic, F.4.1, Logic in Computer Science (cs.LO), Programming Languages (cs.PL), Theoretical Computer Science
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6174a5aa65d3b1f67b668518b0891f51
http://arxiv.org/abs/2206.02831 -
9
المؤلفون: Jan Hoffmann, Donald Sannella, Ulrich Schöpp
المصدر: Mathematical Structures in Computer Science. 31:950-952
مصطلحات موضوعية: Mathematics (miscellaneous), Computer Science Applications
-
10
المؤلفون: Ulrich Schöpp, Chuangjie Xu
المصدر: Programming Languages and Systems ISBN: 9783031210365
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6696d824ac7842e5c2a8b671e46edf8c
https://doi.org/10.1007/978-3-031-21037-2_3