Giuseppe Della Penna

Author

Also Known As

Della Penna, Giuseppe, G. Della Penna, GIUSEPPE DELLA PENNA, Giuseppe Della Penna, Giuseppe Della Penna, Penna, Giuseppe Della

Publications

748

Citations

H-Index

Concepts

All Affiliations

University of L'Aquila University of Rome Tor Vergata Sapienza University of Rome University of Chieti-Pescara

About

Giuseppe Della Penna is an author at University of L'Aquila specializing in engineering, computer science, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	14	407
2	Computer Science	9	9	305
3	Management	2	2	23
4	Social Sciences	1	1	48
5	Computer Engineering	1	1	28

Giuseppe Della Penna

Publications

417

Citations

H-Index

Page 1

	Year	Citations
UPMurphi: A Tool for Universal Planning on PDDL+ Problems Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Proceedings of the International Conference on Automated Planning and Scheduling Mathematical ProgrammingEngineeringModel CheckingFormal VerificationTrajectory Planning	2009	105
A universal planning system for hybrid domains Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio Applied Intelligence EngineeringAi PlanningHeuristic PlanningDesignAutomation	2011	48
Exploiting transition locality in automatic verification of finite-state concurrent systems Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, International Journal on Software Tools for Technology Transfer EngineeringProgram AnalysisAutomated ReasoningVerificationConcurrency Theory	2004	47
A probabilistic approach to automatic verification of concurrent systems Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, EngineeringVerificationComputer-aided VerificationConcurrent SystemModel Checking	2005	28
Finite horizon analysis of Markov Chains with the Murϕ verifier Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, International Journal on Software Tools for Technology Transfer EngineeringEntropyHidden Markov ModelStochastic ProcessesMarkov Kernel	2006	27
Synchronized regular expressions Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Acta Informatica EngineeringString-searching AlgorithmComputational LinguisticsCombinatorial Pattern MatchingFormal Methods	2003	22
Visual extraction of information from web pages Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice Journal of Visual Languages & Computing EngineeringInformation RetrievalData ScienceSemantic WebData Extraction	2009	21
Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO-11) Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Robotic SystemsEngineeringAutomationIndustrial RoboticsIntelligent Robotics	2011	20
Feature Selection Strategies for HTTP Botnet Traffic Detection Ivan Letteri, Giuseppe Della Penna, Pasquale Caianiello Feature Selection StrategiesDdos DetectionEngineeringMachine LearningData Science	2019	20
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis International Journal of High Performance Computing and Networking EngineeringMachine LearningInformation SecurityIot SecuritySoftware Defined Security	2019	19

Page 1