Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dominic Duggan, Jianhua Yao 0003 |
Parameterized Dataflow (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 63-81, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith |
MELA: Modelling in Ecology with Location Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 82-97, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Cheng Feng |
Location Aggregation of Spatial Population CTMC Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 30-43, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort |
Evaluating load balancing policies for performance and energy-efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 98-117, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth |
Sound Probabilistic #SAT with Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 15-29, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Tribastone, Herbert Wiklicky (eds.) |
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Logical Characterization of Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 44-62, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Simon Laursen, Martin Zimmermann 0002 |
Limit Your Consumption! Finding Bounds in Average-energy Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Mirco Tribastone (eds.) |
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Jane Hillston |
Efficient Checking of Individual Rewards Properties in Markov Population Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 32-47, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matias David Lee, Erik P. de Vink |
Rooted branching bisimulation as a congruence for probabilistic transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 79-94, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Mieke Massink, Erik P. de Vink |
A Definition Scheme for Quantitative Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 63-78, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mads Rosendahl, Maja H. Kirkeby |
Probabilistic Output Analysis by Program Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 110-124, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 |
Semiring-based Specification Approaches for Quantitative Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 95-109, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Kawamoto 0001, Thomas Given-Wilson |
Quantitative Information Flow for Scheduler-Dependent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 48-62, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink |
CARMA: Collective Adaptive Resource-sharing Markovian Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 16-31, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Marco Bernardo 0001 |
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 1-15, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Luca Bortolussi (eds.) |
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Francois Kempf, Olivier Lebeltel, Oded Maler |
Formal and Informal Methods for Multi-Core Design Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., pp. 78-92, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan, Marco Peressotti |
GSOS for non-deterministic processes with quantitative aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., pp. 17-33, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer 0001, Bernd Becker 0001, Holger Hermanns |
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., pp. 48-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni |
Stochastically timed predicate-based communication primitives for autonomic computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., pp. 1-16, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Feng 0004 |
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., pp. 64-77, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Spieler, Ernst Moritz Hahn, Lijun Zhang 0001 |
Model Checking CSL for Markov Population Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., pp. 93-107, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Max Tschaikowski, Mirco Tribastone |
Extended Differential Aggregations in Process Algebra for Performance and Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., pp. 34-47, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
Probabilistic Concurrent Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 97-115, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Tranquilli |
Indexed Labels for Loop Iteration Dependent Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 19-33, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Herbert Wiklicky (eds.) |
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Philippe Schnoebelen |
Solving Stochastic Büchi Games on Infinite Decisive Arenas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 116-131, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Schuppan |
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 49-65, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Han 0001, Christian Krause 0001, Marta Z. Kwiatkowska, Holger Giese |
Modal Specifications for Probabilistic Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 66-80, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tri Minh Ngo, Marieke Huisman |
Quantitative Security Analysis for Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 34-48, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi |
Preserving differential privacy under finite-precision semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 1-18, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arjun Arul, Julien Reichert |
The Complexity of Robot Games on the Integer Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 132-148, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Rocco De Nicola, Michele Loreti |
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 81-96, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro |
Efficient computation of exact solutions for quantitative model checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 17-32, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Vashti Galpin, Jane Hillston |
Hybrid performance modelling of opportunistic networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 106-121, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Wiklicky, Mieke Massink (eds.) |
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi, Marco Stronati |
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 92-105, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 122-136, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang 0005 |
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 1-16, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hirotoshi Yasuoka, Tachio Terauchi |
Quantitative Information Flow as Safety and Liveness Hyperproperties ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 77-91, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi |
A non-local method for robustness analysis of floating point programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 63-76, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elise Cormie-Bowins, Franck van Breugel |
Measuring Progress of Probabilistic LTL Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 33-47, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio |
Automated Verification of Quantum Protocols using MCMAS ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 48-62, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Rutkowski |
Two-Player Reachability-Price Games on Single-Clock Timed Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 31-46, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Time Delays in Membrane Systems and Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 47-60, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf |
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 1, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Joseph Assouramou, Josée Desharnais |
Analysis of Non-Linear Probabilistic Hybrid Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 104-119, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Tracol, Josée Desharnais, Abir Zhioua |
Computing Distances between Probabilistic Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 148-162, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
Real-Reward Testing for Probabilistic Processes (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 61-73, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Florian Leitner-Fischer, Stefan Leue |
QuantUM: Quantitative Safety Analysis of UML Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 16-30, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mieke Massink, Gethin Norman (eds.) |
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen |
Distances for Weighted Transition Systems: Games and Properties ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 134-147, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lei Song 0001, Flemming Nielson, Bo Friis Nielsen |
A Stochastic Broadcast Pi-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 74-88, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Seidel, Janis Voigtländer |
Improvements for Free ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 89-103, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Vashti Galpin, Jane Hillston |
HYPE with stochastic events ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., pp. 120-133, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina |
Stochastic Calculus of Wrapped Compartments ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 82-98, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Damián Barsotti, Nicolás Wolovick |
Automatic Probabilistic Program Verification through Random Variable Abstraction ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 34-47, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Quantitative Fairness Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 48-63, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Cachera, Arnaud Jobin |
Injecting Abstract Interpretations into Linear Cost Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 64-81, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini |
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Karine Altisen, Yanhong Liu, Matthieu Moy |
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 16-33, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley |
A new tool for the performance analysis of massively parallel computer systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 159-181, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Frank Ortmeier |
Probabilistic Model-Based Safety Analysis ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 114-128, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Gethin Norman (eds.) |
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Georgievska, Suzana Andova |
Testing Reactive Probabilistic Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 99-113, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe, Sven Schewe |
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 144-158, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ukachukwu Ndukwu, Annabelle McIver |
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010., pp. 129-143, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro |
From Biochemistry to Stochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 167-185, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amar Aissani |
An MX/G/1 Energetic Retrial Queue with Vacations and it's Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 33-44, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anya Tafliovich, Eric C. R. Hehner |
Programming with Quantum Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 99-118, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 3-23, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro, Pedro R. D'Argenio |
On the Expressive Power of Schedulers in Distributed Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 45-71, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Montalto, Carlos Caleiro |
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 143-165, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Maria Grazia Vigliotti |
CoBiC: Context-dependent Bioambient Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 187-201, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel |
Exploiting non-Markovian Bio-Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 83-98, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Wenjie Du |
The Kantorovich Metric in Computer Science: A Brief Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 73-82, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Alessandra Di Pierro |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 1-2, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu, David Clark 0001 |
An Interval-based Abstraction for Quantifying Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 119-141, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fahrenberg, Kim Guldstrand Larsen |
Discounting in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 25-31, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Alessandra Di Pierro (eds.) |
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky |
Relational Analysis and Precision via Probabilistic Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 23-42, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Evan Tzanis, Robin Hirsch |
Probabilistic Logic over Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 79-96, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Faella, Axel Legay, Mariëlle Stoelinga |
Model Checking Quantitative Linear Time Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 61-77, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jinjin Zhang, Zhaohui Zhu |
A Behavioural Pseudometric based on lambda-Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 115-127, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Trcka, Sonja Georgievska |
Branching Bisimulation Congruence for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 129-143, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Christel Baier |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 1-3, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi |
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 163-180, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath |
Modelling Intracellular Fate of FGF Receptors With BioAmbients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 181-197, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. A. Smith |
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 43-59, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Ochoa, Germán Puebla |
Oracle-Based Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 145-161, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Game-Based Probabilistic Predicate Abstraction in PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 5-21, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan M. Lambert, James F. Power |
Platform Independent Timing of Java Virtual Machine Bytecode Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 97-113, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Christel Baier (eds.) |
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ashok Argent-Katwala, Jeremy T. Bradley |
PEPA Queues: Capturing Customer Behaviour in Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007, pp. 3-25, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
On Probabilistic Techniques for Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007, pp. 59-77, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Varacca, Nobuko Yoshida |
Probabilistic pi-Calculus and Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007, pp. 147-166, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tom Chothia, Jun Pang 0001, Muhammad Torabi Dashti |
Keeping Secrets in Resource Aware Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007, pp. 79-94, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002 |
Co-Algebraic Models for Quantitative Spatial Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007, pp. 43-58, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|