Authors: Latella, Diego, Massink, Mieke

Contributors: Herbert Wiklicky, Erik de Vink

Superior Title: In: QAPL 2017 - Quantitative Aspects of Programming Languages and Systems (Uppsala, Sweden, 23 aprile 2017). Proceedings, pp. 92 - 110. Herbert Wiklicky, Erik de Vink (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 250). Open Publish

Subject Terms: Collective Adaptive Systems, Probabilistic model-checking, On-the-fly model-checking, Mean-field approximation, Discrete time Markov chains, Bisimilarity, info:eu-repo/classification/acm/B.8.2 PERFORMANCE AND RELIABILITY. Performance Analysis and Design Aids, info:eu-repo/classification/acm/D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, info:eu-repo/classification/acm/F.3.1 LOGICS AND MEANINGS OF PROGRAMS. Specifying and Verifying and Reasoning about Programs, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS, info:eu-repo/classification/msc/39-XX Difference and functional equations, info:eu-repo/classification/msc/60Jxx Markov processes

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL; info:eu-repo/semantics/altIdentifier/url/http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL17.6; info:eu-repo/semantics/altIdentifier/isbn/2075-2180 (ISSN)

Availability: https://doi.org/10.4204/EPTCS.250.6
http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2017-A2-020
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2017-A2-020/2017-A2-020.pdf

Authors: Ancherbak, Sergiy, Kuruoglu, Ercan Engin, Vingron, Martin

Superior Title: In: Recognizing the Relevance of Change: Analysis and Control of Time-evolving Networks in Epidemiology and Evolutionary Medicine (Berlin, Germany, 20-22 July 2015). Abstract, article n. 5. CECAM, 2015.

Subject Terms: Gene interaction networks, Time varying networks, Sequential Monte Carlo, Particle filtering, info:eu-repo/classification/acm/J.3 LIFE AND MEDICAL SCIENCES. Biology and genetics, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS. Time series analysis, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS. Probabilistic algorithms (including Monte Carlo), info:eu-repo/classification/msc/62M10 Time series, auto-correlation, regression, etc., info:eu-repo/classification/msc/62F15 Bayesian inference, info:eu-repo/classification/msc/92D10 Genetics, info:eu-repo/classification/msc/90B15 Network models, stochastic

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://www.cecam.org/workshop-4-1215.html?presentation_id=14220

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-A6-004
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2015-A6-004/2015-A6-004.pdf

Authors: Germanese, Danila, Righi, Marco, Magrini, Massimo, Guidi, Massimo, D'Acunto, Mario, Salvetti, Ovidio

Contributors: Sergey Yurish, Winfried Vonau, Irinela Chilibon

Superior Title: In: SENSORDEVICES 2016 - The Seventh International Conference on Sensor Device Technologies and Applications (Nice, France, 24-28 July 2016). Proceedings, pp. 77 - 82. Sergey Yurish, Winfried Vonau, Irinela Chilibon. IARIA, 2016.

Subject Terms: Breath Analysis, Portable device, Chemical sensors, Statistical Data Processing, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS, info:eu-repo/classification/msc/35D99 None of the above, but in this section

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/611516/EU/SEMEiotic Oriented Technology for Individual's CardiOmetabolic risk self-assessmeNt and Self-monitoring/SEMEOTICONS; info:eu-repo/semantics/altIdentifier/url/https://thinkmind.org/index.php?view=article&articleid=sensordevices_2016_6_10_20053; info:eu-repo/semantics/altIdentifier/isbn/978-1-61208-494-7

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2016-A2-035
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2016-A2-035/2016-A2-035.pdf

Authors: Ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

Contributors: J.M. Atlee, S. Gnesi

Superior Title: In: FMSPLE'15 - 6th International Workshop on Formal Methods for Software Product Line Engineering (London, UK, 11 April 2015). Proceedings, pp. 56 - 70. J.M. Atlee, S. Gnesi (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 182). EPTC

Subject Terms: Software Product Lines, Probabilistic Models, Quantitative Analysis, Statistical Model Checking, Process Algebra, Maude, MultiVeStA, info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Formal Methods, info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Model checking, info:eu-repo/classification/acm/F.3.1 Specifying and Verifying and Reasoning about Programs, info:eu-repo/classification/acm/F.3.2 Semantics of Programming Languages, info:eu-repo/classification/acm/G.3 Probability and Statistics

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL; info:eu-repo/semantics/altIdentifier/url/http://eptcs.web.cse.unsw.edu.au/paper.cgi?FMSPLE15.5; info:eu-repo/semantics/altIdentifier/isbn/2075-2180 (ISSN)

