المؤلفون: Zaharia, Raul, Gavriluţ, Dragoş, Mutu, Gheorghiţă, Lucanu, Dorel

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

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

المؤلفون: Lucanu, Dorel

المصدر: EPTCS 389, 2023, pp. 41-55

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

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

المؤلفون: Crăciun, Vlad, Mogage, Andrei, Lucanu, Dorel

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

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

المؤلفون: Arusoaie, Andrei, Lucanu, Dorel

المصدر: EPTCS 369, 2022, pp. 1-16

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

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

المؤلفون: Lupascu, Marilena, Gavrilut, Dragos Teodor, Lucanu, Dorel

المصدر: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018 20th International Symposium on. :280-287 Sep, 2018

Relation: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Arusoaie, Andrei, Nowak, David, Rusu, Vlad, Lucanu, Dorel

المصدر: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017 19th International Symposium on. :129-136 Sep, 2017

Relation: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Arusoaie, Andrei, Ciobaca, Stefan, Craciun, Vlad, Gavrilut, Dragos, Lucanu, Dorel

المصدر: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017 19th International Symposium on. :161-168 Sep, 2017

Relation: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Ciobâcă, Ştefan, Lucanu, Dorel, Buruiană, Andrei Sebastian

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

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

المؤلفون: Ciobâcă, Ştefan, Lucanu, Dorel, Buruiană, Andrei Sebastian

المصدر: In Journal of Logical and Algebraic Methods in Programming October 2023 135

المؤلفون: Arusoaie, Andrei, Lucanu, Dorel

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

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