Yazar: Agostino Cortesi

Destek
Rituparna Chaki is an Associate Professor in the A K Choudhury School of Information Technology, University of Calcutta, India since June 2013. She joined academia as faculty member in the West Bengal University of Technology in 2005. Before that she has served under Government of India in maintaining industrial production database. Rituparna has done her Ph D from Jadavpur University in 2002. She has been associated in organizing many conferences in India and abroad as Program Chair, OC Chair or as member of Technical Program Committee. She has published more than 60 research papers in reputed journals and peer-reviewed conference proceedings. Her research interest is primarily in Ad-hoc networking and its security. She is a professional member of IEEE and ACM. Agostino Cortesi received his Ph D degree in Applied Mathematics and Informatics from University of Padova, Italy, in 1992. After spending a post-doc at Brown University, in the US, he joined the Ca” Foscari University of Venice. In 2002, he was promoted to full professor of Computer Science. In recent past, he served as Dean of the Computer Science programme, as Department Chair, and as Vice-Rector of Ca” Foscari University for quality assessment and institutional affairs. His main research interests concern programming languages theory, software engineering, and static analysis techniques, with particular emphasis on security applications. He has published over 100 papers in high level international journals and proceedings of international conferences. His h-index is 15 according to Scopus, and 23 according to Google Scholar. Agostino served several times as a member (or chair) of program committees of international conferences (e.g., SAS, VMCAI, CSF, CISIM, ACM SAC) and he is in the editorial boards of the journals such as “Computer Languages, Systems and Structures” and “Journal of Universal Computer Science”. Khalid Saeed received the BSc Degree in Electrical and Electronics Engineering from Baghdad University in 1976, the MSc and Ph D Degrees from Wroclaw University of Technology, in Poland in 1978 and 1981, respectively. He received his DSc Degree (Habilitation) in Computer Science from Polish Academy of Sciences in Warsaw in 2007. He is a Professor of Computer Science with AGH University of Science and Technology in Poland. He has published more than 200 publications – edited 23 books, Journals and Conference Proceedings, 8 text and reference books. He supervised more than 110 MSc and 12 Ph D theses. His areas of interest are Biometrics, Image Analysis and Processing and Computer Information Systems. He gave 39 invited lectures and keynotes in different universities in Europe, China, India, South Korea and Japan. The talks were on Biometric Image Processing and Analysis. He received about 18 academic awards. Khalid Saeed is a member of more than 15 editorial boards of international journals and conferences. He is an IEEE Senior Member and has been selected as IEEE Distinguished Speaker for 2011-2016. Khalid Saeed is the Editor-in-Chief of International Journal of Biometrics with Inderscience Publishers. Nabendu Chaki is a Senior Member of IEEE and Professor in the Department Computer Science & Engineering, University of Calcutta, India. Besides editing several volumes in Springer in LNCS and other series, Nabendu has authored three textbooks with reputed publishers like Taylor and Francis (CRC Press), Pearson Education, etc. Dr. Chaki has published more than 120 refereed research papers in Journals and International conferences. His areas of research interests include image processing, distributed systems, and network security. Dr. Chaki has also served as a Research Assistant Professor in the Ph D program in Software Engineering in U.S. Naval Postgraduate School, Monterey, CA. He is a visiting faculty member for many Universities including the University of Ca’Foscari, Venice, Italy. Dr. Chaki has contributed in SWEBOK v3 of the IEEE Computer Society as a Knowledge Area Editor for Mathematical Foundations. Besides being in the editorial board of Springer and many international journals, he has also served in the committees of more than 50 international conferences. He is the founding Chapter Chair for ACM Professional Chapter in Kolkata, India since January 2014.




27 Ebooks tarafından Agostino Cortesi