Availability: https://doi.org/10.4204/EPTCS.182.5
http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-A2-011
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2015-A2-011/2015-A2-011.pdf

Authors: Cesari, Rita, Paradisi, Paolo

Superior Title: In: 4th International Conference on Mathematical Modeling in Physical Sciences (Mykonos, Greece, 5-8 June 2015). Proceedings, article n. 012082. IOP, 2015.

Subject Terms: Vegetated canopies, Turbulent transport, Lagrangian Stochastic Model, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS. Stochastic processes

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://iopscience.iop.org/article/10.1088/1742-6596/633/1/012082/meta

Availability: https://doi.org/10.1088/1742-6596/633/1/012082
http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-A2-084
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2015-A2-084/2015-A2-084.pdf

Authors: Resta, Giovanni, Galli-Resta, Lucia, Falsini, Benedetto, Rossi, Giuseppe, Piccardi, Marco, Ziccardi, Lucia, Fadda, Antonello, Minnella, Angelo, Marangoni, Dario, Placidi, Giorgio, Campagna, Francesca, Abed, Edoardo, Bertelli, Matteo, Zuntini, Monia

Superior Title: In: Investigative Ophthalmology & Visual Science, vol. 57 (8) pp. 3579 - 3768. -, 2016.

Subject Terms: visual acuity, focal ERG, cone?rod dystrophy, info:eu-repo/classification/acm/G.3 Probability and Statistics, info:eu-repo/classification/acm/J.3 LIFE AND MEDICAL SCIENCES

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/issn/1552-5783

Availability: https://doi.org/10.1167/iovs.15-18313
http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.iit/cnr.iit/2016-A0-001
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.iit/cnr.iit/2016-A0-001/2016-A0-001.pdf

Authors: Muino, Jose M., Kuruoglu, Ercan Engin, Arndt, Peter F.

Superior Title: In: BMTL - Workshop Bringing Maths to Life (Napoli, 27-29 October 2014). Abstract, pp. 43 - 43. Pan European Networks, 2014.

Subject Terms: Cancer genome, Poisson law, Power law, Pareto law, Kataegis, info:eu-repo/classification/acm/J.3 LIFE AND MEDICAL SCIENCES. Biology and genetics, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS. Distribution functions, info:eu-repo/classification/msc/92D10 Genetics, info:eu-repo/classification/msc/60K20 Applications of Markov renewal processes, info:eu-repo/classification/msc/46N60 Applications in biology and other sciences

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7//EU/Sviluppo di una piattaforma integrata per l'applicazione delle scienze "omiche" alla definizione dei biomarcatori e profili diagnostici, predittivi e teranostici/Progetto Bandiera InterOmics; info:eu-repo/semantics/altIdentifier/url/http://www.bmtl.it/_downloads/278-Inglese-libro-bmtl.pdf; info:eu-repo/semantics/altIdentifier/isbn/978-88-907318-6-0

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-A6-003
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-A6-003/2014-A6-003.pdf

Authors: Kuruoglu, Ercan Engin, Salas-Gonzalez, Diego, Ruiz, Diego Pablo

Superior Title: In: Valencia International Meeting on Bayesian Statistics (Valencia, Spain, June 1-6 2006).

Subject Terms: Alpha stable distribtions, Mixture distributions, info:eu-repo/classification/acm/G.3 Probability and Statistics. Distribution functions, info:eu-repo/classification/acm/G.3 Probability and Statistics. Probabilistic algorithms (includingMonte Carlo)

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://www.hereuare.com/getArchived.php?q=&rtq=0&d=198277061756

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2006-A3-16
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2006-A3-16/2006-A3-16.pdf

Authors: Massink, Mieke, Ter Beek, Maurice H., Bortolussi, Luca, Ciancia, Vincenzo, Gnesi, Stefania, Hillston, Jane, Latella, Diego, Loreti, Michele, Tribastone, Mirco, Vandin, Andrea

Superior Title: QUANTICOL: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours. Deliverable D3.3, 2017.

Subject Terms: Collective Adaptive Systems, Software Product Line Engineering, Model checking, Mean field analysis, Ordinary Differential Equations, Variability analysis, Markov chains, Modal logic, Spatio-temporal model checking, Family-based model checking, Process algebra, info:eu-repo/classification/acm/B.8.2 PERFORMANCE AND RELIABILITY. Performance Analysis and Design Aids, info:eu-repo/classification/acm/D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, info:eu-repo/classification/acm/D.2.13 SOFTWARE ENGINEERING. Reusable Software, info:eu-repo/classification/acm/F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation, info:eu-repo/classification/acm/F.3.1 LOGICS AND MEANINGS OF PROGRAMS. Specifying and Verifying and Reasoning about Programs, info:eu-repo/classification/acm/F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, info:eu-repo/classification/acm/F.4.1 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Mathematical Logic, info:eu-repo/classification/acm/G.1.7 NUMERICAL ANALYSIS. Ordinary Differential Equations, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL; info:eu-repo/semantics/altIdentifier/url/http://blog.inf.ed.ac.uk/quanticol/files/2017/03/Deliverable-D33.pdf

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2017-EC-004
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2017-EC-004/2017-EC-004.pdf

