Mamede Lima-Marques

11 papers A* 1B 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2017 J jnl
Society semantics and the logic way to collective intelligence.
J. Appl. Non Class. Logics
Walter Carnielli, Mamede Lima-Marques
2011 — conf
Compression of touchless multiview fingerprints.
BioMS
Nelson C. Francisco, Alexandre Zaghetto, Bruno Macchiavello, Eduardo A. B. da Silva, Mamede Lima-Marques, Nuno M. M. Rodrigues, Sérgio M. M. de Faria
2010 — conf
Enterprise Architecture - State of the Art and Challenges.
ICEIS (3)
Jorge Cordeiro Duarte, Mamede Lima-Marques
2010 — conf
Frameworks for Understanding the Changing Role of Informations Systems in Organizations.
ICEIS (3)
Jorge Cordeiro Duarte, Mamede Lima-Marques
2006 — conf
An Architecture of Authoring Environments for the Semantic Web.
ELPUB
Edgard Costa Oliveira, Mamede Lima-Marques
2005 — conf
Generating security event correlation rules through k-means clustering.
ICETE
Nelson Uto, Helen Teixeira, Andre Blazko, Marcos Ferreira de Paula, Renata Cicilini Teixeira, Mamede Lima-Marques
2005 B conf
Quality of Service Control in IP Networks Using Fuzzy Logic for Policy Condition Evaluation.
FUZZ-IEEE
Raulison Alves Resende, Nadia A. Nassif, Marcos A. de Siqueira, Ademilson E. da Silva, Mamede Lima-Marques
1992 — conf
Implementing Prolog Extensions: a Parallel Inference Machine.
FGCS
Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques
1992 J jnl
Reasoning under Inconsistent Knowledge.
J. Appl. Non Class. Logics
Walter Alexandre Carnielli, Mamede Lima-Marques
1991 A* conf
Contextual Negations and Reasoning with Contradictions.
IJCAI
Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques
1991 — conf
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming.
PDK
Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling