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 cs.AIShow all
2 papers · 1 filter
cs.AI2018★ 6 cited
On Cryptographic Attacks Using Backdoors for SAT
Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov +2
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number…
cs.AI2013★ 5 cited
Ontology alignment repair through modularization and confidence-based heuristics
Emanuel Santos, Daniel Faria, Cátia Pesquita +1
Ontology Matching aims to find a set of semantic correspondences, called an alignment, between related ontologies. In recent years, there has been a growing interest in efficient a…