Publications

Export 32 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
Journal Article
[1530] Fraca, E, Haddad S.  2015.  Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
[1288] Recalde, L, Haddad S, Silva M.  2010.  Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
[AtHiLuMa06] Athreya, KB, Hitchcock JM, Lutz JH, Mayordomo E.  2007.  Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
0 icon
esdaicc.pdf
[HiLuMa05] Hitchcock, JM, Lutz JH, Mayordomo E.  2005.  The fractal geometry of complexity classes. SIGACT News. 36:24-38.
0 icon
fgcc.pdf
[HerMay94] Hermo, M, Mayordomo E.  1994.  A note on polynomial size circuits with low resource bounded Kolmogorov complexity. Mathematical Systems Theory. 27:247-356.
0 icon
94_HM_MST.ps
[1406] Holanda, HJA, Merseguer J, Cordeiro G, Serra AB.  2010.  Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
application/pdf icon
J4.pdf
[ARMoHaSeSi05] Moreaux, P, Haddad S, Sereno M, Silva M.  2005.  Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
0 icon
science.pdf
[HiLuMaSDNC] Hitchcock, JM, Lutz JH, Mayordomo E.  2004.  Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.
0 icon
sdnc.ps
[sdkcthsR] Hitchcock, JM, López-Valdés M, Mayordomo E.  2008.  Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
[1425] Mayordomo, E, Ferreira F, Hyland M, L\"owe B.  2012.  Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
Conference Paper
[BaHeMa92] Balcázar, JL, Hermo M, Mayordomo E.  1992.  Characterizations of logarithmic advice complexity classes. :315-321.
0 icon
92_BHM_IFIP.ps
[IPHRRS01] Hillston, J, Recalde L, Ribaudo M, Silva M.  2001.  A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
0 icon
01_HRRS_PNPM.ps
[1462] Fraca, E, Haddad S.  2013.  Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
application/pdf icon
ICATPN-2013.pdf
[IPReHaSi07] Recalde, L, Haddad S, Silva M.  2007.  Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
[RP-93-38] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for resource management. :61-72.
[RP-93-21] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for ressource management. :15-26.
[ESDAICC] Athreya, KB, Hitchcock JM, Lutz JH, Mayordomo E.  2004.  Effective Strong Dimension in Algorithmic Information and Computational Complexity. 2996:632-643.
[RP-89-13] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
[IPHaReSi06] Haddad, S, Recalde L, Silva M.  2006.  On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
0 icon
TRHaReSi06.pdf
[1284] Heiner, M, Mahulea C, Silva M.  2010.  On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
[RP-84-03] Pardos, P, Silva M.  1984.  A robot programming and control system. :92-97.
[HiLuMaSDNCb] Hitchcock, JM, Lutz JH, Mayordomo E.  2003.  Scaled dimension and non uniform complexity. 2719:278-290.
[HiLoMa04] Hitchcock, JM, López-Valdés M, Mayordomo E.  2004.  Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
[RP-81-07] Martínez, J, Silva M.  1981.  A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
[915] Tricas, F, Colom JM, Ezpeleta J.  1999.  A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.