A. Lomuscio : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (97)
Les plus populaires
Liste
- Liste
- Tableau

51

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Advances in Symbolic Model Checking for Multi-agent Systems

Lomuscio, Alessio R.

Année:

2014

Langue:

english

Fichier:

PDF, 131 KB

english, 2014

52

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Goal-Driven Composition of Business Process Models

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 269 KB

english, 2014

53

ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS

LOMUSCIO, ALESSIO, STRULO, BEN, WALKER, NIGEL, WU, PENG

Journal:

International Journal of Foundations of Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 342 KB

english, 2013

54

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Towards Value-Driven Business Modelling Based on Service Brokerage

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 574 KB

english, 2014

55

MCMAS: an open-source model checker for the verification of multi-agent systems

Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2017

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2017

56

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Dynamic Adaptation of Business Process Based on Context Changes: A Rule-Oriented Approach

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 7.70 MB

english, 2014

57

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || A Comparison Framework and Review of Service Brokerage Solutions for Cloud Architectures

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 224 KB

english, 2014

58

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Towards a Dynamic Declarative Service Workflow Reference Model

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 316 KB

english, 2014

59

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Testing of Distributed Service-Oriented Systems

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 108 KB

english, 2014

60

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Model-Driven Event Query Generation for Business Process Monitoring

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 323 KB

english, 2014

61

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 349 KB

english, 2014

62

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 227 KB

english, 2014

63

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Towards Self-adaptation Planning for Complex Service-Based Systems

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 1.44 MB

english, 2014

64

[ACM Press the fourth international joint conference - The Netherlands (2005.07.25-2005.07.29)] Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05 - Bounded model checking for knowledge and real time

Woźna, Bozena, Lomuscio, Alessio, Penczek, Wojciech

Année:

2005

Langue:

english

Fichier:

PDF, 450 KB

english, 2005

65

[ACM Press the 6th international joint conference - Honolulu, Hawaii (2007.05.14-2007.05.18)] Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07 - A quantified epistemic logic for reasoning about multiagent systems

Belardinelli, F., Lomuscio, A.

Année:

2007

Langue:

english

Fichier:

PDF, 163 KB

english, 2007

66

[ACM Press the second international joint conference - Melbourne, Australia (2003.07.14-2003.07.18)] Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 - Towards model checking interpreted systems

Lomuscio, A., Raimondi, F., Sergot, M. J.

Année:

2003

Langue:

english

Fichier:

PDF, 92 KB

english, 2003

67

Symbolic model checking for temporal-epistemic logics

Lomuscio, Alessio, Penczek, Wojciech

Journal:

ACM SIGACT News

Année:

2007

Langue:

english

Fichier:

PDF, 844 KB

english, 2007

68

[ACM Press the 6th international joint conference - Honolulu, Hawaii (2007.05.14-2007.05.18)] Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07 - A temporal epistemic logic with a reset operation

Lomuscio, Alessio, Woźna, Bożena

Année:

2007

Langue:

english

Fichier:

PDF, 496 KB

english, 2007

69

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - A complete and decidable security-specialised logic and its application to the TESLA protocol

Lomuscio, Alessio, Woźna, Bozena

Année:

2006

Langue:

english

Fichier:

PDF, 254 KB

english, 2006

70

[ACM Press the first international joint conference - Bologna, Italy (2002.07.15-2002.07.19)] Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 - The bit transmission problem revisited

Lomuscio, Alessio, Sergot, Marek

Année:

2002

Langue:

english

Fichier:

PDF, 76 KB

english, 2002

71

[ACM Press the second international joint conference - Melbourne, Australia (2003.07.14-2003.07.18)] Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 - Verifying epistemic properties of multi-agent systems via bounded model checking

Penczek, W., Lomuscio, A.

Année:

2003

Langue:

english

Fichier:

PDF, 272 KB

english, 2003

72

[ACM Press the second international joint conference - Melbourne, Australia (2003.07.14-2003.07.18)] Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 - Ignore at your peril - towards a logic for ignorance

van der Hoek, Wiebe, Lomuscio, Alessio

Année:

2003

Langue:

english

Fichier:

PDF, 88 KB

english, 2003

73

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - The complexity of model checking concurrent programs against CTLK specifications

Lomuscio, Alessio, Raimondi, Franco

Année:

2006

Langue:

english

Fichier:

PDF, 208 KB

english, 2006

