Stefano Bistarelli - Concepedia

Author

Stefano Bistarelli

Also Known As

Bistarelli S, Bistarelli Stefano, Bistarelli, Stafano, Bistarelli, Stefano, Ivan Mercanti, S. Bistarelli, STEFANO BISTARELLI, Stefano Bistarelli

324

Publications

3.6K

Citations

H-Index

101

Concepts

All Affiliations

University of Perugia Institute of Informatics and Telematics University of Chieti-Pescara University of Pisa University of Padua

About

Stefano Bistarelli is an author at University of Perugia specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	34	1.8K
2	Business	6	6	295
3	Language Studies	5	5	142
4	Management	3	3	73
5	Arts	2	2	33

Stefano Bistarelli

Publications

2.4K

Citations

H-Index

Page 1

	Year	Citations
Semiring-based constraint satisfaction and optimization Stefano Bistarelli, Ugo Montanari, Francesca Rossi Journal of the ACM Mathematical ProgrammingEngineeringVerificationSemiring OperationsComputational Complexity	1997	620
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Constraints Programming Language TheoryFormal SpecificationEngineeringAutomated ReasoningAbstract Interpretation	1999	260
Defense trees for economic evaluation of security investments Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti EngineeringInformation SecuritySecurity AssessmentSecurity EvaluationBusiness Analytics	2006	155
Constraint solving over semirings Stefano Bistarelli, Ugo Montanari, Francesca Rossi	1995	138
Semiring-based Constraint Logic Programming: Syntax and semantics Stefano Bistarelli CINECA IRIS Institutial research information system (University of Pisa)	2001	89
Enhancing constraints manipulation in semiring-based formalisms Stefano Bistarelli, Fabio Gadducci CINECA IRIS Institutial research information system (University of Pisa)	2006	62
ConArg: A Constraint-Based Computational Framework for Argumentation Systems Stefano Bistarelli, Francesco Santini EngineeringArgumentation AnalysisComputational ComplexityFormal VerificationConstraint Programming	2011	57
An end-to-end voting-system based on bitcoin Stefano Bistarelli, Marco Mantilacci, Paolo Santancini, EngineeringInformation SecurityDistributed LedgerCryptocurrencyEnd-to-end Voting-system	2017	53
Go with the -Bitcoin- Flow, with Visual Analytics Stefano Bistarelli, Francesco Santini Engineering-Bitcoin- FlowBitcoin FlowsCryptocurrencyPeer-to-peer Payment System	2017	46
Abstracting soft constraints: Framework, properties, examples Stefano Bistarelli, Philippe Codognet, Francesca Rossi Artificial Intelligence Constraint SolvingSoft ConstraintsEngineeringConstraint SatisfactionAutomated Reasoning	2002	44

Page 1