11
TITLE: Integrated approach for modeling acoustic propagation and projectors/hydrophones electronics
AUTHORS: Viegas, Ruben; Pozzatti, Daniel; Zabel, Friedrich; Silva, Antonio J.;
PUBLISHED: 2022, SOURCE: OCEANS Hampton Roads Conference in 2022 OCEANS HAMPTON ROADS, VOLUME: 2022-October
INDEXED IN: Scopus WOS
12
TITLE: GRASPER: constraint reasoning with graphs
AUTHORS: Viegas, RD; Azevedo, FA;
PUBLISHED: 2010, SOURCE: International Journal of Reasoning-based Intelligent Systems, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus CrossRef
13
TITLE: Lazy Constraint Imposing for Improving the Path Constraint
AUTHORS: Viegas, RD; Azevedo, F;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 253, ISSUE: 4
INDEXED IN: Scopus CrossRef
14
TITLE: Using Indexed Finite Set Variables for Set Bounds Propagation
AUTHORS: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
INDEXED IN: Scopus WOS CrossRef
15
TITLE: Architectural design via declarative programming
AUTHORS: Luis Moniz Pereira ; Ruben Duarte Viegas;
PUBLISHED: 2007, SOURCE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, VOLUME: AIDSS
INDEXED IN: Scopus WOS DBLP
16
TITLE: GRASPER - (A framework for graph constraint satisfaction problems)
AUTHORS: Ruben Viegas; Francisco Azevedo;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXED IN: WOS
Page 2 of 2. Total results: 16.