74

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - On the complexity of practical ATL model checking

van der Hoek, Wiebe, Lomuscio, Alessio, Wooldridge, Michael

Année:

2006

Langue:

english

Fichier:

PDF, 289 KB

english, 2006

75

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - Model checking knowledge, strategies, and games in multi-agent systems

Lomuscio, Alessio, Raimondi, Franco

Année:

2006

Langue:

english

Fichier:

PDF, 283 KB

english, 2006

76

[ACM Press the 9th international ACM SIGACCESS conference - Tempe, Arizona, USA (2007.10.15-2007.10.17)] Proceedings of the 9th international ACM SIGACCESS conference on Computers and accessibility - Assets '07 - SAMBA

Brajnik, Giorgio, Lomuscio, Raffaella

Année:

2007

Langue:

english

Fichier:

PDF, 423 KB

english, 2007

77

An algorithmic approach to knowledge evolution

LOMUSCIO, ALESSIO, RYAN, MARK

Journal:

Artificial intelligence for engineering design analysis and manufacturing

Année:

1999

Langue:

english

Fichier:

PDF, 316 KB

english, 1999

78

[IEEE 2016 International Symposium on Integrated Circuits (ISIC) - Singapore (2016.12.12-2016.12.14)] 2016 International Symposium on Integrated Circuits (ISIC) - A hardware framework for on-chip FPGA acceleration

Lomuscio, Andrea, Cardarilli, Gian Carlo, Nannarelli, Alberto, Re, Marco

Année:

2016

Langue:

english

Fichier:

PDF, 491 KB

english, 2016

79

[IEEE 2016 50th Asilomar Conference on Signals, Systems and Computers - Pacific Grove, CA, USA (2016.11.6-2016.11.9)] 2016 50th Asilomar Conference on Signals, Systems and Computers - Dynamically-loaded Hardware Libraries (HLL) technology for audio applications

Esposito, A., Lomuscio, A., Cardarilli, G. C., Di Nunzio, L., Fazzolari, R., Nannarelli, A., Re, M.

Année:

2016

Langue:

english

Fichier:

PDF, 564 KB

english, 2016

80

Gallium In-Depth Profile in Bromine- Etched Copper–Indium–Galium–(Di)selenide (CIGS) Thin Films Inspected Using Raman Spectroscopy

Parravicini, Jacopo, Acciarri, Maurizio, Lomuscio, Alberto, Murabito, Matteo, Le Donne, Alessia, Gasparotto, Andrea, Binetti, Simona

Journal:

Applied Spectroscopy

Année:

2017

Langue:

english

Fichier:

PDF, 383 KB

english, 2017

81

18F-FDG PET/CT in Metastatic Pilomatrix Carcinoma

Vadrucci, Manuela, Gilardi, Laura, Crivelli, Filippo, Baroli, Alberto, Lomuscio, Giuseppe

Journal:

Clinical Nuclear Medicine

Année:

2016

Langue:

english

Fichier:

PDF, 311 KB

english, 2016

82

Practical verification of multi-agent systems against Slk specifications

Čermák, Petr, Lomuscio, Alessio, Mogavero, Fabio, Murano, Aniello

Journal:

Information and Computation

Année:

2017

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2017

83

22nd International Symposium on Temporal Representation and Reasoning (TIME 2015)

Grandi, Fabio, Lange, Martin, Lomuscio, Alessio

Journal:

Information and Computation

Année:

2017

Langue:

english

Fichier:

PDF, 186 KB

english, 2017

84

Key-Phenomenon and Religious Meaning

Lomuscio, Vincenzo

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 227 KB

english, 2017

85

4th International Workshop on Strategic Reasoning (SR 2016)

Lomuscio, Alessio R., Vardi, Moshe Y.

Journal:

Information and Computation

Année:

2018

Langue:

english

Fichier:

PDF, 121 KB

english, 2018

86

Effects of Aspartame and Carbohydrate Administration on Human and Rat Plasma Large Neutral Amino Acid Levels and Rat Brain Amino Acid and Monoamine Levels

Romano, M., Casacci, F., de Marchi, F., Pacel, T., Esteve, A., Lomuscio, G., Mennini, T., Salmona, M.

Journal:

Journal of Nutrition

Année:

1989

Langue:

english

Fichier:

PDF, 1.22 MB

english, 1989

87

