2017, 21 (3)

{{t.download}}

Editorial

Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes.

Computación y Sistemas

Action Models with Postconditions

Mario Benevides, Isaque Macalam Saab Lima.

Computación y Sistemas

{{t.card.abstract}} [

Branching Path Planning with Modal Logics

Everardo Bárcenas, Edgard Benítez-Guerrero, Antonio Benitez, Jorge de la Calleja, Ma. Auxilio Medina.

Computación y Sistemas

{{t.card.abstract}} [

{{t.card.abstract}} [

Low-Exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs

José A. Hernández-Servín, J. Raymundo Marcial-Romero, Guillermo De Ita Luna.

Computación y Sistemas

{{t.card.abstract}} [

{{t.card.abstract}} [

{{t.card.abstract}} [

Modelo para la generación automática de pruebas tempranas basadas en búsquedas

Martha Dunia Delgado Dapena, Arloys Macías Rojas, Danay Larrosa Uribazo, Sandra Verona Marcos, Perla Beatriz Fernández Oliva.

Computación y Sistemas

{{t.card.abstract}} [ {{t.card.spanish}}]

{{t.card.abstract}} [

Semantic-based Reconstruction of User’s Interests in Distributed Systems

Corinne Amel Zayan, Leila Ghorbel, Ikram Amous, Manel Mezghani, André Péninou, Florence Sèdes.

Computación y Sistemas

{{t.card.abstract}} [