Arturo Azcorra

110 papers A* 2A 5B 1C 5Journal 65Unranked 31
YearRankTypeTitle / Venue / Authors
2024 — conf
An Intelligent Data-Enabled Mobile Network Architecture.
From Multimedia Communications to the Future Internet
Arturo Azcorra, Albert Banchs, Nikolaos Laoutaris, Joerg Widmer
2021 J jnl
Establishing Trust in Online Advertising With Signed Transactions.
IEEE Access
Antonio Pastor, Rubén Cuevas, Ángel Cuevas, Arturo Azcorra
2021 J jnl
Monitoring in fog computing: state-of-the-art and research challenges.
Int. J. Ad Hoc Ubiquitous Comput.
Haftay Gebreslasie Abreha, Carlos J. Bernardos, Antonio de la Oliva, Luca Cominardi, Arturo Azcorra
2021 J jnl
Using Aerial and Vehicular NFV Infrastructures to Agilely Create Vertical Services.
Sensors
Borja Nogales, Miguel Silva, Iván Vidal, Miguel Luís, Francisco Valera, Susana Sargento, Arturo Azcorra
2020 A conf
Challenges Towards the Next Generation of Mobile Communications.
MSWiM
Arturo Azcorra
2020 J jnl
Establishing Trust in Online Advertising with Signed Transactions.
CoRR
Antonio Pastor, Rubén Cuevas, Ángel Cuevas, Arturo Azcorra
2019 J jnl
Design and Deployment of an Open Management and Orchestration Platform for Multi-Site NFV Experimentation.
IEEE Commun. Mag.
Borja Nogales, Iván Vidal, Diego R. López, Juan Rodríguez, Jaime García-Reinoso, Arturo Azcorra
2019 J jnl
Experimental QoE Evaluation of Multicast Video Delivery over IEEE 802.11aa WLANs.
IEEE Trans. Mob. Comput.
Francesco Gringoli, Pablo Serrano, Iñaki Ucar, Nicolò Facchi, Arturo Azcorra
2019 J jnl
Modeling Mobile Edge Computing Deployments for Low Latency Multimedia Services.
IEEE Trans. Broadcast.
Jorge Martín-Pérez, Luca Cominardi, Carlos J. Bernardos, Antonio de la Oliva, Arturo Azcorra
2019 A* conf
Nameles: An intelligent system for Real-Time Filtering of Invalid Ad Traffic.
WWW
Antonio Pastor, Matti Antero Parssinen, Patricia Callejo, Pelayo Vallina, Rubén Cuevas, Ángel Cuevas, Mikko Kotila, Arturo Azcorra
2019 J jnl
Optimization of an integrated fronthaul/backhaul network under path and delay constraints.
Ad Hoc Networks
Nuria Molner, Antonio de la Oliva, Ioannis Stavrakakis, Arturo Azcorra
2018 J jnl
5G-TRANSFORMER: Slicing and Orchestrating Transport Networks for Industry Verticals.
IEEE Commun. Mag.
Antonio de la Oliva, Xi Li, Xavier Pérez Costa, Carlos Jesus Bernardos, Philippe Bertin, Paola Iovanna, Thomas Deiß, Josep Mangues, Alain Mourad, Claudio Casetti, Jose Enrique Gonzalez, Arturo Azcorra
2018 J jnl
Design and Analysis of 5G Scenarios with 'simmer': An R Package for Fast DES Prototyping.
CoRR
Iñaki Ucar, José Alberto Hernández, Pablo Serrano, Arturo Azcorra
2018 J jnl
Design and Analysis of 5G Scenarios with simmer: An R Package for Fast DES Prototyping.
IEEE Commun. Mag.
Iñaki Ucar, José Alberto Hernández, Pablo Serrano, Arturo Azcorra
2018 J jnl
Enabling Multi-Mission Interoperable UAS Using Data-Centric Communications.
Sensors
Iván Vidal, Paolo Bellavista, Victor Sanchez-Agüero, Jaime García-Reinoso, Francisco Valera, Borja Nogales, Arturo Azcorra
2018 J jnl
Measurement Errors in R.
R J.
Iñaki Ucar, Edzer J. Pebesma, Arturo Azcorra
2018 J jnl
Network Slicing for Guaranteed Rate Services: Admission Control and Resource Allocation Games.
IEEE Trans. Wirel. Commun.
Pablo Caballero Garces, Albert Banchs, Gustavo de Veciana, Xavier Pérez Costa, Arturo Azcorra
2018 J jnl
On the energy efficiency of rate and transmission power control in 802.11.
Comput. Commun.
Iñaki Ucar, Carlos Donato, Pablo Serrano, Andres Garcia-Saavedra, Arturo Azcorra, Albert Banchs
2017 J jnl
$μ$Nap: Practical Micro-Sleeps for 802.11 WLANs.
CoRR
Arturo Azcorra, Iñaki Ucar, Francesco Gringoli, Albert Banchs, Pablo Serrano
2017 J jnl
Energy-optimal collaborative file distribution in wired networks.
Peer-to-Peer Netw. Appl.
Kshitiz Verma, Gianluca Rizzo, Antonio Fernández Anta, Rubén Cuevas Rumín, Arturo Azcorra, Shmuel Zaks, Alberto García-Martínez
2017 J jnl
On the Energy Efficiency of Rate and Transmission Power Control in 802.11.
CoRR
Iñaki Ucar, Carlos Donato, Pablo Serrano, Andres Garcia-Saavedra, Arturo Azcorra, Albert Banchs
2017 J jnl
μNap: Practical micro-sleeps for 802.11 WLANs.
Comput. Commun.
Arturo Azcorra, Iñaki Ucar, Francesco Gringoli, Albert Banchs, Pablo Serrano
2016 J jnl
An overview of the CPRI specification and its application to C-RAN-based LTE scenarios.
IEEE Commun. Mag.
Antonio de la Oliva, José Alberto Hernández, David Larrabeiti, Arturo Azcorra
2016 J jnl
Exploring the Use of RPAs as 5G Points of Presence.
CoRR
Javier Suárez, Iván Vidal, Jaime García-Reinoso, Francisco Valera, Arturo Azcorra
2016 — conf
Exploring the use of RPAs as 5G points of presence.
EuCNC
Javier Suárez, Iván Vidal, Jaime García-Reinoso, Francisco Valera, Arturo Azcorra
2016 A conf
Revisiting 802.11 Rate Adaptation from Energy Consumption's Perspective.
MSWiM
Iñaki Ucar, Carlos Donato, Pablo Serrano, Andres Garcia-Saavedra, Arturo Azcorra, Albert Banchs
2016 J jnl
Revisiting 802.11 Rate Adaptation from Energy Consumption's Perspective.
CoRR
Iñaki Ucar, Carlos Donato, Pablo Serrano, Andres Garcia-Saavedra, Arturo Azcorra, Albert Banchs
2016 A* conf
Understanding the Detection of View Fraud in Video Content Portals.
WWW
Miriam Marciel, Rubén Cuevas, Albert Banchs, Roberto Gonzalez, Stefano Traverso, Mohamed Ahmed, Arturo Azcorra
2015 J jnl
Deseeding Energy Consumption of Network Stacks.
CoRR
Iñaki Ucar, Arturo Azcorra
2015 — conf
Deseeding energy consumption of network stacks.
RTSI
Iñaki Ucar, Arturo Azcorra
2015 J jnl
Per-Frame Energy Consumption in 802.11 Devices and Its Implication on Modeling and Design.
IEEE/ACM Trans. Netw.
Pablo Serrano, Andres Garcia-Saavedra, Giuseppe Bianchi, Albert Banchs, Arturo Azcorra
2015 J jnl
Torii: multipath distributed Ethernet fabric protocol for data centres with zero-loss path repair.
Trans. Emerg. Telecommun. Technol.
Elisa Rojas, Guillermo Ibáñez, José Manuel Giménez-Guzmán, Diego Rivera, Arturo Azcorra
2015 J jnl
Understanding the detection of fake view fraud in Video Content Portals.
CoRR
Miriam Marciel, Rubén Cuevas, Albert Banchs, Roberto Gonzalez, Stefano Traverso, Mohamed Ahmed, Arturo Azcorra
2015 J jnl
Xhaul: toward an integrated fronthaul/backhaul architecture in 5G networks.
IEEE Wirel. Commun.
Antonio de la Oliva, Xavier Costa-Pérez, Arturo Azcorra, Andrea Di Giglio, Fabio Cavaliere, Dirk Tiegelbekkers, Johannes Lessmann, Thomas Haustein, Alain Mourad, Paola Iovanna
2014 J jnl
TorrentGuard: Stopping scam and malware distribution in the BitTorrent ecosystem.
Comput. Networks
Rubén Cuevas, Michal Kryczka, Roberto Gonzalez, Ángel Cuevas, Arturo Azcorra
2013 — conf
Are trending topics useful for marketing?: visibility of trending topics vs traditional advertisement.
COSN
Juan Miguel Carrascosa, Roberto Gonzalez, Rubén Cuevas Rumín, Arturo Azcorra
2013 J jnl
Connectivity Properties of Real BitTorrent Swarms.
KSII Trans. Internet Inf. Syst.
Rubén Cuevas, Michal Kryczka, Ángel Cuevas, Carmen Guerrero, Arturo Azcorra
2013 A conf
Green wireless: towards minimum per-bit linear energy consumption in wireless communications.
MSWiM
Arturo Azcorra
2012 B conf
Greening the Internet: Energy-Optimal File Distribution.
NCA
Kshitiz Verma, Gianluca Rizzo, Antonio Fernández Anta, Rubén Cuevas Rumín, Arturo Azcorra
2011 J jnl
A Control-Theoretic Approach to Distributed Optimal Configuration of 802.11 WLANs.
IEEE Trans. Mob. Comput.
Paul Patras, Albert Banchs, Pablo Serrano, Arturo Azcorra
2011 J jnl
FakeDetector: A measurement-based tool to get rid out of fake content in your BitTorrent Downloads
CoRR
Michal Kryczka, Rubén Cuevas Rumín, Roberto Gonzalez, Ángel Cuevas, Arturo Azcorra
2011 J jnl
Greening File Distribution: Centralized or Distributed?
CoRR
Kshitiz Verma, Gianluca Rizzo, Antonio Fernández Anta, Rubén Cuevas Rumín, Arturo Azcorra
2011 J jnl
Measuring the bittorrent ecosystem: Techniques, tips, and tricks.
IEEE Commun. Mag.
Michal Kryczka, Rubén Cuevas, Carmen Guerrero, Arturo Azcorra, Ángel Cuevas
2011 J jnl
P2P vs. IP multicast: Comparing approaches to IPTV streaming based on TV channel popularity.
Comput. Networks
Alex Bikfalvi, Jaime García-Reinoso, Iván Vidal, Francisco Valera, Arturo Azcorra
2011 — conf
Unrevealing the structure of live BitTorrent swarms: Methodology and analysis.
Peer-to-Peer Computing
Michal Kryczka, Rubén Cuevas Rumín, Carmen Guerrero, Arturo Azcorra
2010 — conf
A first step towards user assisted online social networks.
SNS
Michal Kryczka, Rubén Cuevas, Carmen Guerrero, Eiko Yoneki, Arturo Azcorra
2010 J jnl
Analytical characterization of failure recovery in REAP.
Comput. Commun.
Antonio de la Oliva, Ignacio Soto, Alberto García-Martínez, Marcelo Bagnulo, Arturo Azcorra
2010 C conf
Fast Path Ethernet Switching: On-demand, efficient transparent bridges for data center and campus networks.
LANMAN
Guillermo Ibáñez, Juan A. Carral, Alberto García-Martínez, José M. Arco, Diego Rivera Pinto, Arturo Azcorra
2010 J jnl
HURP/HURBA: Zero-configuration hierarchical Up/Down routing and bridging architecture for Ethernet backbones and campus networks.
Comput. Networks
Guillermo Ibáñez, Alberto García-Martínez, Juan A. Carral, Pedro A. González, Arturo Azcorra, José M. Arco
2010 J jnl
Integrated routing and addressing for improved IPv4 and IPv6 coexistence.
IEEE Commun. Lett.
Arturo Azcorra, Michal Kryczka, Alberto García-Martínez
2010 — conf
OmTCP: Increasing Performance in Server Farms.
ICC
Iljitsch van Beijnum, Arturo Azcorra, Marcelo Bagnulo
2010 J jnl
Optimal Configuration of 802.11e EDCA for Real-Time and Data Traffic.
IEEE Trans. Veh. Technol.
Pablo Serrano, Albert Banchs, Paul Patras, Arturo Azcorra
2009 C conf
A CARMEN mesh experience: deployment and results.
WOWMOM
Pablo Serrano, Antonio de la Oliva, Carlos Jesus Bernardos, Ignacio Soto, Albert Banchs, Arturo Azcorra
2009 J jnl
Evaluation of tree-based routing ethernet.
IEEE Commun. Lett.
Guillermo Ibáñez, Alberto García-Martínez, Juan A. Carral, José M. Arco, Arturo Azcorra
2009 J jnl
Nemo-enabled localized mobility support for internet access in automotive scenarios.
IEEE Commun. Mag.
Ignacio Soto, Carlos Jesus Bernardos, María Calderón, Albert Banchs, Arturo Azcorra
2009 J jnl
Supporting carrier grade services over wireless mesh networks: The approach of the European FP-7 STREP CARMEN [Very Large Projects].
IEEE Commun. Mag.
Arturo Azcorra, T. Banniza, David Chieng, John Fitzpatrick, Dirk von Hugo, Marek Natkaniec, Sebastian Robitzsch, Frank A. Zdarsky
2009 J jnl
Zero config residential gateway experiences for next generation smart homes.
Comput. Networks
Jaime García-Reinoso, Iván Vidal, Francisco Valera, Arturo Azcorra
2009 J jnl
fP2P-HN: A P2P-based route optimization architecture for mobile IP-based community networks.
Comput. Networks
Rubén Cuevas Rumín, Albert Cabellos-Aparicio, Ángel Cuevas, Jordi Domingo-Pascual, Arturo Azcorra
2008 J jnl
ABridges: Scalable, self-configuring Ethernet campus networks.
Comput. Networks
Guillermo Ibáñez, Alberto García-Martínez, Arturo Azcorra, Ignacio Soto
2008 A ed.
Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2008, Madrid, Spain, December 9-12, 2008
CoNEXT
Arturo Azcorra, Gustavo de Veciana, Keith W. Ross, Leandros Tassiulas
2007 — conf
A Multimedia IMS Enabled Residential Service Gateway.
SIGMAP
Vitor Pinto, Vítor Ribeiro, Iván Vidal, Jaime García-Reinoso, Francisco Valera, Arturo Azcorra
2007 J jnl
A Throughput and Delay Model for IEEE 802.11e EDCA Under Non Saturation.
Wirel. Pers. Commun.
Pablo Serrano, Albert Banchs, Arturo Azcorra
2007 — conf
An Architecture for Network Layer Privacy.
ICC
Marcelo Bagnulo, Alberto García-Martínez, Arturo Azcorra
2007 — conf
Fault Tolerant Scalable Support for Network Portability and Traffic Engineering.
WWIC
Marcelo Bagnulo, Alberto García-Martínez, Arturo Azcorra
2007 J jnl
Guest Editorial: Selected Papers on Wireless and Mobility from IEEE INFOCOM.
IEEE Trans. Mob. Comput.
Arturo Azcorra, Joe Touch, Zhi-Li Zhang
2007 J jnl
IPv6 multihoming support in the mobile internet.
IEEE Wirel. Commun.
Marcelo Bagnulo, Alberto García-Martínez, Arturo Azcorra
2007 — conf
Integration of a QoS Aware End User Network within the TISPAN NGN Solutions.
ECUMN
Iván Vidal, Jaime García-Reinoso, Francisco Valera, Ignacio Soto, Arturo Azcorra
2007 — conf
QoS and Authentication Experiences in a Residential Environment Within a Broadband Access Framework.
WWIC
Iván Vidal, Francisco Valera, Jaime García-Reinoso, Arturo Azcorra, Vitor Pinto, Vítor Ribeiro
2007 J jnl
Signalling Cases and QoS Management within TISPAN NGN Residential Environments.
J. Multim.
Iván Vidal, Francisco Valera, Jaime García-Reinoso, Ignacio Soto, Arturo Azcorra
2007 J jnl
VARON: Vehicular Ad hoc Route Optimisation for NEMO.
Comput. Commun.
Carlos Jesus Bernardos, Ignacio Soto, María Calderón, Fernando Boavida, Arturo Azcorra
2006 — conf
Adaptive Quality of Service Management for Next Generation Residential Gateways.
MMNS
Iván Vidal, Jaime García-Reinoso, Francisco Valera, Ignacio Soto, Arturo Azcorra
2006 J jnl
An incremental approach to IPv6 multihoming.
Comput. Commun.
Marcelo Bagnulo, Alberto García-Martínez, Arturo Azcorra, Cédric de Launois
2006 — conf
BGP-like TE Capabilities for SHIM6.
EUROMICRO-SEAA
Marcelo Bagnulo, Alberto García-Martínez, Arturo Azcorra
2006 J jnl
End-site routing support for IPv6 multihoming1.
Comput. Commun.
Marcelo Bagnulo, Alberto García-Martínez, Juan Rodríguez, Arturo Azcorra
2006 J jnl
End-to-end delay analysis and admission control in 802.11 DCF WLANs.
Comput. Commun.
Albert Banchs, Pablo Serrano, Arturo Azcorra
2006 J jnl
Networks of Excellence.
Comput. Commun.
Serge Fdida, Arturo Azcorra
2006 — conf
Scalable Support for Globally Moving Networks.
ISWCS
Marcelo Bagnulo, Alberto García-Martínez, Carlos J. Bernardos, Arturo Azcorra
2005 J jnl
Applications and challenges of the 802.11e EDCA mechanism: an experimental study.
IEEE Netw.
Albert Banchs, Arturo Azcorra, Carlos García García, Rubén Cuevas Rumín
2005 J jnl
Efficient security for IPv6 multihoming.
Comput. Commun. Rev.
Marcelo Bagnulo, Alberto García-Martínez, Arturo Azcorra
2005 A ed.
Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005
CoNEXT
Michel Diaz, Arturo Azcorra, Philippe Owezarski, Serge Fdida
2005 — conf
QoS Management in Fixed Broadband Residential Gateways.
MMNS
Carmen Guerrero, Jaime García-Reinoso, Francisco Valera, Arturo Azcorra
2005 C conf
Traffic Engineering in Multihomed Sites.
ISCC
Marcelo Bagnulo, Alberto García-Martínez, Carlos Jesus Bernardos, Isaías Martinez-Yelmo, Arturo Azcorra
2004 — conf
A New Scenario and Techniques for Content Prefetching in 3G Networks.
Broadband Satellite Comunication Systems
Ricardo Romeral, David Larrabeiti, Manuel Urueña, Arturo Azcorra, Santiago Gallego
2004 — conf
Charging for Web Content Pre-fetching in 3G Networks.
QofIS
David Larrabeiti, Ricardo Larrabeiti, Manuel Urueña, Arturo Azcorra, Pablo Serrano
2004 J jnl
Designing an advanced regional research network.
IEEE Commun. Mag.
Arturo Azcorra, Ignacio Soto, Iván Vidal, Carlos García García, Francisco Valera, Rafael Sánchez, Angel Perez
2004 — conf
Multi-Homing Tunnel Broker.
EUROMICRO
Marcelo Bagnulo, Juan Fco. Rodríguez-Hervella, Alberto García-Martínez, Arturo Azcorra
2004 — conf
The Case for Source Address Dependent Routing in Multihoming.
QofIS
Marcelo Bagnulo, Alberto García-Martínez, Juan Rodríguez, Arturo Azcorra
2003 — ch.
Internet Traffic Engineering.
QofIS Final Report
Olivier Bonaventure, Panos Trimintzios, George Pavlou, Bruno Quoitin, Arturo Azcorra, Marcelo Bagnulo, Paris Flegkas, Alberto García-Martínez, Panos Georgatsos, Leonidas Georgiadis, Christian Jacquenet, L. Swinnen, Sébastien Tandel, Steve Uhlig
2003 — conf
Preserving Established Communications in IPv6 Multi-homed Sites with MEX.
MIPS
Marcelo Bagnulo, Alberto García-Martínez, Ignacio Soto, Arturo Azcorra, Juan Fco. Rodríguez-Hervella
2002 — conf
A Practical Approach to Network-Based Processing.
Active Middleware Services
David Larrabeiti, María Calderón, Arturo Azcorra, Manuel Urueña
2002 — conf
An Active Network Approach to Support Multimedia Relays.
IDMS/PROMS
Manuel Urueña, David Larrabeiti, María Calderón, Arturo Azcorra, Jens E. Kristensen, Lars Kroll Kristensen, Ernesto Exposito, David Garduno, Michel Diaz
2002 — conf
Avoiding DAD for Improving Real-Time Communication in MIPv6 Environments.
IDMS/PROMS
Marcelo Bagnulo, Ignacio Soto, Alberto García-Martínez, Arturo Azcorra
2002 J jnl
E-Net: Emerging Networking Technologies.
IEEE Commun. Mag.
Arturo Azcorra, David Hutchison
2002 — conf
MIRA: A Distributed and Scalable WAN/LAN Real-Time Measurement Platform.
QofIS
Ricardo Romeral, Alberto García-Martínez, Ana Belén García, Arturo Azcorra, Manuel Alvarez-Campana
2001 — conf
A QoS-Driven ISP Selection Mechanism for IPv6 Multi-homed Sites.
PROMS
Marcelo Bagnulo, Alberto García-Martínez, David Larrabeiti, Arturo Azcorra
2001 J jnl
Multimedia Services for Distant Work and Education in an IP/ATM Environment.
IEEE Multim.
David Fernández, Ana Belén García, David Larrabeiti, Arturo Azcorra, Piotr Pacyna, Zdzislaw Papir
2000 J jnl
Applying QoS control through integration of IP and ATM.
IEEE Commun. Mag.
Niels Engell Andersen, Arturo Azcorra, Erik Bertelsen, Jorge Carapinha, Lars Dittmann, David Fernández, Jens Kristian Kjaergaard, Iain McKay, Janusz Maliszewski, Zdzislaw Papir
2000 — conf
Implementing the Integrated Services QoS Model with IPv6 over ATM Networks.
INTERWORKING
David Fernández, David Larrabeiti, Ana Cristina Bicharra Garcia, Arturo Azcorra, Luis Bellido, Julio Berrocal
2000 — conf
Performance of Active Multicast Congestion Control.
IWAN
Marifeli Sedano, Arturo Azcorra, María Calderón
1999 J jnl
IP/ATM integrated services over broadband access copper technologies.
IEEE Commun. Mag.
Arturo Azcorra, David Larrabeiti, Enrique J. Hernandez-Valencia, Julio Berrocal
1999 J jnl
MEHARI: a system for analysing the use of the internet services.
Comput. Networks
Pedro J. Lizcano, Arturo Azcorra, Josep Solé-Pareta, Jordi Domingo-Pascual, Manuel Alvarez-Campana
1999 J jnl
Multicast Congestion Control for Active Network Services.
Eur. Trans. Telecommun.
Arturo Azcorra, José Ignacio Moreno, María Calderón, Marifeli Sedano
1998 J jnl
Active network support for multicast applications.
IEEE Netw.
María Calderón, Marifeli Sedano, Arturo Azcorra, C. Alonsa
1996 — conf
ISABEL: A CSCW Application for the Distribution of Events.
COST 237 Workshop
Juan Quemada, Tomás de Miguel, Arturo Azcorra, Santiago Pavón, Joaquín Salvachúa, Manuel Petit, David Larrabeiti, Tomás Robles, Gabriel Huecas
1993 — conf
Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS.
PSTV
Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes
1993 J jnl
TIC: A TImed Calculus.
Formal Aspects Comput.
Juan Quemada, David de Frutos-Escrig, Arturo Azcorra
1993 J jnl
Tool Support to Implement LOTOS Formal Specifications.
Comput. Networks ISDN Syst.
José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra
1992 — conf
Structuring Protocols Using Exceptions in a LOTOS Extension.
PSTV
Juan Quemada, Arturo Azcorra
1990 C conf
The SRTS Experience: Using TOPO for LOTOS Design and Realization.
FORTE
Tomás de Miguel, Tomás Robles, Joaquín Salvachúa, Arturo Azcorra
1989 C conf
TIC: A Timed Calculus for LOTOS.
FORTE
Juan Quemada, Arturo Azcorra, David de Frutos-Escrig