[IEEE 2018 IEEE 7th World Conference on Photovoltaic Energy Conversion (WCPEC) (A Joint Conference of 45th IEEE PVSC, 28th PVSEC & 34th EU PVSEC) - Waikoloa Village, HI, USA (2018.6.10-2018.6.15)] 2018 IEEE 7th World Conference on Photovoltaic Energy Conversion (WCPEC) (A Joint Conference of 45th IEEE PVSC, 28th PVSEC & 34th EU PVSEC) - Influence of stoichiometry and temperature on quasi Fermi level splitting of sulfide CIS absorber layers

Lomuscio, Alberto, Melchiorre, Michele, Siebentritt, Susanne

Année:

2018

Langue:

english

Fichier:

PDF, 88 KB

english, 2018

88

Therapeutic Possibilities of 131 I-Mibg in Metastatic Carcinoid Tumors - Preliminary Report

Guerra, Paolo, Colombo, Luigia, Maira, Giovanni, Pagliaini, Roberto, Terzi, Arturo, Pizzocaro, Claudio, Dottorini, Massimo E., Lomuscio, Giuseppe, Bestagno, Maurizio

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 601 KB

english, 1990

89

Absorber Layers

Lomuscio, Alberto, Rödel, Tobias, Schwarz, Torsten, Gault, Baptiste, Melchiorre, Michele, Raabe, Dierk, Siebentritt, Susanne

Journal:

Physical Review Applied

Année:

2019

Langue:

english

Fichier:

PDF, 2.25 MB

english, 2019

90

[IEEE 2019 International Joint Conference on Neural Networks (IJCNN) - Budapest, Hungary (2019.7.14-2019.7.19)] 2019 International Joint Conference on Neural Networks (IJCNN) - An MCTS-based Adversarial Training Method for Image Recognition

Liu, Yi-Ling, Lomuscio, Alessio

Année:

2019

Fichier:

PDF, 1.04 MB

2019

91

Phonon coupling and shallow defects in

Lomuscio, Alberto, Sood, Mohit, Melchiorre, Michele, Siebentritt, Susanne

Journal:

Physical Review B

Année:

2020

Fichier:

PDF, 1.56 MB

2020

92

On the chemistry of grain boundaries in CuInS2 films

Schwarz, Torsten, Lomuscio, Alberto, Siebentritt, Susanne, Gault, Baptiste

Journal:

Année:

2020

Fichier:

PDF, 1.55 MB

2020

93

Absorber composition: A critical parameter for the effectiveness of heat treatments in chalcopyrite solar cells

Sood, Mohit, Elanzeery, Hossam, Adeleye, Damilola, Lomuscio, Alberto, Werner, Florian, Ehre, Florian, Melchiorre, Michele, Siebentritt, Susanne

Journal:

Progress in Photovoltaics: Research and Applications

Année:

2020

Fichier:

PDF, 4.51 MB

2020

94

A Pediatric Hospital Policy for Medical Marijuana Use

Carver, Amy E., Jorgensen, Jennifer, Barberio, Michael W., Lomuscio, Carla E., Brumbaugh, David

Journal:

Année:

2020

Fichier:

PDF, 631 KB

2020

95

Micro-sized thin-film solar cells via area-selective electrochemical deposition for concentrator photovoltaics application

Siopa, Daniel, El Hajraoui, Khalil, Tombolato, Sara, Babbe, Finn, Lomuscio, Alberto, Wolter, Max H., Anacleto, Pedro, Abderrafi, Kamal, Deepak, Francis L., Sadewasser, Sascha, Dale, Phillip J.

Journal:

Scientific Reports

Année:

2020

Fichier:

PDF, 1.74 MB

2020

96

[IEEE 2020 International Joint Conference on Neural Networks (IJCNN) - Glasgow, United Kingdom (2020.7.19-2020.7.24)] 2020 International Joint Conference on Neural Networks (IJCNN) - MRobust: A Method for Robustness against Adversarial Attacks on Deep Neural Networks

Liu, Yi-Ling, Lomuscio, Alessio

Année:

2020

Fichier:

PDF, 1.31 MB

2020

97

Runtime Monitoring of Contract Regulated Web Services

Lomuscio, Alessio, Penczek, Wojciech, Solanki, Monika, Szreter, Maciej

Journal:

Fundamenta Informaticae

Année:

2011

Fichier:

PDF, 507 KB

2011