55 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of LisbonPT25 papers
- Instituto Superior TécnicoPT7 papers
- Instituto de TelecomunicaçõesPT5 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- University of ConnecticutUS2 papers
- University of EdinburghGB2 papers
- Aalborg UniversityDK1 paper
- Algarve Biomedical CenterPT1 paper
- Battery ParkUS1 paper
- Boreskov Institute of CatalysisRU1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Friedrich-Alexander-Universität Erlangen-NürnbergDE1 paper
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 42 cited
Efficient Certified Resolution Proof Checking
Luís Cruz-Filipe, Joao Marques-Silva, Peter Schneider-Kamp
We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstra…
cs.NI2016★ 3 cited
Consistent and fault-tolerant SDN with unmodified switches
André Mantas, Fernando M. V. Ramos
In a reliable SDN environment, different controllers coordinate different switches and backup controllers can be set in place to tolerate faults. This approach increases the challe…