Παρακολούθηση
Matei Popovici
Matei Popovici
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.pub.ro
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Symnet: Scalable symbolic execution for modern networks
R Stoenescu, M Popovici, L Negreanu, C Raiciu
Proceedings of the 2016 ACM SIGCOMM Conference, 314-327, 2016
1722016
Debugging P4 programs with Vera
R Stoenescu, D Dumitrescu, M Popovici, L Negreanu, C Raiciu
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
1112018
Superfluidity: a flexible functional architecture for 5G networks
G Bianchi, E Biton, N Blefari‐Melazzi, I Borges, L Chiaraviglio, ...
Transactions on Emerging Telecommunications Technologies 27 (9), 1178-1186, 2016
752016
In-net: In-network processing for the masses
R Stoenescu, V Olteanu, M Popovici, M Ahmed, J Martins, R Bifulco, ...
Proceedings of the Tenth European Conference on Computer Systems, 1-15, 2015
342015
Dataplane equivalence and its applications
D Dumitrescu, R Stoenescu, M Popovici, L Negreanu, C Raiciu
16th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2019
332019
Symnet: Static checking for stateful networks
R Stoenescu, M Popovici, L Negreanu, C Raiciu
Proceedings of the 2013 workshop on Hot topics in middleboxes and network …, 2013
322013
Exploiting multipath congestion control for fun and profit
M Popovici, C Raiciu
Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 141-147, 2016
112016
Agents with truly perfect recall in alternating-time temporal logic.
N Bulling, W Jamroga, M Popovici
AAMAS 14, 1561-1562, 2014
112014
An ontology-based dynamic service composition framework for intelligent houses
M Popovici, M Muraru, A Agache, L Negreanu, C Giumale, C Dobre
2011 Tenth International Symposium on Autonomous Decentralized Systems, 177-184, 2011
112011
ATL∗ With Truly Perfect Recall: Expressivity and Validities
NBW Jamroga, M Popovici
ECAI 2014: 21st European Conference on Artificial Intelligence 263, 177, 2014
92014
Elemente de tehnologie didactică
G Al, MM Popovici
Bucureşti, EDP, 1983
81983
Modeling ontologies for time-dependent applications
C Giumale, L Negreanu, M Muraru, M Popovici
2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010
62010
ChatGPT in the classroom. Exploring its potential and limitations in a functional programming course
MD Popovici
International Journal of Human–Computer Interaction, 1-12, 2023
52023
A modeling method and declarative language for temporal reasoning based on fluid qualities
M Popovici, M Muraru, A Agache, C Giumale, L Negreanu, C Dobre
Conceptual Structures for Discovering Knowledge: 19th International …, 2011
52011
Using evolution graphs for describing topology-aware prediction models in large clusters
M Popovici
International Workshop on Computational Logic in Multi-Agent Systems, 94-109, 2012
42012
A game-theoretic approach to cooperation in multi-agent systems
M Popovici, C Dobre
Proceedings of the 2nd International Conference on Web Intelligence, Mining …, 2012
42012
A game-theoretic approach to compute stable topologies in mobile ad hoc networks
N Bulling, M Popovici
Journal of Logic and Computation 25 (3), 639-667, 2015
32015
Modeling and proof of event-driven interaction in multi agent systems in Event-B
L Negreanu, M Popovici
2013 19th International Conference on Control Systems and Computer Science …, 2013
32013
Modeling with fluid qualities
C Giumale, L Negreanu, M Muraru, M Popovici, A Agache, C Dobre
Proceedings of the 18th International Conference on Control Systems and …, 2011
32011
Reasoning about strategic abilities: agents with truly perfect recall
N Bulling, W Jamroga, M Popovici
ACM Transactions on Computational Logic (TOCL) 20 (2), 1-46, 2019
22019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20