Soumya Sen & Agostino Cortesi: Hyper-lattice Algebraic Model for Data Warehousing
This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and p …
PDF
İngilizce
€53.49
Nabendu Chaki & Agostino Cortesi: Computer Information Systems – Analysis and Technologies
This book constitutes the refereed proceedings of the 10th International Conference on Computer Information Systems, CISIM 2011, held in Kolkata, India, in December 2011. The 30 revised full papers p …
PDF
İngilizce
DRM
€91.62
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held …
PDF
İngilizce
€53.49
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held …
PDF
İngilizce
€96.29
Rituparna Chaki & Khalid Saeed: Advanced Computing and Systems for Security
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August …
PDF
İngilizce
€53.49
Rituparna Chaki & Khalid Saeed: Advanced Computing and Systems for Security
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August …
PDF
İngilizce
€53.49
Nabendu Chaki & Agostino Cortesi: Proceedings of International Conference on Computational Intelligence and Data Engineering
The book presents high quality research work in cutting edge technologies and most-happening areas of computational intelligence and data engineering. It contains selected papers presented at Interna …
PDF
İngilizce
€213.99
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
This book contains extended version of selected works that have been discussed and presented in the fourth International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2017) hel …
PDF
İngilizce
€96.29
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
The book includes extended versions of selected papers discussed and presented at the 5th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2018) held in Kolkata, Ind …
PDF
İngilizce
€96.29
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
The book includes extended versions of selected papers discussed and presented at the 5th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2018) held in Kolkata, Ind …
PDF
İngilizce
€53.49
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
This book features extended versions of selected papers that were presented and discussed at the 6th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2019) held in K …
PDF
İngilizce
€53.49
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
This book features extended versions of selected papers that were presented and discussed at the 6th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2019) held in K …
PDF
İngilizce
€53.49
Paul D. Attie & Agostino Cortesi: Verification, Model Checking, and Abstract Interpretation
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpo …
PDF
İngilizce
DRM
€57.90
Agostino Cortesi & Gilberto File: Static Analysis
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming lang …
PDF
İngilizce
DRM
€57.74
Nabendu Chaki & Agostino Cortesi: Computer Information Systems and Industrial Management
This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. Th …
PDF
İngilizce
DRM
€58.04
Rituparna Chaki & Agostino Cortesi: Computer Information Systems and Industrial Management
This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013, held in Cracow, Poland, in September 2013. The 44 papers presented in this volume were carefully revi …
PDF
İngilizce
DRM
€57.61
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
This book features extended versions of selected papers that were presented and discussed at the 7th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2020), held in …
PDF
İngilizce
€53.49
Rituparna Chaki & Agostino Cortesi: Advanced Computing and Systems for Security
This book features extended versions of selected papers that were presented and discussed at the 7th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2020) held in K …
PDF
İngilizce
€96.29
Rituparna Chaki & Nabendu Chaki: Advanced Computing and Systems for Security: Volume 14
This book features extended versions of selected papers that were presented and discussed at the 8th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2021), held in …
PDF
İngilizce
€106.99
Rituparna Chaki & Nabendu Chaki: Advanced Computing and Systems for Security: Volume 13
This book features extended versions of selected papers that were presented and discussed at the 8th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2021), held in …
PDF
İngilizce
€117.69
Nabendu Chaki & Nagaraju Devarakonda: Proceedings of International Conference on Computational Intelligence and Data Engineering
This book covers various topics, including collective intelligence, intelligent transportation systems, fuzzy systems, Bayesian network, ant colony optimization, data privacy and security, data minin …
PDF
İngilizce
€181.89
Rituparna Chaki & Agostino Cortesi: Applied Computing for Software and Smart Systems
This book features a collection of high-quality research papers presented at the 9th International Symposium on Applied Computing for Software and Smart systems (ACSS 2022), to be held during Septemb …
PDF
İngilizce
€213.99
Nabendu Chaki & Nagaraju Devarakonda: Proceedings of International Conference on Computational Intelligence and Data Engineering
This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and data engineering. It includes selected papers from …
PDF
İngilizce
€234.33
Vincenzo Arceri & Agostino Cortesi: Challenges of Software Verification
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy …
PDF
İngilizce
€149.79
Rituparna Chaki & Nabendu Chaki: Applied Computing for Software and Smart Systems
This book features a collection of high-quality research papers presented at the 10th International Symposium on Applied Computing for Software and Smart systems (ACSS 2023), to be held during Septem …
PDF
İngilizce
€181.89
Agostino Cortesi: Space Data Management
The book presents latest results pertaining to challenges faced by researchers in space data management. There are large number of highly important applications that currently rely upon data from sat …
PDF
İngilizce
€171.19