The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1977-1991 (16) 1992-1996 (16) 1997-1999 (27) 2000-2002 (18) 2003-2005 (20) 2006-2007 (25) 2008 (15) 2009-2010 (19) 2011-2012 (22) 2013-2014 (26) 2015 (19) 2016 (19) 2017-2018 (38) 2019 (16) 2020 (23) 2021 (17) 2022 (17) 2023 (23) 2024 (5)
Publication types (Num. hits)
article(134) incollection(8) inproceedings(229) phdthesis(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 129 occurrences of 107 keywords

Results
Found 381 publication records. Showing 381 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
134Jong-Sun Kim, Ji-Yoon Yoo, Hack-Youp Noh Software Design of Electronic Interlocking System Based on Real-Time Object-Oriented Modeling Technique. Search on Bibsonomy OTM Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
114Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. Search on Bibsonomy ISPA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interlocking control, model checking, safety, distributed control
85Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki EVALPSN Based Railway Interlocking Simulator. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning
76Stephan Olariu, Albert Y. Zomaya A Time- and Cost-Optimal Algorithm for Interlocking Sets-With Applications. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF time-optimal algorithms, routing, parallel algorithms, VLSI, lower bounds, CAD, Circuit design
71Arne Borälv Case Study: Formal Verification of a Computerized Railway Interlocking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Stålmarck's method, Formal verification, Railway interlocking
67Cindy Eisner Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking
62Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman Model-Based Generation of Interlocking Controller Software from Control Tables. Search on Bibsonomy ECMDA-FA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Karol Rástocný, Ales Janota, Jirí Zahradník The Use of UML for Development of a Railway Interlocking System. Search on Bibsonomy SoftSpez Final Report The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura Toward developing a Decentralized Railway Signalling System Using Petri Nets. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Kirsten Mark Hansen Validation of a Railway Interlocking Model. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Application of formal methods, simulation, model validation, railway interlocking
52D. Ramesh A Twin Algorithm for Efficient Generation of Digital Signatures. Search on Bibsonomy INDOCRYPT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF personnel identification, interlocking equations, Cryptography, digital signature, data authentication
52Fangmei Wu, Meng Li Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF dynamic decision table, software testing, safety-critical software, interlocking
43Hiroyuki Sugahara, Takashi Kunifuji, Tetsunori Hattori, Yoshiyuki Hirano, Yamato Fukuta, Masayuki Matsumoto Assurance Technologies for Signal Control System by Optical LAN. Search on Bibsonomy ICDCS Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Signal control system, E-PON, Field Controller, Optical LAN, Logical Controller
43Hans M. Jacobson, Prabhakar Kudva, Pradip Bose, Peter W. Cook, Stanley Schuster Synchronous Interlocked Pipelines. Search on Bibsonomy ASYNC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF progressive stalls, synchronous, Pipeline, asynchronous, clock gating, elastic, interlocked
42Tao Liu An Empirical Study about the Effects of Interlocking Directorates Strategy on the Firm's Output in the Dynamic Environment. Search on Bibsonomy JCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strategy of interlocking directorate, environment dynamism, moderating influence, random-effects GLS regression, social networks
38Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen The Future of Train Signaling. Search on Bibsonomy MoDELS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MoSiS, Train, model-driven development, signaling, DSL, interlocking
38Zhongwei Xu, Fangmei Wu A Novel Testing Approach for Safety-Critical Software. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Software-critical software, software testing, interlocking
38Yi Yu, Fangmei Wu A Software Acceptance Testing Technique Based on Knowledge Accumulation. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF knowledge accumulation, software, acceptance testing, interlocking, railway signaling
38Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell Fault Injection for Dependability Validation: A Methodology and Some Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology
33Francesco Corman, Rob M. P. Goverde, Andrea D'Ariano Rescheduling Dense Train Traffic over Complex Station Interlocking Areas. Search on Bibsonomy Robust and Online Large-Scale Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Train Rescheduling, Alternative Graph, Incompatibility Graph
33Hiromasa Yamashita, Siyang Zuo, Ken Masamune, Hongen Liao, Takeyoshi Dohi Nonmagnetic Rigid and Flexible Outer Sheath with Pneumatic Interlocking Mechanism for Minimally Invasive Surgical Approach. Search on Bibsonomy MICCAI (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Radek Dobias, Jan Konarski, Hana Kubátová Dependability Evaluation of Real Railway Interlocking Device. Search on Bibsonomy DSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Orides Morandin Jr., Edilson R. R. Kato, G. Rodrigo Araújo, V. Luciano Sasso A modeling strategy for control and interlocking of an AMS using Virtual Petri Nets. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33M. Ch. Karra, M. P. Bekakos A FPGA-Based Systolic Array Prototype Implementing the Quadrant Interlocking Factorization Method. Search on Bibsonomy J. Supercomput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FPGA technology, parallelism, finite-state machine, time complexity, systolic arrays, processing elements
33Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Spyridon Revithis, William H. Wilson, Nadine Marcus IPSOM: A Self-organizing Map Spatial Model of How Humans Complete Interlocking Puzzles. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cognitive Modeling of Human Behaviour, Self-Organizing Map, Kohonen Map, Neural Network Applications
33Radek Dobias, Hana Kubátová FPGA Based Design of the Railway's Interlocking Equipments. Search on Bibsonomy DSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Tomas Hlavaty, Libor Preucil, Petr Stepan Case Study: Formal Specification and Verification of Railway Interlocking System. Search on Bibsonomy EUROMICRO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso Formal Verification of a Railway Interlocking System using Model Checking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Model checking, Formal methods, Safety critical systems, spin, Industrial applications
33Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. Search on Bibsonomy SAFECOMP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Vinod S. S. Chandra, M. R. Verma A Fail-Safe Interlocking System for Railways. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
33J. Shanehchi, David J. Evans 0001 New variants of the quadrant interlocking factorisation (Q.I.F.) method. Search on Bibsonomy CONPAR The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
29Sebastian Kinder, Rolf Drechsler Modeling and proving functional completeness in formal verification of counting heads. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Walter Fuß Tailored Solutions for Safety-Installations in the Loetschberg Tunnel - A Project with Importance for the Trans-European Rail Traffic. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Christophe Métayer, Mathieu Clabaut DIR 41 Case Study. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Sebastian Kinder, Rolf Drechsler Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. Search on Bibsonomy DSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Jun Nishiyama, Hiroyuki Sugahara, Tetsuya Okada, Takashi Kunifuji, Yamato Fukuta, Masayuki Matsumoto A signal control system by optical LAN and design simplification. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Michael Huber, Steve King 0001 Towards an Integrated Model Checker for Railway Signalling Data. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Data verification, hidden formal methods, model checking
29Cindy Eisner Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Mishael Milakovic, Matthias Raddant, Laura Birg Hierarchy in Germany's Corporate Network. Search on Bibsonomy ASONAM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF network core, interlocking directorates, centrality, corporate governance
23Martin Penicka Formal Approach to Railway Applications. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking
23Robert Pellerin, Gilbert Babin, Pierre-Majorique Léger, Kim St-Georges Enterprise Resource Planning Diffusion: Measuring the Impact of Network Exposure and Power. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF adaoption, ERP, diffusion, interlocking
19Thomas Kampa, Christian Klaus Müller, Daniel Großmann Interlocking IT/OT security for edge cloud-enabled manufacturing. Search on Bibsonomy Ad Hoc Networks The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Guodong Lang, Yongsheng Gao 0002, Zhewen Luo, Guanlin Liang, Yanhe Zhu, Jie Zhao 0003 Kinematic Analysis for the Spatial Interlocking 3-UU Mechanism With the Wide Range of Motion. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Shibing Xiang, Xin Jiang, Bing Liu, Yurui Huang, Chaolin Tian, Yifang Ma Knowledge Navigation: Inferring the Interlocking Map of Knowledge from Research Trajectories. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Alessandro Cimatti, Alberto Griggio, Gianluca Redondi Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Lokanna Kadakolmath, Umesh D. Ramu iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Kazuki Ito, Tetsuya Kinugasa, Kentaro Chiba, Yu Okuda, Ryuji Takasaki, Sayaka Hida, Tsukasa Okoshi, Ryota Hayashi, Koji Yoshida, Koichi Osuka The robotic approach to the passive interlocking mechanism in the hindlimb musculoskeletal system of Crocodylus porosus. Search on Bibsonomy Adv. Robotics The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Jaeyoung Yoon, Junghwan Byun, Minjo Park, Hayun Kim, Woongbae Kim, Jinsu Yoon, Kyu-Jin Cho, Yongtaek Hong Reconfigurable Innervation of Modular Soft Machines via Soft, Sticky, and Instant Electronic Adhesive Interlocking. Search on Bibsonomy Adv. Intell. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Quentin Martinet, Antoine Aubret, Jeremie Palacci Rotation Control, Interlocking, and Self-Positioning of Active Cogwheels. Search on Bibsonomy Adv. Intell. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Alberto Baccini, Cristina Re Who are the gatekeepers of economics? Geographic diversity, gender composition, and interlocking editorship of journal boards. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Tom Goertzen, Domen Macek, Lukas Schnelle, Meike Weiß, Stefanie Reese, Hagen Holthusen, Alice C. Niemeyer Mechanical Comparison of Arrangement Strategies for Topological Interlocking Assemblies. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Anne Elisabeth Haxthausen, Alessandro Fantechi Compositional Verification of Railway Interlocking Systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Pengbin Tang, Stelian Coros, Bernhard Thomaszewski Beyond Chainmail: Computational Modeling of Discrete Interlocking Materials. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Peichang Ouyang, Krzysztof Gdawiec, Alain Nicolas, David Bailey, Kwok Wai Chung Interlocking Spiral Drawings Inspired by M. C. Escher's Print Whirlpools. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Qiaodong Cui, Victor Rong, Desai Chen, Wojciech Matusik Dense, Interlocking-Free and Scalable Spectral Packing of Generic 3D Objects. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Jeongwon Choi, Inseok Hwang 0001 VoiceCogs: Interlocking Concurrent Voices for Separable Compressed Browsing with Screen Readers. Search on Bibsonomy UbiComp/ISWC Adjunct The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen Automated Compositional Verification of Interlocking Systems. Search on Bibsonomy RSSRail The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. Search on Bibsonomy RSSRail The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Phillip James, Faron Moller, Markus Roggenbach Software Model Checking of Interlocking Programs. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori Decomposing the Verification of Interlocking Systems. Search on Bibsonomy Applicable Formal Methods for Safe Industrial Products The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Carina Albrecht-Gansohr, Stefan Geisler, Sabrina Cornelia Eimler Playful Co-Design: Creating an AR-Prototype with Nurses in Interlocking Remote and On-Site Workshops. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Juanning Wang, Qiang Li Automatic testing of computerized interlocks based on recognition of the interlocking host computer interface. Search on Bibsonomy CNML The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Sebastian Lieb, Thorsten Thormählen, Felix Rieger Digitizing Interlocking Building Blocks. Search on Bibsonomy VMV The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira CSP Specification and Verification of a Relay-Based Railway Interlocking System. Search on Bibsonomy SBMF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Qihe Zhang, Shunli Li, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang A Distributed Convergent Clock Synchronization Algorithm Based on Exponential Smoothing for Cloud-Based Railway Interlocking System. Search on Bibsonomy ITSC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Huan Zheng, Qihe Zhang, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System. Search on Bibsonomy ITSC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Zang Wenhao, Zhenhai Zhang Research on 3D Visualization and Monitoring Technology of Station Interlocking Equipment Based on Digital Twin. Search on Bibsonomy ICISE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Sara Lee Kit Yee, Chong Chee Oon Effects of Pitch Size of Interlocking Screw on Prosthesis Stem. Search on Bibsonomy ICBET The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Aidan N. Gomez, Oscar Key, Kuba Perlin, Stephen Gou, Nick Frosst, Jeff Dean, Yarin Gal Interlocking Backpropagation: Improving depthwise model-parallelism. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2022 DBLP  BibTeX  RDF
19Eric Frank Wolstenholme Using Cascaded and Interlocking Generic System Archetypes to Communicate Policy Insights - The Case for Justifying Integrated Health Care Systems in Terms of Reducing Hospital Congestion. Search on Bibsonomy Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Siyang Zuo, Haoming Li 0013, Zhichao Hua 0003, Jianbin Liu, Baojun Chen A Novel Jamming Structure With Interlocking Mechanism Towards Applications in Wearable Robots. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Elham Mousavian, Katalin Bagi, Claudia Casapulla Interlocking joint shape optimization for structurally informed design of block assemblages. Search on Bibsonomy J. Comput. Des. Eng. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Hongwei Lian, Xiuxuan Wang, Anjali Sharma, Mohd Asif Shah Application and Study of Artificial Intelligence in Railway Signal Interlocking Fault. Search on Bibsonomy Informatica (Slovenia) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Vinayak R. Krishnamurthy, Ergun Akleman, Sai Ganesh Subramanian, Matthew Ebert, Jiaqi Cui, Chia-An Fu, Courtney Starrett Geometrically Interlocking Space-Filling Tiling Based on Fabric Weaves. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Volker Nannen, Damian Bover Traction of Interlocking Spikes on a Granular Material. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ioannis Koureas, Mohit Pundir, Shai Feldfogel, David S. Kammer Beam-like topologically interlocked structures with hierarchical interlocking. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Volker Nannen, Damian Bover Lateral Stability of Vehicle with Interlocking Spikes. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Razvan Andrei Gheorghiu, Florin Badau, Valentin Iordache Applicability of Magnetic Sensors in Interlocking Systems. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Rulin Chen, Ziqi Wang 0006, Peng Song 0001, Bernd Bickel Computational design of high-level interlocking puzzles. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul CSP specification and verification of relay-based railway interlocking systems. Search on Bibsonomy SAC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Wenjia Long, Kaizhi Wang, Xuan Wang Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams. Search on Bibsonomy QRS Companion The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Keigo Uchiyama, Hiroshi Yamamoto, Eiji Utsunomiya, Kiyohito Yoshihara Sensor Network System for Condition Detection of Harmful Animals by Step-by-step Interlocking of Various Sensors. Search on Bibsonomy ICAIIC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Gábor Lukács, Tamás Bartha Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems. Search on Bibsonomy SACI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. Search on Bibsonomy TACAS (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Haoxiang Su, Ming Chai, Hongjie Liu, Jinchuan Chai, Chaopeng Yue A Model-Based Testing System for Safety of Railway Interlocking. Search on Bibsonomy ITSC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Yongjing Wang, Feiying Lan, Jiayi Liu, Jun Huang, Shizhong Su, Chunqian Ji, Duc Truong Pham, Wenjun Xu 0002, Quan Liu, Zude Zhou Interlocking problems in disassembly sequence planning. Search on Bibsonomy Int. J. Prod. Res. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Martín N. Menéndez, Santiago Germino, Facundo S. Larosa, Ariel Lutenberg Automatic generation of VHDL code for a railway interlocking system. Search on Bibsonomy Int. J. Embed. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Arindam Das, Manoj Kumar Gangwar, Devleena Ghosh, Chittaranjan Mandal 0002, Anirban Sengupta, M. Mubashshir Waris Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan. Search on Bibsonomy IEEE Trans. Intell. Transp. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Michael Vierhauser, Sean Bayley, Jane Wyngaard, Wandi Xiong, Jinghui Cheng, Joshua Huseman, Robyn R. Lutz, Jane Cleland-Huang Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Mo Yu, Yang Zhang 0001, Shiyu Chang, Tommi S. Jaakkola Understanding Interlocking Dynamics of Cooperative Rationalization. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Anantha Natarajan, Jiaqi Cui, Ergun Akleman, Vinayak R. Krishnamurthy Construction of Planar and Symmetric Truss Structures with Interlocking Edge Elements. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky SafeCap: from formal verification of railway interlocking to its certification. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Mohammad Nazir Ahmad, Mohd Ismawira Mohd Ismail, Nor Hidayati Zakaria, Mazida Ahmad, Mohd Khairul Maswan Mohd Redzuan Pertinent Knowledge Storage Processes for Central Repository Design in Domain of Interlocking Institutional Worlds. Search on Bibsonomy Int. J. Enterp. Inf. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Puxun Tu, Yao Gao, Abel J. Lungu, Dongyuan Li, Huixiang Wang, Xiaojun Chen 0003 Augmented reality based navigation for distal interlocking of intramedullary nails utilizing Microsoft HoloLens 2. Search on Bibsonomy Comput. Biol. Medicine The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Sebastian Weydner-Volkmann, Linus Feiten Trust in technology: interlocking trust concepts for privacy respecting video surveillance. Search on Bibsonomy J. Inf. Commun. Ethics Soc. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger Efficient data validation for geographical interlocking systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Signe Geisler, Anne Elisabeth Haxthausen Stepwise development and model checking of a distributed interlocking system using RAISE. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Yinan Zhang 0001, Yotto Koga, Devin J. Balkcom Interlocking Block Assembly With Robots. Search on Bibsonomy IEEE Trans Autom. Sci. Eng. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 381 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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