BibSonomy :: author  ::

bookmarks

publications

(45)

• Model checking algorithms for the µ-calculus.
  Sergey Berezin and Edmund M. Clarke and Somesh Jha and Will Marrero Proof, Language, and Interaction 309-338 (2000)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• Overall A-optimal balanced incomplete block designs
  Osvaldo Marrero and Damaraju Raghavarao Journal of Statistical Planning and Inference 21 125--127 (1989)
  to A-efficiency Overall by smicha on 2008-04-23 22:05:04
  | URL | BibTeX  
• Income taxes, public investment and welfare in a growing economy
  Gustavo A. Marrero and Alfonso Novales Journal of Economic Dynamics and Control 31 3348--3369 (2007)
  to Income taxes by smicha on 2008-04-22 15:17:45
  | URL | BibTeX  
• Dynamic interconnection of Ad-Hoc nodes based on the type of service to be accessed.
  Domingo Marrero Marrero and Elsa M. Macías and Alvaro Suárez Sarmiento ICWN 539-545 (2005)
  to dblp by dblp on 2008-02-15 00:00:00
  | URL | BibTeX  
• Dynamic Traffic Regulation for WiFi Networks.
  Domingo Marrero Marrero and Elsa María Macías López and Álvaro Suárez Sarmiento World Congress on Engineering 1512-1517 (2007)
  to dblp by dblp on 2008-02-15 00:00:00
  | URL | BibTeX  
• From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded Systems.
  Justyna Zander-Nowicka and Abel Marrero Pérez and Ina Schieferdecker Software Engineering Research and Practice 347-353 (2007)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• Testing first: emphasizing testing in early programming courses
  Will Marrero and Amber Settle ITiCSE '05: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education 4--8 (2005)
  to TDD XP by wiljami74 and 1 other person on 2008-01-15 14:14:56
  | URL | BibTeX  
• A High Quality/Low Computational Cost Technique for Block Matching Motion Estimation
  Sebastián López and Gustavo Marrero Callicó and José Francisco López and Roberto Sarmiento CoRR abs/0710.4819 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Low-cost implementation of a super-resolution algorithm for real-time video applications.
  Sebastián López and Gustavo Marrero Callicó and José Francisco López and Roberto Sarmiento and Antonio Núñez ISCAS (6) 6130-6133 (2005)
  to dblp by dblp on 2007-12-03 00:00:00
  | URL | BibTeX  
• Testing first: emphasizing testing in early programming courses.
  Will Marrero and Amber Settle ITiCSE 4-8 (2005)
  to dblp by dblp and 1 other person on 2007-08-27 00:00:00
  | URL | BibTeX