Search results for "Helios"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt	Helios: heterogeneous multiprocessing with satellite kernels.	SOSP	2009	DBLP DOI BibTeX RDF	operating systems, heterogeneous computing
107	Michele Guarnieri, Takao Inoh, Edwardo F. Fukushima, Shigeo Hirose	HELIOS VIII search and rescue robot: Design of an adaptive gripper and system improvements.	IROS	2007	DBLP DOI BibTeX RDF
86	Silvana Castano, Alfio Ferrara, Stefano Montanelli, D. Zucchelli	HELIOS: a General Framework for Ontology-based Knowledge Sharing and Evolution in P2P Systems.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
65	Nathan Farrington, George Porter, Sivasankar Radhakrishnan, Hamid Hajabdolali Bazzaz, Vikram Subramanya, Yeshaiahu Fainman, George Papen, Amin Vahdat	Helios: a hybrid electrical/optical switch architecture for modular data centers.	SIGCOMM	2010	DBLP DOI BibTeX RDF	optical networks, data center networks
65	Michele Guarnieri, Ryo Kurazume, Hiroshi Masuda, Takao Inoh, Kensuke Takita, Paulo Debenest, Ryuichi Hodoshima, Edwardo F. Fukushima, Shigeo Hirose	HELIOS system: A team of tracked robots for special urban search and rescue operations.	IROS	2009	DBLP DOI BibTeX RDF
59	Véronique Cortier, Ben Smyth	Attacking and Fixing Helios: An Analysis of Ballot Secrecy.	CSF	2011	DBLP DOI BibTeX RDF	Ballot Independence, Ballot Secrecy, Helios, Privacy, Attack, Electronic Voting, Applied Pi Calculus
44	Michele Guarnieri, Takao Inoh, Paulo Debenest, Kensuke Takita, Edwardo F. Fukushima, Shigeo Hirose	HELIOS IX tracked vehicle for urban search and rescue operations: Mechanical design and first tests.	IROS	2008	DBLP DOI BibTeX RDF
42	Antonio Gulli, Alessio Signorini	Building an open source meta-search engine.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	open source, meta search engines
35	Ana V. Ruescas-Nicolau, Enrique Medina-Ripoll, Helios de Rosario, Joaquín Sanchiz Navarro, Eduardo Parrilla, Maria del Carmen Juan Lizandra	A Deep Learning Model for Markerless Pose Estimation Based on Keypoint Augmentation: What Factors Influence Errors in Biomechanical Applications?	Sensors	2024	DBLP DOI BibTeX RDF
35	José Francisco Pedrero-Sánchez, Helios de Rosario, Enrique Medina, David Garrido-Jaén, Pilar Serra-Añó, Sara Mollà-Casanova, Juan López-Pascual	The Reliability and Accuracy of a Fall Risk Assessment Procedure Using Mobile Smartphone Sensors Compared with a Physiological Profile Assessment.	Sensors	2023	DBLP DOI BibTeX RDF
35	G. Greco, M. Punturo, Mark G. Allen, A. Nebot, P. Fernique, M. Baumann, François-Xavier Pineau, Thomas Boch, Sébastien Derriere, M. Branchesi, M. Bawaj, Helios Vocca	Multi Order Coverage data structure to plan multi-messenger observations.	Astron. Comput.	2022	DBLP DOI BibTeX RDF
35	Monika Stipsitz, Hèlios Sanchis-Alepuz	Approximating the full-field temperature evolution in 3D electronic systems from randomized "Minecraft" systems.	CoRR	2022	DBLP DOI BibTeX RDF
35	Hèlios Sanchis-Alepuz, Monika Stipsitz	Towards Real Time Thermal Simulations for Design Optimization using Graph Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
35	Ngawang Trinley, Tenzin, Dirk Schmidt, Helios Hildt, Tenzin Kaldan	Taming the Wild Etext: Managing, Annotating, and Sharing Tibetan Corpora in Open Spaces.	ACM Trans. Asian Low Resour. Lang. Inf. Process.	2021	DBLP DOI BibTeX RDF
35	Hèlios Sanchis-Alepuz, Richard Williams 0003	Recent developments in bound-state calculations using the Dyson-Schwinger and Bethe-Salpeter equations.	Comput. Phys. Commun.	2018	DBLP DOI BibTeX RDF
35	Daryoush Daniel Vaziri, Konstantin Aal, Yves J. Gschwind, Kim Delbaere, Anne Weibert, Janneke Annegarn, Helios de Rosario, Rainer Wieching, David Randall 0001, Volker Wulf	Analysis of effects and usage indicators for a ICT-based fall prevention system in community dwelling older adults.	Int. J. Hum. Comput. Stud.	2017	DBLP DOI BibTeX RDF
35	Alessandro Vercelli, Innocenzo Rainero, Helios de Rosario, Mathew Summers, Rainer Wieching, Georg Aumayr, Stephan Bandelow, Ludovico Ciferri, Marco Bazzani	My-active and healthy ageing (My-AHA): An ICT platform to detect frailty risk and propose intervention.	SoftCOM	2017	DBLP DOI BibTeX RDF
35	Néstor Arroyo-Gómez, José Laparra-Hernández, Andrés Soler Valero, Enrique Medina, Helios de Rosario	Physiological Model to Classify Physical and Cognitive Workload During Gaming Activities.	AHFE (2)	2017	DBLP DOI BibTeX RDF
35	Helios Herrera, Johannes Hörner	Biased social learning.	Games Econ. Behav.	2013	DBLP DOI BibTeX RDF
35	Enrique Medina, Helios de Rosario, José Olaso, Alfredo Ballester, Jose Navarro, Alvaro Page	Identification of Pronation-supination Patterns on Runners - An Aplication of Functional Principal Component Analysis.	BIOSIGNALS	2013	DBLP BibTeX RDF
35	Francesco Orfei, Igor Neri, Helios Vocca, Luca Gammaitoni	Nonlinear vibration energy harvesting at work: An application for the automotive sector.	ISCAS	2013	DBLP DOI BibTeX RDF
35	Helios de Rosario, Alvaro Page, Antonio José Besa, Vicente Mata, Efraim Conejero	Kinematic description of soft tissue artifacts: quantifying rigid versus deformation components and their relation with bone motion.	Medical Biol. Eng. Comput.	2012	DBLP DOI BibTeX RDF
35	Francesco Cottone, Philippe Basset, Helios Vocca, Luca Gammaitoni	Electromagnetic Buckled Beam Oscillator for Enhanced Vibration Energy Harvesting.	GreenCom	2012	DBLP DOI BibTeX RDF
35	Francesco Cottone, Riccardo Mincigrucci, Igor Neri, Francesco Orfei, Flavio Travasso, Helios Vocca, Luca Gammaitoni	Nonlinear Kinetic Energy Harvesting.	FET	2011	DBLP DOI BibTeX RDF
35	Igor Neri, Flavio Travasso, Helios Vocca, Luca Gammaitoni	Nonlinear noise harvesters for nanosensors.	Nano Commun. Networks	2011	DBLP DOI BibTeX RDF
35	Angel Valera, Francesc Benimeli, José S. Solaz, Helios de Rosario, Anders Robertsson, Klas Nilsson, Ranko Zotovic Stanisic, Martin Mellado	A Car-Seat Example of Automated Anthropomorphic Testing of Fabrics Using Force-Controlled Robot Motions.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
35	Sascha D. Cvetkovic, Helios Jellema, Peter H. N. de With	Automatic Level Control for Video Cameras towards HDR Techniques.	EURASIP J. Image Video Process.	2010	DBLP DOI BibTeX RDF
35	José Ramón Ruiz-Rodríguez, Helios de Rosario, Denis Miglianico, José S. Solaz	Heuristic models applied to the assessment and redesign of human machine interfaces embedded in light rail vehicles.	IFAC HMS	2010	DBLP DOI BibTeX RDF
35	Fausto Acernese, P. Amico, M. Al-Shourbagy, S. Aoudia, Saverio Avino, D. Babusci, G. Ballardin, R. Barillé, Fabrizio Barone, Lisa Barsotti, Matteo Barsuglia, F. Beauville, M. A. Bizouard, C. Boccara, F. Bondu, L. Bosi, C. Bradaschia, S. Braccini, A. Brillet, V. Brisson, L. Brocco, D. Buskulic, E. Calloni, E. Campagna, F. Cavalier, R. Cavalieri, Giancarlo Cella, E. Chassande-Mottin, C. Corda, A.-C. Clapson, F. Cleva, J.-P. Coulon, Elena Cuoco, V. Dattilo, M. Davier, Rosario De Rosa, L. Di Fiore, Angela Di Virgilio, B. Dujardin, Antonio Eleuteri, D. Enard, I. Ferrante, Francesco Fidecaro, I. Fiori, R. Flaminio, J.-D. Fournier, S. Frasca, F. Frasconi, A. Freise, Luca Gammaitoni, A. Gennai, A. Giazotto, Gerardo Giordano, L. Giordano, R. Gouaty, D. Grosjean, Gianluca Guidi, S. Hebri, H. Heitmann, P. Hello, L. Holloway, S. Kreckelbergh, Paolo La Penna, Vincent Loriette, M. Loupias, Giovanni Losurdo, Jean-Marie Mackowski, E. Majorana, C. N. Man, Marco Mantovani 0004, Fabio Marchesoni, F. Marion, J. Marque, F. Martelli, A. Masserot, Massimo Mazzoni, Leopoldo Milano, C. Moins, J. Moreau, N. Morgado, B. Mours, A. Pai, C. Palomba, F. Paoletti, Silvio Pardi, A. Pasqualetti, R. Passaquieti, D. Passuello, B. Perniola, F. Piergiovanni, L. Pinard, R. Poggiani, M. Punturo, P. Puppo, K. Qipiani, P. Rapagnani, V. Reita, A. Remillieux, Fulvio Ricci, I. Ricciardi, P. Ruggi, Giovanni Russo, S. Solimeno, A. Spallicci, Ruggero Stanga, R. Taddei, D. Tombolato, Mauro Tonelli, Alessandra Toncelli, E. Tournefier, Flavio Travasso, Gabriele Vajente, D. Verkindt, Flavio Vetrano, Andrea Vicerè, J.-Y. Vinet, Helios Vocca, M. Yvert, Z. Zhang	Length Sensing and Control in the Virgo Gravitational Wave Interferometer.	IEEE Trans. Instrum. Meas.	2006	DBLP DOI BibTeX RDF
35	Alvaro Page, Helios de Rosario, Vicente Mata, Juan Víctor Hoyos, Rosa Porcar	Effect of marker cluster design on the accuracy of human movement analysis using stereophotogrammetry.	Medical Biol. Eng. Comput.	2006	DBLP DOI BibTeX RDF
35	Carlos S. Kubrusly, Helios Malebranche	Sensors and controllers location in distributed systems - A survey.	Autom.	1985	DBLP DOI BibTeX RDF
23	Mengqi Zhao, Zarrar Khan, Kalyn Dorheim, Chris R. Vernon	helios: An R package to process heating and cooling degrees for GCAM.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
23	Jie Sun, Mo Sun, Zheng Zhang, Jun Xie, Zuocheng Shi, Zihan Yang, Jie Zhang, Fei Wu, Zeke Wang	Helios: An Efficient Out-of-core GNN Training System on Terabyte-scale Graphs with In-memory Performance.	CoRR	2023	DBLP DOI BibTeX RDF
23	Rafal Muszynski, Hiep Luong	Helios: Hyperspectral Hindsight Ostracker.	WHISPERS	2023	DBLP DOI BibTeX RDF
23	Yuhuan Lu, Bangchao Deng, Weijian Yu, Dingqi Yang	HELIOS: Hyper-Relational Schema Modeling from Knowledge Graphs.	ACM Multimedia	2023	DBLP DOI BibTeX RDF
23	Myoungsung You, Jaehyun Nam, Minjae Seo, Seungwon Shin	HELIOS: Hardware-assisted High-performance Security Extension for Cloud Networking.	SoCC	2023	DBLP DOI BibTeX RDF
23	Alberto Manuel Esmorís Pena, Miguel Yermo, Hannah Weiser, Lukas Winiwarter, Bernhard Höfle, Francisco F. Rivera	Virtual LiDAR Simulation as a High Performance Computing Challenge: Toward HPC HELIOS++.	IEEE Access	2022	DBLP DOI BibTeX RDF
23	Ehsan Maleki, Saeedeh Akbari Rokn Abadi, Somayyeh Koohi	HELIOS: High-speed sequence alignment in optics.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
23	Cleovaldo José De Lima E. Silva Junior, Igor Medeiros Vanderlei, Jean Carlos Teixeira de Araújo, Rodrigo Rocha	Evaluation of Open-Source E-Voting Systems Using Helios Voting in Public University Elections.	WebMedia	2022	DBLP DOI BibTeX RDF
23	Cosmin Striletchi, Adriana Cornelia Stan, Eusebiu Jecan	Gamification-Based Tools Embedded in the Helios Educational Platform.	WorldCIST (2)	2022	DBLP DOI BibTeX RDF
23	Luis Panizo-Alonso, Mila Gascó, David Yeregui Marcos del Blanco, José A. Hermida-Alonso, Jordi Barrat, Héctor Alaiz-Moretón	E-Voting System Evaluation Based on The Council of Europe Recommendations: Helios Voting.	IEEE Trans. Emerg. Top. Comput.	2021	DBLP DOI BibTeX RDF
23	Lukas Winiwarter, Alberto Manuel Esmorís Pena, Hannah Weiser, Katharina Anders, Jorge Martínez Sánchez, Mark Searle, Bernhard Höfle	Virtual laser scanning with HELIOS++: A novel take on ray tracing-based simulation of topographic 3D laser scanning.	CoRR	2021	DBLP BibTeX RDF
23	Ben Smyth	Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios.	J. Comput. Secur.	2021	DBLP DOI BibTeX RDF
23	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.	CSF	2021	DBLP DOI BibTeX RDF
23	Barbara Guidi, Laura Ricci, Rolf Nyffenegger, Robin Ribback	HELIOS CJ App: The decentralization of the Citizen Journalism.	GoodIT	2021	DBLP DOI BibTeX RDF
23	Zirui Xu, Fuxun Yu, Jinjun Xiong, Xiang Chen 0010	Helios: Heterogeneity-Aware Federated Learning with Dynamically Balanced Collaboration.	DAC	2021	DBLP DOI BibTeX RDF
23	Rahul Potharaju, Terry Kim, Wentao Wu 0001, Vidip Acharya, Steve Suh, Andrew Fogarty, Apoorve Dave, Sinduja Ramanujam, Tomas Talius, Lev Novik, Raghu Ramakrishnan 0001	Helios: Hyperscale Indexing for the Cloud & Edge. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
23	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
23	Maxime Meyer, Ben Smyth	Exploiting re-voting in the Helios election system.	Inf. Process. Lett.	2019	DBLP DOI BibTeX RDF
23	Harald Marx, Joshua J. Coon	MS-Helios: a Circos wrapper to visualize multi-omic datasets.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
23	Mazharul Islam, Novia Nurain, Mohammad Kaykobad, Sriram Chellappan, A. B. M. Alim Al Islam	HEliOS: huffman coding based lightweight encryption scheme for data transmission.	MobiQuitous	2019	DBLP DOI BibTeX RDF
23	Ali Davoudian	Helios: An Adaptive and Query Workload-driven Partitioning Framework for Distributed Graph Stores.	SIGMOD Conference	2019	DBLP DOI BibTeX RDF
23	Ben Smyth	Verifiability of Helios Mixnet.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
23	Ben Smyth	Verifiability of Helios Mixnet.	Financial Cryptography Workshops	2018	DBLP DOI BibTeX RDF
23	Noman Bashir, David E. Irwin 0001, Prashant J. Shenoy	Helios: a programmable software-defined solar module.	BuildSys@SenSys	2018	DBLP DOI BibTeX RDF
23	Giuseppe Ateniese, Giuseppe Bianchi 0001, Angelo T. Capossele, Chiara Petrioli, Dora Spenza	HELIOS: Outsourcing of Security Operations in Green Wireless Sensor Networks.	VTC Spring	2017	DBLP DOI BibTeX RDF
23	David Bernhard, Oksana Kulyk, Melanie Volkamer	Security Proofs for Participation Privacy, Receipt-Freeness and Ballot Privacy for the Helios Voting Scheme.	ARES	2017	DBLP DOI BibTeX RDF
23	Oksana Kulyk	Extending the Helios internet voting scheme towards new election settings.		2017	RDF
23	Nathan Hariharan, Andrew M. Wissink, Mark Potsdam, Roger C. Strawn	First-Principles Physics-Based Rotorcraft Flowfield Simulation Using HPCMP CREATE-AV Helios.	Comput. Sci. Eng.	2016	DBLP DOI BibTeX RDF
23	Maxime Meyer, Ben Smyth	An attack against the Helios election system that violates eligibility.	CoRR	2016	DBLP BibTeX RDF
23	David Bernhard, Oksana Kulyk, Melanie Volkamer	Security Proofs for Participation Privacy and Stronger Veri ability for Helios.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
23	David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi	Adapting Helios for provable ballot privacy.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
23	David Bernhard, Olivier Pereira, Bogdan Warinschi	How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
23	Michael Backes 0001, Christian Hammer 0001, David Pfaff, Malte Skoruppa	Implementation-level analysis of the JavaScript helios voting client.	SAC	2016	DBLP DOI BibTeX RDF
23	Oksana Kulyk, Karola Marky, Stephan Neumann, Melanie Volkamer	Introducing Proxy Voting to Helios.	ARES	2016	DBLP DOI BibTeX RDF
23	Nicholas Chang-Fong, Aleksander Essex	The cloudier side of cryptographic end-to-end verifiable voting: a security analysis of Helios.	ACSAC	2016	DBLP BibTeX RDF
23	Ben Smyth, Steven Frink, Michael R. Clarkson	Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
23	Claudia Z. Acemyan, Philip T. Kortum, Michael D. Byrne, Dan S. Wallach	Users' Mental Models for Three End-to-End Voting Systems: Helios, Prêt à Voter, and Scantegrity II.	HCI (22)	2015	DBLP DOI BibTeX RDF
23	Oksana Kulyk, Vanessa Teague, Melanie Volkamer	Extending Helios Towards Private Eligibility Verifiability.	VoteID	2015	DBLP DOI BibTeX RDF
23	Ryuichi Hodoshima, Koji Ueda, Hiroaki Ishida, Michele Guarnieri, Edwardo F. Fukushima, Shigeo Hirose	Telerobotic Control System to Enhance Rescue Operations for Arm-Equipped Tracked Vehicle HELIOS IX.	J. Robotics Mechatronics	2014	DBLP DOI BibTeX RDF
23	Adam McCarthy, Ben Smyth, Elizabeth A. Quaglia	Hawk and Aucitas: e-Auction Schemes from the Helios and Civitas e-Voting Schemes.	Financial Cryptography	2014	DBLP DOI BibTeX RDF
23	Axel-Cyrille Ngonga Ngomo	HELIOS - Execution Optimization for Link Discovery.	ISWC (1)	2014	DBLP DOI BibTeX RDF
23	Stephan Neumann, Maina M. Olembo, Karen Renaud, Melanie Volkamer	Helios Verification: To Alleviate, or to Nominate: Is That the Question, or Shall we Have Both?	EGOVIS	2014	DBLP DOI BibTeX RDF
23	Claudia Z. Acemyan, Philip T. Kortum, Michael D. Byrne, Dan S. Wallach	Usability of Voter Verifiable, End-to-end Voting Systems: Baseline Data for Helios, Prêt à Voter, and Scantegrity II.	EVT/WOTE	2014	DBLP BibTeX RDF
23	Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Steve A. Schneider, Zhe Xia	Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios.	NSS	2014	DBLP DOI BibTeX RDF
23	Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène	Election Verifiability for Helios under Weaker Trust Assumptions.	ESORICS (2)	2014	DBLP DOI BibTeX RDF
23	Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène	A generic construction for voting correctness at minimum cost - Application to Helios.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
23	Véronique Cortier, Ben Smyth	Attacking and fixing Helios: An analysis of ballot secrecy.	J. Comput. Secur.	2013	DBLP DOI BibTeX RDF
23	Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène	Distributed ElGamal à la Pedersen: Application to Helios.	WPES	2013	DBLP DOI BibTeX RDF
23	Georgios Tsoukalas, Kostas Papadimitriou, Panos Louridas, Panayiotis Tsanakas	From Helios to Zeus.	EVT/WOTE	2013	DBLP BibTeX RDF
23	Hidehisa Akiyama, Tomoharu Nakashima	HELIOS Base: An Open Source Package for the RoboCup Soccer 2D Simulation.	RoboCup	2013	DBLP DOI BibTeX RDF
23	Michael G. Christel, Scott M. Stevens, Arseniy Klishin, Sean Brice, Matt Champer, Samantha Collier, Yilin Fan, Sakar Khattar, Bryan Maher, Neerav Mehta, Mu Ni	Helios: An HTML5 game teaching proportional reasoning to child players.	CGAMES	2013	DBLP DOI BibTeX RDF
23	S. B. Ferrer, Cristóbal Ochoa-Luna, Mohammad Habibur Rahman, Maarouf Saad, Philippe S. Archambault	HELIOS: The human machine interface for MARSE robot.	HSI	2013	DBLP DOI BibTeX RDF
23	Ben Smyth	Replay attacks that violate ballot secrecy in Helios.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
23	Denise Demirel, Jeroen van de Graaf, Roberto Samarone dos Santos Araújo	Improving Helios with Everlasting Privacy Towards the Public.	EVT/WOTE	2012	DBLP BibTeX RDF
23	David Bernhard, Olivier Pereira, Bogdan Warinschi	How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.	ASIACRYPT	2012	DBLP DOI BibTeX RDF
23	Yvo Desmedt, Pyrros Chaidos	Applying Divertibility to Blind Ballot Copying in the Helios Internet Voting System.	ESORICS	2012	DBLP DOI BibTeX RDF
23	J. Wünscher, Hannes Götz Kenngott, Martin Wagner, Felix Nickel, Beat P. Müller-Stich	HELIOS - Heidelberg Laparoscopic Intervention and Operation Simulator.	CURAC	2012	DBLP BibTeX RDF
23	Ryuichi Hodoshima, Michele Guarnieri, Ryo Kurazume, Hiroshi Masuda, Takao Inoh, Paulo Debenest, Edwardo F. Fukushima, Shigeo Hirose	HELIOS Tracked Robot Team: Mobile RT System for Special Urban Search and Rescue Operations.	J. Robotics Mechatronics	2011	DBLP DOI BibTeX RDF
23	Koji Ueda, Michele Guarnieri, Takao Inoh, Paulo Debenest, Ryuichi Hodoshima, Edwardo F. Fukushima, Shigeo Hirose	Development of HELIOS IX: An Arm-Equipped Tracked Vehicle.	J. Robotics Mechatronics	2011	DBLP DOI BibTeX RDF
23	Fatih Karayumak, Michaela Kauer, Maina M. Olembo, Tobias Volk, Melanie Volkamer	User study of the improved Helios voting system interfaces.	STAST	2011	DBLP DOI BibTeX RDF
23	Philippe Bulens, Damien Giry, Olivier Pereira	Running Mixnet-Based Elections with Helios.	EVT/WOTE	2011	DBLP BibTeX RDF
23	Fatih Karayumak, Maina M. Olembo, Michaela Kauer, Melanie Volkamer	Usability Analysis of Helios - An Open Source Verifiable Remote Electronic Voting System.	EVT/WOTE	2011	DBLP BibTeX RDF
23	David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi	Adapting Helios for Provable Ballot Privacy.	ESORICS	2011	DBLP DOI BibTeX RDF
23	Mario Heiderich, Tilman Frosch, Marcus Niemietz, Jörg Schwenk	The Bug That Made Me President a Browser- and Web-Security Case Study on Helios Voting.	VoteID	2011	DBLP DOI BibTeX RDF
23	Véronique Cortier, Ben Smyth	Attacking and fixing Helios: An analysis of ballot secrecy.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
23	Koji Ueda, Michele Guarnieri, Ryuichi Hodoshima, Edwardo F. Fukushima, Shigeo Hirose	Improvement of the remote operability for the arm-equipped tracked vehicle HELIOS IX.	IROS	2010	DBLP DOI BibTeX RDF
23	Lucie Langer, Axel Schmidt 0001, Johannes Buchmann 0001, Melanie Volkamer	A Taxonomy Refining the Security Requirements for Electronic Voting: Analyzing Helios as a Proof of Concept.	ARES	2010	DBLP DOI BibTeX RDF	security requirements, e-voting, adversary models
23	Saghar Estehghari, Yvo Desmedt	Exploiting the Client Vulnerabilities in Internet E-voting Systems: Hacking Helios 2.0 as an Example.	EVT/WOTE	2010	DBLP BibTeX RDF
23	Daniel Popescu 0001	Helios: impact analysis for event-based components and systems.	ICSE (2)	2010	DBLP DOI BibTeX RDF