Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(94)
Antonio Gatto
7
Alessandro Nicoletti
6
Ottavio Vitelli
5
Donato Rigante
4
Giuseppina Marrone
4
Conferences
(4)
SEFM
2
OOPSLA
1
FORTE
1
TAP
1
Journals
(12)
SCAND J UROL NEPHROL
7
UROL INT
3
PEDIAT NEPHROL
2
SIGPLAN
1
EAAI
1
Keywords
(100)
Embed
Subscribe
Academic
Authors
Pietro Ferrara
Pietro Ferrara,Swiss Federal Institute of Technology Zurich,Urology,Software Engineering,Programming Languages
Edit
Pietro Ferrara
Swiss Federal Institute of Technology Zurich
Publications:
35
|
Citations:
166
Fields:
Urology
,
Software Engineering
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
94 co-authors
from 1992 to 2012
|
Cited by
533 authors
Cumulative
Annual
Sort by:
Publications
(35)
BibTeX
|
RIS
|
RefWorks
Download
SAILS: static analysis of information leakage with sample
Matteo Zanioli
,
Pietro Ferrara
,
Agostino Cortesi
Published in 2012.
Static Type Analysis of Pattern Matching by Abstract Interpretation
Pietro Ferrara
Conference:
Formal Techniques for Networked and Distributed Systems - FORTE
, pp. 186-200, 2010
Vulvar Pyoderma Gangrenosum in a Child
(
Citations: 3
)
SIMON GARCOVICH
,
ANTONIO GATTO
,
PIETRO FERRARA
,
ANTONIO GARCOVICH
Journal:
Pediatric Dermatology - PEDIAT DERMATOL
, vol. 26, no. 5, pp. 629-631, 2009
Polythelia: Still a marker of urinary tract anomalies in children?
(
Citations: 3
)
Pietro Ferrara
,
Valentina Giorgio
,
Ottavio Vitelli
,
Antonio Gatto
,
Valerio Romano
,
Francesca Del Bufalo
,
Alessandro Nicoletti
Journal:
Scandinavian Journal of Urology and Nephrology - SCAND J UROL NEPHROL
, vol. 43, no. 1, pp. 47-50, 2009
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs
(
Citations: 2
)
Pietro Ferrara
,
ETH Zurich
Conference:
Conference on Software Engineering and Formal Methods - SEFM
, pp. 169-178, 2009
Sort by:
Citations
(166 times by 153 publications)
Protective Effects of Steroids in Cardiac Surgery: A Meta-Analysis of Randomized Double-Blind Trials
(
Citations: 2
)
Giangiuseppe Cappabianca
,
Crescenzia Rotunno
,
Luigi de Luca Tupputi Schinosa
,
V. Marco Ranieri
,
Domenico Paparella
Journal:
Journal of Cardiothoracic and Vascular Anesthesia - J CARDIOTHORAC VASC ANESTH
, vol. 25, no. 1, pp. 156-165, 2011
The Reduced Product of Abstract Domains and the Combination of Decision Procedures
Patrick Cousot
,
Radhia Cousot
,
Laurent Mauborgne
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 456-472, 2011
An experimental investigation of the expression of genericity in English, Spanish and Brazilian Portuguese
Tania Ionin
,
Silvina Montrul
,
Hélade Santos
Journal:
Lingua
, vol. 121, no. 5, pp. 963-985, 2011
Hyperoxaluria: a gut–kidney axis?
Stef Robijn
,
Bernd Hoppe
,
Benjamin A Vervaet
,
Patrick C D'Haese
,
Anja Verhulst
Journal:
Kidney International - KIDNEY INT
, vol. 80, no. 11, pp. 1146-1158, 2011
Biomarkers to guide perioperative management
Mark Edwards
,
John Whittle
,
Gareth L Ackland
Journal:
Postgraduate Medical Journal - POSTGRAD MED J
, vol. 87, no. 1030, pp. 542-549, 2011
Comments