المؤلفون: Tarrach, Thorsten, Ebrahimi, Masoud, König, Sandra, Schmittner, Christoph, Bloem, Roderick, Nickovic, Dejan

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2210.03207

المؤلفون: Butler, Michael, Dghaym, Dana, Hoang, Thai Son, Omitola, Tope, Snook, Colin, Fellner, Andreas, Schlick, Rupert, Tarrach, Thorsten, Fischer, Tomas, Tummeltshammer, Peter

المصدر: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2019 24th International Conference on. :97-106 Nov, 2019

Relation: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)

المؤلفون: Christl, Korbinian, Tarrach, Thorsten

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2107.09986

المؤلفون: Tarrach, Thorsten^Aff10, Ebrahimi, Masoud^Aff11, König, Sandra^Aff10, Schmittner, Christoph^Aff10, Bloem, Roderick^Aff11, Ničković, Dejan^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Guiochet, Jérémie, editor^Aff7, Tonetta, Stefano, editor^Aff8, Bitsch, Friedemann, editor^Aff9

المصدر: Computer Safety, Reliability, and Security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings. 14181:135-148

المؤلفون: Fellner, Andreas, Tarrach, Thorsten, Weissenbacher, Georg

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/1911.06355

المؤلفون: Fellner, Andreas^{Aff10, Aff11}, Tarrach, Thorsten^Aff10, Weissenbacher, Georg^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Beyer, Dirk, editor^Aff8, Zufferey, Damien, editor^Aff9

المصدر: Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings. 11990:314-336

المؤلفون: Černý, Pavol, Clarke, Edmund M., Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Samanta, Roopsha, Tarrach, Thorsten

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1511.07163

المؤلفون: Černý, Pavol, Clarke, Edmund M., Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Samanta, Roopsha, Tarrach, Thorsten

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1505.04533

المؤلفون: Papp, Dorottya^{Aff10, Aff11}, Tarrach, Thorsten^Aff11, Buttyán, Levente^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Ölveczky, Peter Csaba, editor^Aff8, Salaün, Gwen, editor^Aff9

المصدر: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. 11724:491-509

المؤلفون: Černý, Pavol, Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Tarrach, Thorsten

المصدر: Computer Aided Verification, Lecture Notes in Computer Science Volume 8559, 2014, pp 568-584

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1407.3681