BibSonomy :: author  ::

bookmarks

publications

(81)

• Symbolic Model Checking
  Edmund M. Clarke and Kenneth L. McMillan and S{\'e}rgio Vale Aguiar Campos and Vassili Hartonas-Garmhausen Computer Aided Verification, 8th International Conference, CAV '96, Proceedings 419-427 (1996)
  to cites.ref mrefs state.unclassified by msn and 2 other people on 2008-08-17 17:02:50
  | BibTeX  
• The Verus Language: Representing Time Efficiently with BDDs.
  Sérgio Vale Aguiar Campos and Edmund M. Clarke ARTS 64-78 (1997)
  to dblp by dblp on 2008-07-16 00:00:00
  | URL | BibTeX  
• OMEN - A New Paradigm for Optimal Network Mobility.
  Pedro Vale Pinheiro and Fernando Boavida WWIC 115-126 (2008)
  to dblp by dblp on 2008-05-23 00:00:00
  | URL | BibTeX  
• Effects on unemployment of reduced working time in an economy where firms set wages
  Michael Hoel and Bent Vale European Economic Review 30 1097--1104 (1986)
  to imported by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Scale economies, bank mergers, and electronic payments: A spline function approach
  David B. Humphrey and Bent Vale Journal of Banking \& Finance 28 1671--1696 (2004)
  to Economies of scale by smicha on 2008-04-22 13:53:19
  | URL | BibTeX  
• Endogenous product differentiation in credit markets: What do borrowers pay for?
  Moshe Kim and Eirik Gaard Kristiansen and Bent Vale Journal of Banking \& Finance 29 681--699 (2005)
  to Banking by smicha on 2008-04-22 13:53:19
  | URL | BibTeX  
• Power distribution automation and object-oriented agents.
  Orlando Sousa and Zita A. Vale and Carlos Ramos and José Neves KES 297-300 (2000)
  to dblp by dblp on 2008-02-06 00:00:00
  | URL | BibTeX  
• A new algorithm for cluster analysis of genomic methylation: the Helicobacter pylori case.
  F. F. Vale and P. Encarnação and J. M. B. Vítor Bioinformatics 24 383-388 (2008)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• Virtual Power Producers Integration Into Mascem.
  Isabel Praça and Hugo Morais and Marílio Cardoso and Carlos Ramos and Zita A. Vale Virtual Enterprises and Collaborative Networks 291-298 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Scalable media streaming to interactive users.
  Marcus M. Rocha and Marcelo Maia and Ítalo S. Cunha and Jussara M. Almeida and Sérgio Vale Aguiar Campos ACM Multimedia 966-975 (2005)
  to dblp by dblp on 2007-07-18 00:00:00
  | URL | BibTeX