dblp.uni-trier.dewww.uni-trier.de

Christian Servin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3 Christian Servin, Martine Ceberio: Cascade Vulnerability Problem Simulator Tool. MSV 2008: 227-231
2 Carlos Acosta, Martine Ceberio, Christian Servin: A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers. Software Engineering Research and Practice 2008: 232-237
1EEPaulo Pinheiro da Silva, Vladik Kreinovich, Christian Servin: Maximum Entropy in Support of Semantically Annotated Datasets. URSW 2008

Coauthor Index

1Carlos Acosta [2]
2Martine Ceberio [2] [3]
3Vladik Kreinovich [1]
4Paulo Pinheiro da Silva [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)