Search results for "pace"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Pace P. Nielsen	Definitional schemes for primitive recursive and computable functions.	Comput.	2022	DBLP DOI BibTeX RDF
20	Antonio Costantino Marceddu, Luigi Pugliese, Jacopo Sini, Gustavo Ramirez Espinosa, Mohammadreza Amel Solouki, Pietro Chiavassa, Edoardo Giusto, Bartolomeo Montrucchio, Massimo Violante, Francesco De Pace	A Novel Redundant Validation IoT System for Affective Learning Based on Facial Expressions and Biological Signals.	Sensors	2022	DBLP DOI BibTeX RDF
20	Giancarlo Fortino, Antonio Guerrieri, Pasquale Pace, Claudio Savaglio, Giandomenico Spezzano	IoT Platforms and Security: An Analysis of the Leading Industrial/Commercial Solutions.	Sensors	2022	DBLP DOI BibTeX RDF
20	Christian Colombo 0001, Gordon J. Pace	Runtime Verification - A Hands-On Approach in Java		2022	DOI RDF
20	J. Andres Diaz-Pace, Rodrigo Cian Berrios, Antonela Tommasel, Hernán Ceferino Vázquez	A Metrics-based Approach for Assessing Architecture-Implementation Mappings.	CIBSE	2022	DBLP DOI BibTeX RDF
20	Lorenzo Guercini, Federico Tessari, Josephus Driessen, Stefano Buccelli, Anna Pace, Samuele De Giuseppe, Simone Traverso, Lorenzo De Michieli, Matteo Laffranchi	An Over-Actuated Bionic Knee Prosthesis: Modeling, Design and Preliminary Experimental Characterization.	ICRA	2022	DBLP DOI BibTeX RDF
20	Stefan Chircop, Gordon J. Pace, Gerardo Schneider	An Automata-Based Formalism for Normative Documents with Real-Time.	JURIX	2022	DBLP DOI BibTeX RDF
20	Wolfgang Ahrendt, Gordon J. Pace	Selective Presumed Benevolence in Multi-party System Verification.	ISoLA (1)	2022	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace	AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.	RV	2022	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace	Tainting in Smart Contracts: Combining Static and Runtime Verification.	RV	2022	DBLP DOI BibTeX RDF
20	Bryan Hong, Carleigh A. Pace-Tonna, Morgan D. Barense, Michael L. Mack	Emphasizing associations from encoding affects free recall at retrieval.	CogSci	2022	DBLP BibTeX RDF
20	Scott R. Bickham, Peter G. Hebgen, Pushkar Tandon, Hazel B. Matthews, Jennifer T. Prater, David A. Lewis, Hector M. de Pedro, Darren A. Stainer, Inna I. Kouzmina, Sarah L. Wager, Jason R. Pace, Bryan W. Wakefield, John D. Downie, Jason E. Hurley	Ultra-Low-Loss Reduced-Clad Fiber with Attenuation less than 0.16 dB/km.	OECC/PSC	2022	DBLP DOI BibTeX RDF
20	Juan Andrés Carruthers, Jorge Andrés Díaz Pace, Emanuel Agustín Irrazábal	How are software datasets constructed in Empirical Software Engineering studies? A systematic mapping study.	SEAA	2022	DBLP DOI BibTeX RDF
20	Timothy Curry, Gabriel De Pace, Benjamin Fuller 0001, Laurent Michel, Yan Lindsay Sun	DUELMIPs: Optimizing SDN Functionality and Security.	CP	2022	DBLP DOI BibTeX RDF
20	J. Andres Diaz-Pace, David Garlan	Making Architecture Optimization Transparent with Tactic-Based Explanations.	ICSA Companion	2022	DBLP DOI BibTeX RDF
20	Joshua Ellul, Gordon J. Pace	Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries.	DPM/CBT@ESORICS	2022	DBLP DOI BibTeX RDF
20	Teresa Pace, Nicolò Degan, Rosa Giglio, Daniele Tognetto, Agostino Accardo	A Deep Learning Method for Automatic Identification of Drusen and Macular Hole from Optical Coherence Tomography.	MIE	2022	DBLP DOI BibTeX RDF
20	Alizée Pace, Alex J. Chan, Mihaela van der Schaar	POETREE: Interpretable Policy Learning with Adaptive Decision Trees.	ICLR	2022	DBLP BibTeX RDF
20	Maurizio Benfatto, Stefano Della-Longa, Elisabetta Pace, Giovanni Chillemi, Cristiano Padrin, Calogero Natoli, Nico Sanna	MXAN: A new program for ab-initio structural quantitative analysis of XANES experiments.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
20	Nicola Pace, Angelo Sonnino	On the existence of PD-sets: Algorithms arising from automorphism groups of codes.	Adv. Math. Commun.	2021	DBLP DOI BibTeX RDF
20	Michael Pace	Trusting in order to inspire trustworthiness.	Synth.	2021	DBLP DOI BibTeX RDF
20	Dario Giuffrida, Viviana Mollica Nardo, Daniela Neri, Giovanni Cucinotta, Irene Vittoria Calabrò, Loredana Pace, Rosina Celeste Ponterio	A Multi-Analytical Study for the Enhancement and Accessibility of Archaeological Heritage: The Churches of San Nicola and San Basilio in Motta Sant'Agata (RC, Italy).	Remote. Sens.	2021	DBLP DOI BibTeX RDF
20	Xiuwen Fu, Pasquale Pace, Gianluca Aloi, Wenfeng Li 0001, Giancarlo Fortino	Toward robust and energy-efficient clustering wireless sensor networks: A double-stage scale-free topology evolution model.	Comput. Networks	2021	DBLP DOI BibTeX RDF
20	Kipp Cannon, Sarah Caudill, Chiwai Chan, Bryce Cousins, Jolien D. E. Creighton, Becca Ewing, Heather Fong, Patrick Godwin, Chad Hanna, Shaun Hooper, Rachael Huxford, Ryan Magee, Duncan Meacher, Cody Messick, Soichiro Morisaki, Debnandini Mukherjee, Hiroaki Ohta, Alexander Pace, Stephen Privitera, Iris de Ruiter, Surabhi Sachdev, Leo Singer, Divya Singh, Ron Tapia, Leo Tsukada, Daichi Tsuna, Takuya Tsutsui, Koh Ueno, Aaron Viets, Leslie Wade, Madeline Wade	GstLAL: A software framework for gravitational wave discovery.	SoftwareX	2021	DBLP DOI BibTeX RDF
20	Philip Garrison, Esther Han Beol Jang, Michael A. Lithgow, Nicolás Andrés Pace	"The Network Is an Excuse": Hardware Maintenance Supporting Community.	Proc. ACM Hum. Comput. Interact.	2021	DBLP DOI BibTeX RDF
20	Andrea Lezcano Airaldi, Jorge Andrés Díaz Pace, Emanuel Irrazábal	Data-driven Storytelling to Support Decision Making in Crisis Settings: A Case Study.	J. Univers. Comput. Sci.	2021	DBLP DOI BibTeX RDF
20	Eva M. Ciccodicola, Nicole M. Mueske, Mia J. Katzel, Curtis D. VandenBerg, James Lee Pace, Tishya A. L. Wren	Biomechanical Symmetry during Drop Jump Landing and Takeoff in Adolescent Athletes Following Recent Anterior Cruciate Ligament Reconstruction.	Symmetry	2021	DBLP DOI BibTeX RDF
20	Alessandro Manni, Damiano Oriti, Andrea Sanna, Francesco De Pace, Federico Manuri	Snap2cad: 3D indoor environment reconstruction for AR/VR applications using a smartphone device.	Comput. Graph.	2021	DBLP DOI BibTeX RDF
20	Walter Ciccognani, Sergio Colangeli, Patrick E. Longhi, Antonio Serino, Rocco Giofrè, Lorenzo Pace, Ernesto Limiti	Broadband Amplifier Design Technique by Dissipative Matching Networks.	IEEE Trans. Circuits Syst. I Regul. Pap.	2021	DBLP DOI BibTeX RDF
20	Kai Lin, Yihui Li, Jing Deng 0001, Pasquale Pace, Giancarlo Fortino	Clustering-Learning-Based Long-Term Predictive Localization in 5G-Envisioned Internet of Connected Vehicles.	IEEE Trans. Intell. Transp. Syst.	2021	DBLP DOI BibTeX RDF
20	Gianluca Aloi, Giancarlo Fortino, Raffaele Gravina, Pasquale Pace, Claudio Savaglio	Simulation-Driven Platform for Edge-Based AAL Systems.	IEEE J. Sel. Areas Commun.	2021	DBLP DOI BibTeX RDF
20	Joshua Ellul, Gordon J. Pace	Towards External Calls for Blockchain and Distributed Ledger Technology.	CoRR	2021	DBLP BibTeX RDF
20	Juan Andres Carruthers, Jorge Andrés Díaz Pace, Emanuel Agustin Irrazabal	A Systematic Mapping Study of Empirical Studies performed with Collections of Software Projects.	CoRR	2021	DBLP BibTeX RDF
20	Antonela Tommasel, J. Andres Diaz-Pace, Juan Manuel Rodriguez, Daniela Godoy	Capturing social media expressions during the COVID-19 pandemic in Argentina and forecasting mental health and emotions.	CoRR	2021	DBLP BibTeX RDF
20	Joshua Ellul, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri, Gordon J. Pace	A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective.	CoRR	2021	DBLP BibTeX RDF
20	Claudia Greco, Pasquale Pace, Stefano Basagni, Giancarlo Fortino	Jamming detection at the edge of drone networks using Multi-layer Perceptrons and Decision Trees.	Appl. Soft Comput.	2021	DBLP DOI BibTeX RDF
20	Eric Ke Wang, Ship Peng Xu, Chien-Ming Chen 0001, SK Hafizul Islam, Mohammad Mehedi Hassan, Claudio Savaglio, Pasquale Pace, Gianluca Aloi	A Trusted Consensus Scheme for Collaborative Learning in the Edge AI Computing Domain.	IEEE Netw.	2021	DBLP DOI BibTeX RDF
20	Abdu Gumaei, Mabrook Al-Rakhami, Mohammad Mehedi Hassan, Pasquale Pace, Gianluca Aloi, Kai Lin, Giancarlo Fortino	Deep Learning and Blockchain with Edge Computing for 5G-Enabled Drone Identification and Flight Mode Detection.	IEEE Netw.	2021	DBLP DOI BibTeX RDF
20	Maurizio Benfatto, Elisabetta Pace, Catalina Curceanu, Alessandro Scordo, Alberto Clozza, Ivan Davoli, Massimiliano Lucci, Roberto Francini, Fabio De Matteis, Maurizio Grandi, Rohisha Tuladhar, Paolo Grigolini	Biophotons and Emergence of Quantum Coherence - A Diffusion Entropy Analysis.	Entropy	2021	DBLP DOI BibTeX RDF
20	Donato Calabria, Massimo Guardigli, Paolo Severi, Ilaria Trozzi, Andrea Pace, Stefano Cinti, Martina Zangheri, Mara Mirasoli	A Smartphone-Based Chemosensor to Evaluate Antioxidants in Agri-Food Matrices by In Situ AuNP Formation.	Sensors	2021	DBLP DOI BibTeX RDF
20	Stefano Ruggieri, Rubinia C. Bonfanti, Alessia Passanisi, Ugo Pace, Adriano Schimmenti	Electronic surveillance in the couple: The role of self-efficacy and commitment.	Comput. Hum. Behav.	2021	DBLP DOI BibTeX RDF
20	Yin Zhang 0002, Ala I. Al-Fuqaha, Iztok Humar, Pasquale Pace	Editorial: Advances in multi-source information fusion for epidemic diseases.	Inf. Fusion	2021	DBLP DOI BibTeX RDF
20	Francesco De Pace, Gal Gorjup, Huidong Bai, Andrea Sanna, Minas V. Liarokapis, Mark Billinghurst	Leveraging Enhanced Virtual Reality Methods and Environments for Efficient, Intuitive, and Immersive Teleoperation of Robots.	ICRA	2021	DBLP DOI BibTeX RDF
20	Guillermo Rodríguez 0002, Jorge Andrés Díaz Pace, Luis Berdún, Sanjay Misra	Deriving Architectural Responsibilities from Textual Requirements.	ICIIA	2021	DBLP DOI BibTeX RDF
20	Francesco De Pace, Andrea Sanna, Federico Manuri, Damiano Oriti, Simone Panicucci, Valerio Belcamino	Assessing the Effectiveness of Augmented Reality Handheld Interfaces for Robot Path Programming.	INTETAIN	2021	DBLP DOI BibTeX RDF
20	Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider	Runtime Verification: Passing on the Baton.	Formal Methods in Outer Space	2021	DBLP DOI BibTeX RDF
20	Joshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri	Regulating artificial intelligence: a technology regulator's perspective.	ICAIL	2021	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider	On the Specification and Monitoring of Timed Normative Systems.	RV	2021	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Joshua Ellul, Gordon J. Pace	Runtime Monitoring Processes Across Blockchains.	FSEN	2021	DBLP DOI BibTeX RDF
20	Alessandro Barenghi, Diego Carrera, Silvia Mella, Andrea Pace, Gerardo Pelosi, Ruggero Susella	Profiled Attacks Against the Elliptic Curve Scalar Point Multiplication Using Neural Networks.	NSS	2021	DBLP DOI BibTeX RDF
20	Joshua Ellul, Gordon J. Pace	Optional monitoring for long-lived transactions.	VORTEX@ISSTA	2021	DBLP DOI BibTeX RDF
20	Facundo Storani, Roberta Di Pace, Stefano de Luca, Chiara Fiori	Traffic flow representation through hybrid approach: model formulation and preliminary analyses.	MT-ITS	2021	DBLP DOI BibTeX RDF
20	Kristina Buhagiar, Lisa A. Pace, Sandra M. Dingli	Service Innovation: A Knowledge-based Approach.	KMIS	2021	DBLP BibTeX RDF
20	Roberta Di Pace, Stefano de Luca, Francesco Galante, Luigi Pariota	Modelling Behavior in a Route Choice Driving Simulation Experiment in Presence of Information.	AINA (3)	2021	DBLP DOI BibTeX RDF
20	Andrea Baglieri, Anna Maria Gueli, Martina Pace, Stefania Pasquale, Ivana Puglisi, Carlo Trigona	Exploitation of Chemo-Electrical Transduction Properties of Soil as a Function of Energy Radiation Doses and Temperature: Preliminary Results.	SSD	2021	DBLP DOI BibTeX RDF
20	Leonardo De Laurentiis, Davide De Santis, Daniele Latini, Giovanni Schiavon, Alessandro Marin, Gaetano Pace, Kevin Rossini, Cesare Rossi, Stefano Marra, Sveinung Loekken, Fabio Del Frate	A New User Oriented Platform to Develop AI for the Estimation of Bio-Geophysical Parameters from EO Data.	IGARSS	2021	DBLP DOI BibTeX RDF
20	Nicola Pace, Angelo Sonnino	One-Factorisations of Complete Graphs Constructed in Desarguesian Planes of Certain Odd Square Orders.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
20	Xiuwen Fu, Pasquale Pace, Gianluca Aloi, Lin Yang 0008, Giancarlo Fortino	Topology optimization against cascading failures on wireless sensor networks using a memetic algorithm.	Comput. Networks	2020	DBLP DOI BibTeX RDF
20	Md. Ahsan Habib, Sajeeb Saha, Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Mohammad Mehedi Hassan, Pasquale Pace, Giancarlo Fortino	Lifetime Maximization of Sensor Networks Through Optimal Data Collection Scheduling of Mobile Sink.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Kai Lin, Chensi Li, Pasquale Pace, Giancarlo Fortino	Multi-level cluster-based satellite-terrestrial integrated communication in Internet of vehicles.	Comput. Commun.	2020	DBLP DOI BibTeX RDF
20	Jize Zhang, Andrew M. Pace, Samuel A. Burden, Aleksandr Y. Aravkin	Offline state estimation for hybrid systems via nonsmooth variable projection.	Autom.	2020	DBLP DOI BibTeX RDF
20	Daniel Pace, Alessandra Russo, Murray Shanahan	Learning Diverse Representations for Fast Adaptation to Distribution Shift.	CoRR	2020	DBLP BibTeX RDF
20	Alfonso Di Pace, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Aldo Meglio, Francesco Orciuoli	Implementing the Cognition Level for Industry 4.0 by integrating Augmented Reality and Manufacturing Execution Systems.	CoRR	2020	DBLP BibTeX RDF
20	Silvio Contessi, Pierangelo De Pace, Massimo Guidolin	Mildly explosive dynamics in U.S. fixed income markets.	Eur. J. Oper. Res.	2020	DBLP DOI BibTeX RDF
20	Kai Lin, Chensi Li, Joel J. P. C. Rodrigues, Pasquale Pace, Giancarlo Fortino	Data-Driven Joint Resource Allocation in Large-scale Heterogeneous Wireless Networks.	IEEE Netw.	2020	DBLP DOI BibTeX RDF
20	Alberto Cannavò, Francesco De Pace, Federico Salaroglio, Fabrizio Lamberti	A visual editing tool supporting the production of 3D interactive graphics assets for public exhibitions.	Int. J. Hum. Comput. Stud.	2020	DBLP DOI BibTeX RDF
20	Angelo Furfaro, Pasquale Pace, Andrea Parise	Facing DDoS bandwidth flooding attacks.	Simul. Model. Pract. Theory	2020	DBLP DOI BibTeX RDF
20	Francesco De Pace, Federico Manuri, Andrea Sanna, Claudio Fornaro	A systematic review of Augmented Reality interfaces for collaborative industrial robots.	Comput. Ind. Eng.	2020	DBLP DOI BibTeX RDF
20	Hadi Rahmaninejad, Tom Pace, Shashank Bhatt, Bin Sun 0005, Peter M. Kekenes-Huskey	Co-localization and confinement of ecto-nucleotidases modulate extracellular adenosine nucleotide distributions.	PLoS Comput. Biol.	2020	DBLP DOI BibTeX RDF
20	Xiuwen Fu, Giancarlo Fortino, Pasquale Pace, Gianluca Aloi, Wenfeng Li 0001	Environment-fusion multipath routing protocol for wireless sensor networks.	Inf. Fusion	2020	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Christian Colombo 0001, Gordon J. Pace	CLARVA: Model-based Residual Verification of Java Programs.	MODELSWARD	2020	DBLP DOI BibTeX RDF
20	Alberto Aranda García, María-Emilia Cambronero, Christian Colombo 0001, Luis Llana, Gordon J. Pace	Themulus: A Timed Contract-calculus.	MODELSWARD	2020	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Christian Colombo 0001, Gordon J. Pace	Model-Based Static and Runtime Verification for Ethereum Smart Contracts.	MODELSWARD (Revised Selected Papers)	2020	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Christian Colombo 0001, Gordon J. Pace	A Technique for Automata-based Verification with Residual Reasoning.	MODELSWARD	2020	DBLP DOI BibTeX RDF
20	Gordon J. Pace	A General Theory of Contract Conflicts with Environmental Constraints.	JURIX	2020	DBLP DOI BibTeX RDF
20	Gordon J. Pace, César Sánchez 0001, Gerardo Schneider	Reliable Smart Contracts.	ISoLA (3)	2020	DBLP DOI BibTeX RDF
20	Francesco De Pace, Gal Gorjup, Huidong Bai, Andrea Sanna, Minas V. Liarokapis, Mark Billinghurst	Assessing the Suitability and Effectiveness of Mixed Reality Interfaces for Accurate Robot Teleoperation.	VRST	2020	DBLP DOI BibTeX RDF
20	Liang He, John Pace	Estimating Altitude of Drones Using Batteries.	IoTDI	2020	DBLP DOI BibTeX RDF
20	Silvia N. Schiaffino, Daniela Godoy, J. Andrés Díaz Pace, Yves Demazeau	A MAS-Based Approach for POI Group Recommendation in LBSN.	PAAMS	2020	DBLP DOI BibTeX RDF
20	Gianluca Aloi, Giancarlo Fortino, Raffaele Gravina, Pasquale Pace, Claudio Savaglio	E-ALPHA: Edge-based Assisted Living Platform for Home cAre.	INFOCOM Workshops	2020	DBLP DOI BibTeX RDF
20	Alfonso Di Pace, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Aldo Meglio, Francesco Orciuoli	Implementing the Cognition Level for Industry 4.0 by Integrating Augmented Reality and Manufacturing Execution Systems.	AINA	2020	DBLP DOI BibTeX RDF
20	Alberto Aranda García, María-Emilia Cambronero, Christian Colombo 0001, Luis Llana, Gordon J. Pace	Runtime Verification of Contracts with Themulus.	SEFM	2020	DBLP DOI BibTeX RDF
20	Federico Manuri, Francesco De Pace, Andrea Sanna	Augmented Reality for Human-Robot Interaction in Industry.	Encyclopedia of Computer Graphics and Games	2019	DBLP DOI BibTeX RDF
20	Dario Pietro Cavallo, Maria Cefola, Bernardo Pace, Antonio Francesco Logrieco, Giovanni Attolico	Non-destructive and contactless quality evaluation of table grapes by a computer vision system.	Comput. Electron. Agric.	2019	DBLP DOI BibTeX RDF
20	Francesco De Pace, Federico Manuri, Andrea Sanna, Davide Zappia	Corrigendum: A Comparison Between Two Different Approaches for a Collaborative Mixed-Virtual Environment in Industrial Maintenance.	Frontiers Robotics AI	2019	DBLP DOI BibTeX RDF
20	Francesco De Pace, Federico Manuri, Andrea Sanna, Davide Zappia	A Comparison Between Two Different Approaches for a Collaborative Mixed-Virtual Environment in Industrial Maintenance.	Frontiers Robotics AI	2019	DBLP DOI BibTeX RDF
20	Claudio Savaglio, Pasquale Pace, Gianluca Aloi, Antonio Liotta, Giancarlo Fortino	Lightweight Reinforcement Learning for Energy Efficient Communications in Wireless Sensor Networks.	IEEE Access	2019	DBLP DOI BibTeX RDF
20	Giancarlo Avalle, Francesco De Pace, Claudio Fornaro, Federico Manuri, Andrea Sanna	An Augmented Reality System to Support Fault Visualization in Industrial Robotic Tasks.	IEEE Access	2019	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi, Raffaele Gravina, Giuseppe Caliciuri, Giancarlo Fortino, Antonio Liotta	An Edge-Based Architecture to Support Efficient Applications for Healthcare Industry 4.0.	IEEE Trans. Ind. Informatics	2019	DBLP DOI BibTeX RDF
20	César Sánchez 0001, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo 0001, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss	A survey of challenges for runtime verification from advanced application domains (beyond software).	Formal Methods Syst. Des.	2019	DBLP DOI BibTeX RDF
20	César Sánchez 0001, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo 0001, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss	Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).	Formal Methods Syst. Des.	2019	DBLP DOI BibTeX RDF
20	Gary F. Templeton, Stacie Petter, Aaron M. French, Kai R. Larsen, Ben Pace	Information Technology Firms: Creating Value through Digital Disruption.	Commun. Assoc. Inf. Syst.	2019	DBLP BibTeX RDF
20	Andrea Sanna, Federico Manuri, Francesco De Pace	Special Issue "Wearable Augmented and Mixed Reality Applications".	Inf.	2019	DBLP DOI BibTeX RDF
20	Ali Hassan Sodhro, Mohammad S. Obaidat, Qammer H. Abbasi, Pasquale Pace, Sandeep Pirbhulal, Ansar-Ul-Haque Yasar, Giancarlo Fortino, Muhammad Ali Imran 0001, Marwa K. Qaraqe	Quality of Service Optimization in an IoT-Driven Intelligent Transportation System.	IEEE Wirel. Commun.	2019	DBLP DOI BibTeX RDF
20	Pasquale Pace, Giancarlo Fortino, Yin Zhang 0002, Antonio Liotta	Intelligence at the Edge of Complex Networks: The Case of Cognitive Transmission Power Control.	IEEE Wirel. Commun.	2019	DBLP DOI BibTeX RDF
20	Davide Ancona, Gordon Pace (eds.)	Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018.	VORTEX@ECOOP/ISSTA	2019	DBLP DOI BibTeX RDF
20	Joshua Ellul, Gordon J. Pace	Blockchain and the Common Good Reimagined.	CoRR	2019	DBLP BibTeX RDF
20	Xiuwen Fu, Giancarlo Fortino, Wenfeng Li 0001, Pasquale Pace, Yongsheng Yang	WSNs-assisted opportunistic network for low-latency message forwarding in sparse settings.	Future Gener. Comput. Syst.	2019	DBLP DOI BibTeX RDF
20	Christian Villavicencio, Silvia N. Schiaffino, J. Andres Diaz-Pace, Ariel Monteserin	Group recommender systems: A multi-agent solution.	Knowl. Based Syst.	2019	DBLP DOI BibTeX RDF
20	Alejandro Rago, J. Andres Diaz-Pace, Claudia A. Marcos	Do concern mining tools really help requirements analysts? An empirical study of the vetting process.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF