Navegar

Colección

Datos Estadísticas

Lista de

Set theory
10
"Atomic partition of the optical rotatory power of methylhydroperoxide" (2008) Sánchez, M.;Ferraro, M.B.;Alkorta, I. (...)Sauer, S.P.A. Journal of Chemical Physics. 128(6)
"Partial characterizations of clique-perfect graphs I: Subclasses of claw-free graphs" (2008) Bonomo, F.; Chudnovsky, M.; Durán, G. Discrete Applied Mathematics. 156(7):1058-1082
"Turing's unpublished algorithm for normal numbers" (2007) Becher, V.; Figueira, S.; Picchi, R. Theoretical Computer Science. 377(1-3):126-138
"Algorithms for clique-independent sets on subclasses of circular-arc graphs" (2006) Durán, G.; Lin, M.C.; Mera, S.; Szwarcfiter, J.L. Discrete Applied Mathematics. 154(13 SPEC ISS):1783-1790
"NP-completeness results for edge modification problems" (2006) Burzyn, P.; Bonomo, F.; Durán, G. Discrete Applied Mathematics. 154(13 SPEC ISS):1824-1844
"Numeric vs. symbolic homotopy algorithms in polynomial system solving: A case study" (2005) De Leo, M.; Dratman, E.; Matera, G. Festschrift for the 70th Birthday of Arnold Schonhage. 21(4):502-531
"Recursion and topology on 2≤ω for possibly infinite computations" (2004) Becher, V.; Grigorieff, S. Theoretical Computer Science. 322(1 SPEC ISS):85-136
"An example of a computable absolutely normal number" (2002) Becher, V.; Figueira, S. Theoretical Computer Science. 270(1-2):947-958
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522
"On improving backwards verification of timed automata (extended abstract)" (2002) Braberman, V.; López Pombo, C.; Olivero, A. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). 65(6):60-67