TS Phạm Văn Trung

Liên hệ

Lý lịch khoa học

Các công bố khoa học

Ấn phẩm12

1. 1 Libor Bartor, Michael Kompatscher, Miroslav Olšák, Phạm Văn Trung, Michael Pinsker, Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures, Journal of Mathematical Logic, 19, (2019), 1950010 (2019)
2. 2 Kompatscher Michael, Olšák Miroslav, Libor Bartor, Phạm Văn Trung, Pinsker Michael, The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems., 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 12 pp NJ, 2017. (2018)
3. 3 Kompatscher Michael, Phạm Văn Trung, A complexity dichotomy for poset constraint satisfaction, Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications 5 (2018), no. 8, 1663–1695 (2018)
4. 4 Manuel Bodirsky, Peter Jonsson, Phạm Văn Trung, The complexity of phylogeny constraint satisfaction problems, ACM Transactions on Computational Logic, 18(2017), 23:1–23:42 (2017)
5. 5 Manuel Bodirsky, Peter Jonsson, Phạm Văn Trung, The Reducts of the Homogeneous Binary Branching C-relation, Journal of Symbolic Logic, 81 (2016),1255-1297 (2016)
6. 6 Kevin Perrot, Phạm Văn Trung, Chip-firing game and a partial Tutte polynomial for eulerian digraphs, The Electronic Journal of Combinatorics, 23(1) (2016) (2016)
7. 7 Phạm Văn Trung, Orbits of rotor-router operation and stationary distribution of random walks on directed graphs, Advances in Applied Mathematics 70 (2015) 45-53 (2015)
8. 8 Kevin Perrot, Phạm Văn Trung, Feedback arc set problem and NP-hardness of minimum recurrent configuration problem of Chip-firing game on directed graphs, Annals of Combinatorics, 19 (2015), 373-396 (2015)
9. 9 Formenti Enrico, Phạm Văn Trung, Phan Thị Hà Dương, Trần Thị Thu Hương, Fixed-point forms of the parallel symmetric sandpile model, Theoretical Computer Science 533 (2014), 1–14 (2014)
10. 10 Phạm Văn Trung, Phan Thị Hà Dương, Lattices generated by Chip Firing Game models: Criteria and recognition algorithms, European Journal of Combinatorics, 34 (2013), 812 - 832. (2013)
11. 11 Le Manh Ha, Phạm Văn Trung, Phan Thị Hà Dương, A polynomial-time algorithm for reachability problem of a subclass of Petri net and Chip Firing Games, IEEE-RIVF International Conference on Computing, 2012 (2012)
12. 12 Kevin Perrot, Phan Thị Hà Dương, Phạm Văn Trung, On the set of Fixed Points of the Parallel Symmetric Sand Pile Model Automata 2011, DMTCS: Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems (2012)