61
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Alcino Cunha ; Carlos Baquero ; Paulo Silva ; Barbosa, LS ; Oliveira, JN ;
SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680, PUBLISHED: 2011
INDEXED IN: Scopus WOS DBLP CrossRef: 5
62
TITLE: Privacy Preserving Gate Counting with Collaborative Bluetooth Scanners
AUTHORS: Nelson Goncalves; Rui Jose ; Carlos Baquero ;
SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PUBLISHED: 2011
INDEXED IN: Scopus WOS DBLP CrossRef: 1
63
TITLE: Dependability in Aggregation by Averaging PDF
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
SOURCE: CoRR, VOLUME: abs/1011.6596, PUBLISHED: 2010
INDEXED IN: DBLP arXiv
IN MY: DBLP
64
TITLE: Dotted Version Vectors: Logical Clocks for Optimistic Replication PDF
AUTHORS: Nuno M. Preguiça; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
SOURCE: CoRR, VOLUME: abs/1011.5808, PUBLISHED: 2010
INDEXED IN: DBLP arXiv
IN MY: DBLP
65
TITLE: Fault-Tolerant Aggregation for Dynamic Networks  Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PUBLISHED: 2010
INDEXED IN: Scopus WOS DBLP CrossRef: 12
66
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PUBLISHED: 2010
INDEXED IN: Scopus WOS DBLP CrossRef: 20
67
TITLE: Fast Estimation of Aggregates in Unstructured Networks
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Raquel Menezes ;
SOURCE: 5th International Conference on Autonomic and Autonomous Systems in ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, PUBLISHED: 2009
INDEXED IN: Scopus WOS DBLP CrossRef: 9
68
TITLE: Fault-Tolerant Aggregation by Flow Updating
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
SOURCE: 9th International Conference on Distributed Applications and Interoperable Systems in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCESSINGS, VOLUME: 5523, PUBLISHED: 2009
INDEXED IN: Scopus WOS DBLP CrossRef: 9
69
TITLE: Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination
AUTHORS: Pedro Sousa; Nuno Preguica ; Carlos Baquero ;
SOURCE: 15th International Workshop on Groupware - Design, Implementation, and Use in GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 5784, PUBLISHED: 2009
INDEXED IN: Scopus WOS DBLP CrossRef: 1
70
TITLE: Probabilistic Estimation of Network Size and Diameter
AUTHORS: Jorge C S Cardoso; Carlos Baquero ; Paulo Sergio Almeida ;
SOURCE: 4th Latin-American Symposium on Dependable Computing in LADC: 2009 4TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, PUBLISHED: 2009
INDEXED IN: Scopus WOS DBLP CrossRef: 12
Page 7 of 9. Total results: 87.