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 2011Show all
3 papers · 1 filter
cs.PL2011
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
Paulo Moura, Artur Miguel Dias
We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of \textsl{alphabets}, the definition of \textsl{orders} ove…
cs.DC2011★ 14 cited
Fast Distributed Computation of Distances in Networks
Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
This paper presents a distributed algorithm to simultaneously compute the diameter, radius and node eccentricity in all nodes of a synchronous network. Such topological information…
math.DS2011★ 3 cited
Explosion of smoothness for conjugacies between multimodal maps
Jose F. Alves, Vilton Pinheiro, Alberto A. Pinto
Let and be smooth multimodal maps with no periodic attractors and no neutral points. If a topological conjugacy between and is at a point in the nearby…