The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for MARS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-1982 (16) 1983 (17) 1984-1985 (31) 1986-1989 (18) 1990-1991 (18) 1992 (16) 1993-1994 (16) 1995 (19) 1996 (16) 1997 (24) 1998 (26) 1999 (22) 2000 (33) 2001 (27) 2002 (33) 2003 (32) 2004 (56) 2005 (84) 2006 (78) 2007 (79) 2008 (91) 2009 (76) 2010 (49) 2011 (48) 2012 (39) 2013 (59) 2014 (65) 2015 (61) 2016 (67) 2017 (93) 2018 (69) 2019 (83) 2020 (91) 2021 (94) 2022 (137) 2023 (119) 2024 (25)
Publication types (Num. hits)
article(781) data(3) incollection(15) inproceedings(1097) phdthesis(15) proceedings(16)
Venues (Conferences, Journals, ...)
CoRR(154) LMO(62) Remote. Sens.(55) CAL(39) IGARSS(35) SMC(32) MARS@ETAPS(30) BDA(29) ICRA(29) IEEE Trans. Geosci. Remote. Se...(25) J. Field Robotics(19) WHISPERS(19) Sensors(17) SPLT(16) MARS@MobiSys(15) EUSIPCO(13) More (+10 of total 830)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 382 occurrences of 323 keywords