Authors: Caiafa, Cesar, Kuruoglu, Ercan Engin

Superior Title: In: EUSIPCO - 21st European Signal Processing Conference (Marrakesh, Morocco, 9-13 September 2013). Proceedings, article n. Th-P1.13. EURASIP, 2013.

Subject Terms: Source separation, Dependent component analysis, Method of moments, Fractional order moments, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS. Multivariate statistics, info:eu-repo/classification/msc/62H25 Factor analysis and principal components, correspondence analysis

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://www.eurasip.org/Proceedings/Eusipco/Eusipco2013/index.html

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2013-A2-052
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2013-A2-052/2013-A2-052.pdf

Authors: Bartocci, Ezio, Bortolussi, Luca, Nenzi, Laura, Sanguinetti, Guido

Contributors: Thao Dang, Carla Piazza

Superior Title: In: HSB 2013 - Second International Workshop on Hybrid Systems and Biology (Taormina, 2 Settembre 2013). Proceedings, pp. 3 - 19. Thao Dang, Carla Piazza (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 125). Open Publishing associati

Subject Terms: Robust System Design, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS, info:eu-repo/classification/acm/F.3.1 Specifying and Verifying and Reasoning about Programs, info:eu-repo/classification/acm/I.6.4 Model Validation and Analysis, info:eu-repo/classification/msc/60Jxx Markov processes

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL; info:eu-repo/semantics/altIdentifier/url/http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?HSB2013.1; info:eu-repo/semantics/altIdentifier/isbn/2075-2180 (ISSN)

Availability: https://doi.org/10.4204/EPTCS.125.1
http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2013-A2-071
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2013-A2-071/2013-A2-071.pdf

Authors: Pardini, Carmen, Anselmo, Luciano

Superior Title: In: IAC-2013 - 64th International Astronautical Congress (Beijing, China, 23-27 September 2013). Proceedings, article n. IAC-13-A6.2.9. International Astronautical Federation (IAF), 2013.

Subject Terms: Orbital debris, Catastrophic fragmentation, Collision probability, Cataloged objects, Intact objects, info:eu-repo/classification/acm/J.2 PHYSICAL SCIENCES AND ENGINEERING, info:eu-repo/classification/msc/70M20 Orbital mechanics

File Description: application/pdf

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2013-A2-093
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2013-A2-093/2013-A2-093.pdf

Authors: Legnaioli, Stefano, Lorenzetti, Giulia, Pardini, Lorenzo, Palleschi, Vincenzo, Salerno, Emanuele, Tonazzini, Anna

Contributors: Angelo Guarino

Superior Title: In: Cultural Heritage Istanbul 2011 - 5th International Congress on "Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin" (Istanbul, 22-25 November 2011). Abstract, Angelo Guarino (ed.). Valmar, 2011.

Subject Terms: Paintings Analysis, Hidden Pattern Enhancement, Statistical Analysis, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS, info:eu-repo/classification/acm/I.4.1 Digitization and Image Capture, info:eu-repo/classification/acm/I.4.3 Enhancement

File Description: application/pdf

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2011-A6-008
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2011-A6-008/2011-A6-008.pdf

Authors: Vitale, Davide, Kuruoglu, Ercan Engin, Abul, Osman

Contributors: F. Geraci, R. Marangoni, M. Pellegrini, M.E. Renda

Superior Title: In: BITS 2011 - Bioinformatics Italian Society VIII Annual Meeting (Pisa, Italy, 20-22 Giugno 2011). Abstract, vol. 1 pp. 159 - 159. F. Geraci, R. Marangoni, M. Pellegrini, M.E. Renda (eds.). Edizioni ETS, 2011.

Subject Terms: DNA, Long-range dependence, Cross-correlation between nucleotide triplets, info:eu-repo/classification/acm/J.3 LIFE AND MEDICAL SCIENCES. Biology and genetics, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS. Correlation and regression analysis, info:eu-repo/classification/msc/92D20 Protein sequences, DNA sequences, info:eu-repo/classification/msc/62M10 Time series, auto-correlation, regression, etc.

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-884673069-5

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2011-B6-001
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2011-B6-001/2011-B6-001.pdf

Authors: Ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander, (eds.), .

