6 citations
- 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
3 papers
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…
cs.SE2021★ 6 cited
Grey Literature in Software Engineering: A Critical Review
Fernando Kamei, Igor Wiese, Crescencio Lima +8
Context: Grey Literature (GL) recently has grown in Software Engineering (SE) research since the increased use of online communication channels by software engineers. However, ther…
cs.SE2010★ 4 cited
The Emerging Web of Social Machines
Silvio R. L. Meira, Vanilson A. A. Buregio, Leandro M. Nascimento +4
We define a notion of social machine and envisage an algebra that can describe networks of such. To start with, social machines are defined as tuples of input, output, processes, c…