Phase transition phenomena in wireless ad hoc networks B Krishnamachari, SB Wicker, R Bejar GLOBECOM'01. IEEE Global Telecommunications Conference (Cat. No. 01CH37270 …, 2001 | 267 | 2001 |
Sensor networks and distributed CSP: Communication, computation and complexity R Bejar, C Domshlak, C Fernández, C Gomes, B Krishnamachari, ... Artificial Intelligence 161 (1-2), 117-147, 2005 | 120 | 2005 |
Critical density thresholds in distributed wireless networks B Krishnamachari, SB Wicker, R Bejar, M Pearlman Communications, information and network security, 279-296, 2003 | 100 | 2003 |
Distributed constraint satisfaction in a wireless sensor tracking system R Bejar, B Krishnamachari, C Gomes, B Selman Workshop on Distributed Constraint Reasoning, International Joint Conference …, 2001 | 87 | 2001 |
Communication and computation in distributed CSP algorithms C Fernandez, R Béjar, B Krishnamachari, C Gomes International Conference on Principles and Practice of Constraint …, 2002 | 72 | 2002 |
Solving the round robin problem using propositional logic R Béjar, F Manya AAAI/IAAI, 262-266, 2000 | 66 | 2000 |
On the complexity of distributed self-configuration in wireless networks B Krishnamachari, S Wicker, R Bejar, C Fernandez Telecommunication systems 22, 33-59, 2003 | 65 | 2003 |
A modular reduction of regular logic to classical logic R Béjar, R Hahnle, F Manya Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 221-226, 2001 | 47 | 2001 |
Automated monitoring of medical protocols: a secure and distributed architecture T Alsinet, C Ansótegui, R Béjar, C Fernández, F Manyà Artificial Intelligence in Medicine 27 (3), 367-392, 2003 | 38 | 2003 |
Weighted argumentation for analysis of discussions in Twitter T Alsinet, J Argelich, R Béjar, C Fernández, C Mateu, J Planes International Journal of Approximate Reasoning 85, 21-35, 2017 | 36 | 2017 |
Distributed problem solving and the boundaries of self-configuration in multi-hop wireless networks B Krishnamachari, R Béjar, S Wicker Proceedings of the 35th Annual Hawaii International Conference on System …, 2002 | 35 | 2002 |
A Multi-agent system architecture for monitoring medical protocols T Alsinet, R Béjar, C Fernanadez, F Manyà Proceedings of the fourth international conference on Autonomous agents, 499-505, 2000 | 35 | 2000 |
The satisfiability problem in regular CNF-formulas F Manya, R Béjar, G Escalada-Imaz Soft Computing 2, 116-123, 1998 | 34 | 1998 |
Phase transitions in the regular random 3-SAT problem R Béjar, F Manya Foundations of Intelligent Systems: 11th International Symposium, ISMIS’99 …, 1999 | 28 | 1999 |
Capturing structure with satisfiability R Béjar, A Cabiscol, C Fernàndez, F Manyà, C Gomes Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 25 | 2001 |
Solving combinatorial problems with regular local search algorithms R Béjar, F Manya Logic for Programming and Automated Reasoning: 6th International Conference …, 1999 | 25 | 1999 |
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics T Alsinet, R Béjar, L Godo, F Guitart Journal of Logic and Computation 26 (4), 1315-1360, 2016 | 18 | 2016 |
Edge matching puzzles as hard SAT/CSP benchmarks C Ansótegui, R Béjar, C Fernàndez, C Mateu Principles and Practice of Constraint Programming: 14th International …, 2008 | 18 | 2008 |
A comparison of systematic and local search algorithms for regular CNF formulas R Béjar, F Manya European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 1999 | 18 | 1999 |
Generating highly balanced sudoku problems as hard problems C Ansótegui, R Béjar, C Fernández, C Gomes, C Mateu Journal of Heuristics 17, 589-614, 2011 | 16 | 2011 |