Results
Found 1982 publication records. Showing 1927 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
168Johannes Reisinger Time driven operating systems: a case study on the MARS kernel. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
111Shamim Begum, Meeta Sharma, Ahmed Helmy, Sandeep Gupta 0001 Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS. Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF systematic testing of robustness by evaluation of synthesized scenarios, registration message, MARS server, forward search, multicast address resolution server protocol, protocol robustness, Internet, performance, mobile computing, complexity, protocols, asynchronous transfer mode, ATM, topologies, network topology, error, mobile IP, search problems, multicast communication, STRESS, IP-multicast, network servers, packet radio networks, MIP, MARS, event sequences, land mobile radio, test generation algorithm, home agent, asymptotic complexity
101Matthew R. B. Hardy The Mars project: PDF in XML. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF zip, XML, SVG, PDF, package, Mars
91David J. Nott, Anthony Y. C. Kuk, Hiep Duc Efficient sampling schemes for Bayesian MARS models with many predictors. Search on Bibsonomy Stat. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multivariate adaptive regression splines, high-dimensional regression, Bayesian inference, Markov chain Monte Carlo, nonparametric regression
91Efthimis N. Efthimiadis, Jens-Erik Mai Puget sound's MARS (media asset retrieval systems) digital library. Search on Bibsonomy JCDL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF access to broadcasts, corporation for public broadcasting (CPB), media asset management (MAM), metadata, video, audio
78Andrew E. Johnson 0002, Reg G. Willson, Yang Cheng, Jay Goguen, Chris Leger, Miguel Sanmartin, Larry H. Matthies Design Through Operation of an Image-Based Velocity Estimation System for Mars Landing. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mars lander, Mars Exploration Rover, DIMES, computer vision, robotics, feature tracking, velocity estimation
69Max Bajracharya, Mark W. Maimone, Daniel M. Helmick Autonomy for Mars Rovers: Past, Present, and Future. Search on Bibsonomy Computer The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
69Mahendiran Prathaban, Joséphine Kohlenberg Buffer Management Policy for Mars Intelligent Proximity Network. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Intelligent Proximity Network, Bundle Protocol, Performance, Buffer Management
69Shengqi Ye, Yingjia He, Jianming Hu, Zuo Zhang Short-Term Traffic Flow Forecasting Based on MARS. Search on Bibsonomy FSKD (5) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
69Nozar Tabrizi, Nader Bagherzadeh, Amir Hosein Kamalizad, Haitao Du MaRS: a macro-pipelined reconfigurable system. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF 2D-mesh network, multimedia, computer graphics, wireless communication, reconfigurable architectures, MIMD
69Yuqing Gao, Bowen Zhou, Zijian Diao, Jeffrey S. Sorensen, Michael Picheny MARS: A Statistical Semantic Parsing and Generation-Based Multilingual Automatic tRanslation System. Search on Bibsonomy Mach. Transl. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
68Jiashan Song, Yong Li, Feng Ji, Haoying Sun, Ying Zhu, Cheng Peng The MARS-Based Research about Reliability Judgement of Members of Supply Chain Alliance. Search on Bibsonomy WKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reliability, SCA, MARS
61Steve Squyres Interacting with robots on Mars: operation of the mars exploration rovers. Search on Bibsonomy HRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF keynote talk
60Erzsébet Merényi, William H. Farrand, Philip Tracadas Mapping Surface Materials on Mars from Mars Pathfinder Spectral Images with HYPEREYE. Search on Bibsonomy ITCC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Martian surface, Mars Pathfinder, spectral image analysis, Self-Organizing Map
58Christian Heipke, Heinrich Ebner, Ralph Schmidt, Michael Spiegel, Rüdiger Brand, Albert Baumgartner, Gerhard Neukum Camera Orientation of Mars Express Using DTM Information. Search on Bibsonomy DAGM-Symposium The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Robert O. Reynolds, Peter H. Smith, L. Stephen Bell, H. Uwe Keller The design of Mars lander cameras for Mars Pathfinder, Mars Surveyor '98 and Mars Surveyor '01. Search on Bibsonomy IEEE Trans. Instrum. Meas. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Scott T. Crino, Donald E. Brown Global Optimization With Multivariate Adaptive Regression Splines. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Jayfus T. Doswell Augmented Learning: Context-Aware Mobile Augmented Reality Architecture for Learning. Search on Bibsonomy ICALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Amir Hosein Kamalizad, Nozar Tabrizi, Nader Bagherzadeh, Akira Hatanaka A Programmable DSP Architecture for Wireless Communication Systems. Search on Bibsonomy ASAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Glenn Pearson, Chan Moon Bridging Two Biomedical Journal Databases with XML-A Case Study. Search on Bibsonomy CBMS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
54Ahmad Jalal, Mian Ahmad Zeb Security and QoS Optimization for Distributed Real Time Environment. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF RIPEMD-160, IP Routing Protocol, Quality of Service (QoS), MARS
47Andres Castano, Alex Fukunaga, Jeffrey J. Biesiadecki, Lynn Neakrase, Patrick L. Whelley, Ronald Greeley, Mark T. Lemmon, Rebecca Castaño, Steve A. Chien Automatic detection of dust devils and clouds on Mars. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rover, MER, Surveillance, Science
47Bingsheng He, Wenbin Fang, Qiong Luo 0001, Naga K. Govindaraju, Tuyong Wang Mars: a MapReduce framework on graphics processors. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF GPGPU, MapReduce, data parallelism, graphics processor, multi-core processors, web analysis
47Xiaonan Ji, James Bailey 0001, Kotagiri Ramamohanarao g-MARS: Protein Classification Using Gapped Markov Chains and Support Vector Machines. Search on Bibsonomy PRIB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Janet Vertesi "Seeing like a rover": embodied experience on the mars exploration rover mission. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF embodied computing, usability, human-robot interaction, affect, social robotics, anthropomorphism
47Lori Southard, Thomas M. Hoeg, Daniel W. Palmer, Jeffrey Antol, Richard M. Kolacinski, Roger D. Quinn Exploring Mars Using a Group of Tumbleweed Rovers. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Rebecca Castaño, Kiri Wagstaff, Steve A. Chien, Timothy M. Stough, Benyang Tang On-board analysis of uncalibrated data for a spacecraft at mars. Search on Bibsonomy KDD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF on-board data mining, real-time data analysis, resource-constrained computing, lessons learned
47Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta Automatic Recognition of Landforms on Mars Using Terrain Segmentation and Classification. Search on Bibsonomy Discovery Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Ricardo Olanda, Manolo Pérez, Pedro Morillo 0001, Marcos Fernández 0001, Sergio Casas 0001 Entertainment virtual reality system for simulation of spaceflights over the surface of the planet Mars. Search on Bibsonomy VRST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF entertainment virtual reality, immersive visualization systems, terrain representation
47Ananya Mukhopadhyay, Asif Iqbal Comparison of ANN and MARS in Prediction of Property of Steel Strips. Search on Bibsonomy WSC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Juan Félix San-Juan, Sergio Serrano, Alberto Abad Analytical Theory of Motion of a Mars Orbiter. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Elias Sinderson, Vish Magapu, Ronald Mak Middleware and Web Services for the Collaborative Information Portal of NASA's Mars Exploration Rovers Mission. Search on Bibsonomy Middleware The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Ajith Abraham, Dan Steinberg Is Neural Network a Reliable Forecaster on Earth? A MARS Query! Search on Bibsonomy IWANN (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Ajith Abraham, Dan Steinberg MARS: Still an Alien Planet in Soft Computing? Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Larry H. Matthies, Byron Chen, Jon Petrescu Stereo Vision, Residual Image Processing and Mars Rover Localization. Search on Bibsonomy ICIP (3) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
47Alessandro Contessa, Eric Cousin, Christophe Coustet, Manuel Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng MaRS, a Combinator Graph Reduction Multiprocessor. Search on Bibsonomy PARLE (1) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
46Jeffrey J. Biesiadecki, Chris Leger, Mark W. Maimone Tradeoffs Between Directed and Autonomous Driving on the Mars Exploration Rovers. Search on Bibsonomy ISRR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Mars Rover, MER, Autonomy, Space Robotics, Mission Planning
44Amedeo Cesta, Gabriella Cortellessa, Michel Denis, Alessandro Donati, Simone Fratini, Angelo Oddi, Nicola Policella, Erhard Rabenau, Jonathan Schulster Mexar2: AI Solves Mission Planner Problems. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF extraterrestrial exploration, space vehicle communication, artificial intelligence, AI
44Jayfus T. Doswell, M. Brian Blake, Jerome Butcher-Green Mobile Augmented Reality System Architecture for Ubiquitous e-Learning. Search on Bibsonomy WMTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Mark Grechanik, Dewayne E. Perry, Don S. Batory Using AOP to Monitor and Administer Software for Grid Computing Environments. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Ching-Yi Wang, Keshab K. Parhi High-level DSP synthesis using concurrent transformations, scheduling, and allocation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
43Tomasz F. Stepinski, Ricardo Vilalta, Soumya Ghosh Machine Learning Tools for Automatic Mapping of Martian Landforms. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF machine learning, Mars
43John R. Wright, Frank R. Hartman, Brian K. Cooper Immersive Environment Technologies for Planetary Exploration. Search on Bibsonomy VR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Rover Control Workstation, JPL, visualization, terrain modelling, Immersive environments, Mars, Pathfinder
42Michael Gorski, Thomas Knapke, Eik List, Stefan Lucks, Jakob Wenzel 0001 Mars Attacks! Revisited: - Differential Attack on 12 Rounds of the MARS Core and Defeating the Complex MARS Key-Schedule. Search on Bibsonomy INDOCRYPT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
40Clemens Dubslaff, Bas Luttik (eds.) Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. Search on Bibsonomy MARS@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam Advanced Models for the OSPF Routing Protocol. Search on Bibsonomy MARS@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Lina Marsso, Radu Mateescu 0001, Lucie Muller, Wendelin Serwe Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. Search on Bibsonomy MARS@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Franco Mazzanti, Dimitri Belli Formal Modeling and Initial Analysis of the 4SECURail Case Study. Search on Bibsonomy MARS@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Arnd Hartmanns An Overview of Modest Models and Tools for Real Stochastic Timed Systems. Search on Bibsonomy MARS@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp Modeling R3 Needle Steering in Uppaal. Search on Bibsonomy MARS@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Sandra Johnson, David Hyland-Wood, Anders L. Madsen, Kerrie L. Mengersen Stateful to Stateless: Modelling Stateless Ethereum. Search on Bibsonomy MARS@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Ansgar Fehnker, Hubert Garavel (eds.) Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Max J. Friese, Dirk Nowotka Estimating End-to-End Latencies in Automotive Cyber-physical Systems. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös 0001 Simulation-based Safety Assessment of High-level Reliability Models. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Radu Mateescu 0001, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Clemens Dubslaff, Andrey Morozov 0001, Christel Baier, Klaus Janschek Iterative Variable Reordering: Taming Huge System Families. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger, Marcel Bengs, Alexander Schlaefer, Sibylle Schupp Synthesizing Strategies for Needle Steering in Gelatin Phantoms. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Hugues Evrard Modeling the Raft Distributed Consensus Protocol in LNT. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Ryan Barry, Rob van Glabbeek, Peter Höfner Formalising the Optimised Link State Routing Protocol. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Jack Drury, Peter Höfner, Weiyou Wang Formal Models of the OSPF Routing Protocol. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Marc Bouissou, Shahid Khan 0002, Joost-Pieter Katoen, Pavel Krcál Various Ways to Quantify BDMPs. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40Lina Marsso Specifying a Cryptographical Protocol in Lustre and SCADE. Search on Bibsonomy MARS@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
40John P. Gallagher, Rob van Glabbeek, Wendelin Serwe (eds.) Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  BibTeX  RDF
40Robert Glück An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
40Josip Bozic, Lina Marsso, Radu Mateescu 0001, Franz Wotawa A Formal TLS Handshake Model in LNT. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
40Hubert Garavel, Lina Marsso Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
40Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
40Franco Mazzanti, Alessio Ferrari 0001 Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
40Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders 0001, Mattias Ulbrich, Alexander Weigl Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
40Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz Modeling a Cache Coherence Protocol with the Guarded Action Language. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
40Holger Hermanns, Peter Höfner (eds.) Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Marc Bouissou A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Muhammad Usama Sardar, Osman Hasan Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Hubert Garavel, Wendelin Serwe The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Wojciech Mostowski, Thomas Arts, John Hughes 0001 Modelling of Autosar Libraries for Large Scale Testing. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Rob J. van Glabbeek, Peter Höfner Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe Formalizing Memory Accesses and Interrupts. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit A Model-Derivation Framework for Software Analysis. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Hubert Garavel, Lina Marsso A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Shruti Saini, Ansgar Fehnker Evaluating the Stream Control Transmission Protocol Using Uppaal. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
40Rob J. van Glabbeek, Jan Friso Groote, Peter Höfner (eds.) Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
40Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga Modeling and Verification of the Bitcoin Protocol. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
40Sidney Amani, Toby C. Murray Specifying a Realistic File System. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
40Franck Cassez, Pablo González de Aledo Marugán Timed Automata for Modelling Caches and Pipelines. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
40Wendelin Serwe Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
40June Andronick, Corey Lewis, Carroll Morgan Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
40Felix Freiberger, Holger Hermanns On the Control of Self-Balancing Unicycles. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
40Mooi Choo Chuah, Pan Hui (eds.) Proceedings of the 2014 Workshop on Mobile Augmented Reality and Robotic Technology-Based Systems, MARS 2014, Bretton Woods, New Hampshire, USA, June 16, 2014 Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Zhanpeng Huang, Weikai Li 0001, Pan Hui 0001, Christoph Peylo CloudRidAR: a cloud-based architecture for mobile augmented reality. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Justin Manweiler Cloud-based mobile augmented reality, pitfalls and strategies in a realtime deployment. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Henny Admoni Toward a data-driven generative behavior model for human-robot interaction. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Zhuo Zhang 0009, Pan Hui 0001, Sanjeev R. Kulkarni, Christoph Peylo Enabling an augmented reality ecosystem: a content-oriented survey. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Henny Admoni, Brian Scassellati Demo: toward a data-driven generative behavior model for human-robot interaction. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Justin Manweiler, Mohammed (Ehsan) Hoque, David Chu, Mooi Choo Chuah Panel: future trends and research issues in mobile augmented reality. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Kyle Hart, Corey Montella, Georges Petitpas, Dylan Schwesinger, Armon Shariati, Ben Sourbeer, Tyler Trephan, John R. Spletzer RoSCAR: robot stock car autonomous racing. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Henny Admoni, Taskin Padir, Junehwa Song, Daniel M. Lofaro Panel: future research trends in robotics technologies. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Zachary A. Daniels, Steven R. Stinson, Shenchi Tian, Evan Mulbry, Brian Yuan Chen A gesture-based interface for the exploration and classification of protein binding cavities. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
40Christoph Noll, Bernhard Häussermann, Ute von Jan, Ulrike Raap, Urs-Vito Albrecht Demo: mobile augmented reality in medical education: an application for dermatology. Search on Bibsonomy MARS@MobiSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1927 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license