Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642197178, 9783642197185
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Linear Absolute Value Relation Analysis

2011 ◽  
pp. 156-175 ◽  
Author(s):  
Liqian Chen ◽  
Antoine Miné ◽  
Ji Wang ◽  
Patrick Cousot
Keyword(s):  
Absolute Value ◽  
Relation Analysis

scholarly journals Improving Strategies via SMT Solving

2011 ◽  
pp. 236-255 ◽  
Author(s):  
Thomas Martin Gawlitza ◽  
David Monniaux
Keyword(s):  
Smt Solving

scholarly journals Measure Transformer Semantics for Bayesian Machine Learning

2011 ◽  
pp. 77-96 ◽  
Author(s):  
Johannes Borgström ◽  
Andrew D. Gordon ◽  
Michael Greenberg ◽  
James Margetson ◽  
Jurgen Van Gael
Keyword(s):  
Machine Learning ◽  
Bayesian Machine Learning

scholarly journals Biochemical Reaction Rules with Constraints

2011 ◽  
pp. 338-357 ◽  
Author(s):  
Mathias John ◽  
Cédric Lhoussaine ◽  
Joachim Niehren ◽  
Cristian Versari
Keyword(s):  
Biochemical Reaction

scholarly journals Secure the Clones

2011 ◽  
pp. 317-337 ◽  
Author(s):  
Thomas Jensen ◽  
Florent Kirchner ◽  
David Pichardie
Load More ...
Sign in / Sign up

Export Citation Format

Share Document