742 citations
- Universidade do PortoPT149 papers
- University of MinhoPT47 papers
- University of LisbonPT20 papers
- University of AveiroPT18 papers
- Polytechnic Institute of PortoPT17 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT16 papers
- University of Beira InteriorPT16 papers
- Institute for Systems Engineering and ComputersPT13 papers
- University of CoimbraPT13 papers
- Carnegie Mellon UniversityUS12 papers
- Universidade PortucalensePT10 papers
- Instituto Superior TécnicoPT9 papers
Showing 2012Show all
3 papers · 1 filter
cs.PL2012★ 11 cited
Towards Multi-Threaded Local Tabling Using a Common Table Space
Miguel Areias, Ricardo Rocha
Multi-threading is currently supported by several well-known Prolog systems providing a highly portable solution for applications that can benefit from concurrency. When multi-thre…
cs.SE2012★ 20 cited
Bounded Model Checking of Temporal Formulas with Alloy
Alcino Cunha
Alloy is formal modeling language based on first-order relational logic, with no specific support for specifying reactive systems. We propose the usage of temporal logic to specify…
cs.DC2012
Spectra: Robust Estimation of Distribution Functions in Networks
Miguel Borges, Paulo Jesus, Carlos Baquero +1
Distributed aggregation allows the derivation of a given global aggregate property from many individual local values in nodes of an interconnected network system. Simple aggregates…