Publications
] Filters: First Letter Of Last Name is F [Clear All Filters]
[1441] .
2012. CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
[1455] .
2013. EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
[PFMBC-JCST-13] .
2013. Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[PCFB-LAT-13] .
2013. Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[FeLuMaWUS] .
1995. Weakly Useful Sequences. 944:393-404.
[FeLuMaRe05] .
2005. Weakly useful sequences. Information and Computation. 197:41-54.
[1425] .
2012. Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
[1431] .
2013. Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
[1297] .
2012. Inseparability and Strong Hypotheses for Disjoint NP Pairs. Theory of Computing Systems. 51:229-247.
[1302] .
2010. Inseparability and Strong Hypotheses for Disjoint NP Pairs. Twenty-Seventh Symposium on Theoretical Aspects of Computer Science (STACS'10).
[1296] .
2011. On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
[1529] .
2014. The bound Reaching Problem on the Fluidization of Timed Petri Nets. 12th Int. Workshop on Discrete Event Systems.
[1462] .
2013. Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
[1496] .
2012. Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th International Workshop on Discrete Event Systems (WODES’12). :21-27.
[1500] .
2014. On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
[1503] .
2014. Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
[1530] .
2015. Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
[1531] .
2015. Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
[1251] .
2009. Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[IPTeFrDe99] .
1999. Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[03_TFP_IToSE] .
2003. Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
