◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Universidade Católica de Pernambuco

Brazil

3 papers here10 citations across 3
fields
  • cs.SE2
  • cs.LO1
ROR 02ktfmz27OpenAlex

affiliations via OpenAlex

output
20102026
most citedGrey Literature in Software Engineering: A Critical Review

6 citations

researchers with a paper here
  • Bruno Cartaxo1 · h 14
  • Bruno P. Encarnação1 · h 2
  • Carolline Pena1 · h 2
  • C. Olarte1 · h 13
  • Crescencio Rodrigues Lima Neto1 · h 6
  • Elaine G. M. de Figueiredo1 · h 1
  • Elaine Pimentel1 · h 1
  • F. Kamei1 · h 8
  • G. Pinto1 · h 29
  • Ivanilton Polato1 · h 8
  • I. Wiese1 · h 24
  • L. Nascimento1 · h 7
collaborating institutions
  • Centre National de la Recherche ScientifiqueFR1 paper
  • Instituto Federal da BahiaBR1 paper
  • Instituto Federal de Educação, Ciência e Tecnologia de PernambucoBR1 paper
  • Laboratoire de physique des lasersFR1 paper
  • Laboratoire d'Informatique de Paris-NordFR1 paper
  • Sorbonne UniversitéFR1 paper
  • Universidade de PernambucoBR1 paper
  • Universidade Federal de AlagoasBR1 paper
  • Universidade Federal de PernambucoBR1 paper
  • Universidade Federal do ParáBR1 paper
  • Universidade Tecnológica Federal do ParanáBR1 paper
  • Université Sorbonne Paris NordFR1 paper
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Efficient Decision Procedures for RNmatrix Semantics

Renato R. Leme, Carlos Olarte, Elaine Pimentel

Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.