PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Duque, Jorge García"

Author of the publication

copydeleteadd this publication to your clipboard
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.

, , , , , , , and . J. Log. Comput., 16 (2): 227-255 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rebeca Duque Estrada Almeida Araujo University of Stuttgart

Dr. Venancio Martinez Garcia University of Stuttgart

Francisco Costa Garcia University of Stuttgart

Braulio Jesús Garcia Ayala University of Stuttgart

Lourdes Mira-Marceli Garcia University of Stuttgart

 

Other publications of authors with the same name

SCORM and Social Recommendation: A Web 2.0 Approach to E-learning., , , , , and . Recommender Systems for the Social Web, volume 32 of Intelligent Systems Reference Library, Springer, (2012)Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks., , , , and . IEEE Communications Magazine, 46 (12): 108-111 (2008)On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications., , , , , , and . Information & Software Technology, 50 (4): 296-321 (2008)MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs., , , , , and . ICALT, page 617-619. IEEE Computer Society, (2008)Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV., , , , , and . SIGMAP, page 217-221. INSTICC Press, (2007)An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts., , , and . APSEC, page 38-45. IEEE Computer Society, (2004)REENACT: Augmented Reality and Collective Role Playing to Enhance the Pedagogy of Historical Events - An EXPERIMEDIA Experiment., , , , , and . SIGMAP, page 111-118. SciTePress, (2013)Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements., , and . COORDINATION, volume 4038 of Lecture Notes in Computer Science, page 164-178. Springer, (2006)Tracing Integration Analysis in Component-Based Formal Specifications., , , , , , , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 147-162. Springer, (2005)Multi-valued Model Checking in Dense-Time., , , , , , , and . ECSQARU, volume 3571 of Lecture Notes in Computer Science, page 638-649. Springer, (2005)