We are a small group of researchers associated with the Mathematics and Computer Science Department of the West University of Timişoara and the e-Austria Research Institute. We are interested in Theoretical Computer Science at large, with a special focus on:
- algorithms: classical, approximation, probabilistic
- game theory (mostly of multiagent systems on networks)
- combinatorial models of complex systems
- logic and its connection with symbolic computation and computational complexity
- automated theorem proving (yes, we know it’s not really Theoretical Computer Science :))
- formal languages and its relation with XML processing
A list of venues that have recently accepted/published our papers includes conferences such as AAMAS, ICALP, FSCD, ESA, SAT, IPEC, CPM, SFLP, ICTAC, SCSC, MCU, LATA, WRLA, DCFS, ACRI, AMINSE, FROM, and journals such as Journal of Symbolic Computation, Information and Computation, Theoretical Computer Science, Theory and Practice of Logic Programming, Mathematical Structures in Computer Science, The Journal of Supercomputing, Discrete Applied Mathematics, Discrete Mathematics and Theoretical Computer Science, Information Processing Letters, Physica A.
In the past ten years we have coauthored papers with people affiliated with institutions from Austria, Brasil, France, Georgia, Germany, Hungary, Japan, Portugal, Spain, United States and, of course, Romania. The list of our coauthors includes:
James Aisenberg, Mauricio Ayala-Rincón, Andrada Băban, Janos Balogh, Alin Brândușescu, Maria-Luisa Bonet, Samuel Buss, Carlos Camino, Karthekeyan Chandrasekaran, Larissa Davidova, Volker Diekert, Diana Diniș, Besik Dundua, Mario Florido, Claudiu Gatina, Elena Grigorescu, Tetsuo Ida, Eva Kaslik, Shubhang Kulkarni, Temur Kutsia, Young-San Lin, Madhav V. Marathe, Mohamed Najim, Zoltan Neda, Cleopatra Pau, S.S. Ravi, Vlad Rochian, Florin Roșu, Géraud Sénizergues, Georgiana Șurlea, Ioan Todinca, Flavius Turcu, Szerena Ujvari, Minshen Zhu.
To all of them our warmest thanks.
LATEST NEWS (earlier news)
- January 2021: A Happy New Year to all of you. Our paper Models We Can Trust: Towards a Systematic Discipline of Model Interpretation and Validation has been accepted to the Blue Sky Track of AAMAS’2021.
- December 2020: Our IPEC 2020 paper has just appeared in LIPICS. In a couple of days one of our coauthors, Young-San Lin from Purdue University, will present the paper at the online joint IPEC & ISAAC conference. Check out the video associated to his presentation.
- September 2020: A paper of ours has just been accepted at IPEC.
- August 2020: Here is our paper, The Maximum Binary Tree Problem, that has just appeared in the proceedings of ESA’2020. Please also note the following video of the paper (the talk is given by one of our coauthors, Young-San Lin from Purdue University):
- June 2020: A paper of ours has appeared in Discrete Mathematics and Theoretical Computer Science. And another paper of ours has been accepted to ESA’2020.
- May 2020: Members of our group participate in the AAMAS’2020 conference, held virtually. Here is our conference video and paper, as published in the proceedings.