Superior Title: Research Ideas FMICS-AVoCS 2016 (ISTI-CNR, Pisa, Italy, 26-28 September 2016), Technical report, 2016.

Subject Terms: Formal Methods, Critical Systems, Automated Verification Techniques, Model-based System Analysis, Application and Case Studies, info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Formal methods, info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Model checking, info:eu-repo/classification/acm/D.2.13 Reusable Software. Domain engineering, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS. Markov processes

File Description: application/pdf

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2016-TR-010
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2016-TR-010/2016-TR-010.pdf

Authors: Chen, Quan, Chenchi, Luo, Kuruoglu, Ercan Engin, Yan, Zheng

Contributors: CICED

Superior Title: In: CICED - China International Conference on Electricity Distribution (Guangzhou, China, 10-13 December 2008). Proceedings, pp. 1 - 7. CICED (ed.). Chinese Society for Electrical Engineering, 2008.

Subject Terms: Pricing, Electricity prices, Alpha-stable distirbutions, info:eu-repo/classification/acm/J.4 Social and Behavioral Sciences. Economics, info:eu-repo/classification/acm/G.3 Probability and Statistics. Time series analysis

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://www.ciced2008.org.cn/English/index.htm

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2008-A2-068
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2008-A2-068/2008-A2-068.pdf

Authors: Kuruoglu, Ercan Engin

Superior Title: In: Valencia International Meetings on Bayesian Statistics (Valencia, Spain, June 1-6, 2006).

Subject Terms: Source separation, Astrophysical microwave radiation images, Independent component analysis, Bayesian estimation, Planck satellite mission, info:eu-repo/classification/acm/J.2 Physical Science and Engineering. Astronomy, info:eu-repo/classification/acm/G.3 Probability and Statistics. Probabilistic algorithms (including MonteCarlo), info:eu-repo/classification/acm/I.4.5 Reconstruction

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://www.hereuare.com/getArchived.php?q=&rtq=0&d=198277061756

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2006-A3-15
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2006-A3-15/2006-A3-15.pdf

Authors: Massink, Mieke, Ter Beek, Maurice H., Feng, Cheng, Hillston, Jane, Tribastone, Mirco

Superior Title: QUANTICOL: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours. Deliverable D3.2, 2015.

Subject Terms: Collective Adaptive Systems, Software Product Line Engineering, Model checking, Mean field analysis, Ordinary Differential Equations, Variability analysis, Markov chains, Modal logic, Bisimulation, Process algebra, info:eu-repo/classification/acm/B.8.2 Performance Analysis and Design Aids, info:eu-repo/classification/acm/D.2.4 Software/Program Verification, info:eu-repo/classification/acm/D.2.13 Reusable Software, info:eu-repo/classification/acm/F.1.2 Modes of Computation, info:eu-repo/classification/acm/F.3.1 Specifying and Verifying and Reasoning about Programs, info:eu-repo/classification/acm/F.3.2 Semantics of Programming Languages, info:eu-repo/classification/acm/F.4.1 Mathematical Logic, info:eu-repo/classification/acm/G.1.7 Ordinary Differential Equations, info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL; info:eu-repo/semantics/altIdentifier/url/http://blog.inf.ed.ac.uk/quanticol/files/2015/09/D32Scalability-beyond-population-size-and-quantitative-product.pdf

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-EC-010
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2015-EC-010/2015-EC-010.pdf

Authors: Ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

Superior Title: Technical report, 2015.

Subject Terms: Software Product Lines, Probabilistic Models, Quantitative Constraints, Statistical Model Checking, info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Formal methods, info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Model checking, info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Statistical methods, info:eu-repo/classification/acm/D.2.13 Reusable Software. Domain engineering, info:eu-repo/classification/acm/F.3.2 Semantics of Programming Languages. Process models, info:eu-repo/classification/acm/G.3 Probability and Statistics

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL; info:eu-repo/semantics/altIdentifier/url/http://milner.inf.ed.ac.uk/wiki/pages/J8N4c8/QUANTICOL_Technical_Reports.html

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-TR-026
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2015-TR-026/2015-TR-026.pdf

Authors: Codenotti, Bruno, Resta, Giovanni, Santi, Paolo

Superior Title: In: IEEE Conference on E-Commerce (CEC'03) (Newport Beach (CA) USA, 2003). Proceedings, pp. 331 - 338. IEEE, 2003.

Subject Terms: algorithms, combinatorial auctions, info:eu-repo/classification/acm/G.3 Probability and Statistics

File Description: application/pdf

Availability: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.iit/cnr.iit/2003-A2-004
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.iit/cnr.iit/2003-A2-004/2003-A2-004.pdf