Time Window Temporal Logic
Cristian-Ioan Vasile, Derya Aksaray, and Calin Belta. Time Window Temporal Logic. Theoretical Computer Science, 691(Supplement C), pages 27–54, August 2017. doi:10.1016/j.tcs.2017.07.012.
Cristian-Ioan Vasile, Derya Aksaray, and Calin Belta. Time Window Temporal Logic. Theoretical Computer Science, 691(Supplement C), pages 27–54, August 2017. doi:10.1016/j.tcs.2017.07.012.
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, and Calin Belta. Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints. Autonomous Robots, page 1-16, 2016. doi:10.1007/s10514-015-9519-z.
Cristian-Ioan Vasile, Mac Schwager, and Calin Belta. Translational and Rotational Invariance in Networked Dynamical Systems. IEEE Transactions on Control of Network Systems, 5(3):822-832, September 2018. doi:10.1109/TCNS.2017.2648499.
Cristian-Ioan Vasile and Alexandru Constantinescu. On the quotient criterion. Gazeta Matematica, CX(9):420–422, 2005. in Romanian.
Cristian-Ioan Vasile and Catalin Buiu. A software system for collaborative robotics applications and its application in particle swarm optimization implementations. Applied Soft Computing, 11(8):5498–5507, December 2011. if=2.084, doi:10.1016/j.asoc.2011.05.009.
Ana Brândusa Pavel and Cristian Ioan Vasile. PyElph – a Software Tool for Gel Images Analysis and Phylogenetics. BMC Bioinformatics, 13(9), January 2012. if=3.03, doi:10.1186/1471-2105-13-9 (Open Access).
Catalin Buiu, Cristian-Ioan Vasile, and Octavian Arsene. Development of membrane controllers for mobile robots. Information Sciences, 187:33–51, March 2012. if=2.833, doi:10.1016/j.ins.2011.10.007.
Cristian-Ioan Vasile, Ana Brândusa Pavel, Ioan Dumitrache, and Gheorghe Paun. On the Power of Enzymatic Numerical P Systems. Acta Informatica, 49(6):395–412, September 2012. if=0.809, doi:10.1007/s00236-012-0166-y.
Cristian-Ioan Vasile, Ana Brândusa Pavel, and Ioan Dumitrache. Universality of Enzymatic Numerical P Systems. International Journal of Computer Mathematics (special issue: Membrane Computing), 90(4), February 2013. if=0.589, doi: 10.1080/00207160.2012.748897.