Search results for "interlocking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
134	Jong-Sun Kim, Ji-Yoon Yoo, Hack-Youp Noh	Software Design of Electronic Interlocking System Based on Real-Time Object-Oriented Modeling Technique.	OTM Workshops	2005	DBLP DOI BibTeX RDF
114	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis	Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker.	ISPA	2006	DBLP DOI BibTeX RDF	interlocking control, model checking, safety, distributed control
85	Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki	EVALPSN Based Railway Interlocking Simulator.	KES	2004	DBLP DOI BibTeX RDF	intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning
76	Stephan Olariu, Albert Y. Zomaya	A Time- and Cost-Optimal Algorithm for Interlocking Sets-With Applications.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	time-optimal algorithms, routing, parallel algorithms, VLSI, lower bounds, CAD, Circuit design
71	Arne Borälv	Case Study: Formal Verification of a Computerized Railway Interlocking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Stålmarck's method, Formal verification, Railway interlocking
67	Cindy Eisner	Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking
62	Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman	Model-Based Generation of Interlocking Controller Software from Control Tables.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
62	Karol Rástocný, Ales Janota, Jirí Zahradník	The Use of UML for Development of a Railway Interlocking System.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
58	Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura	Toward developing a Decentralized Railway Signalling System Using Petri Nets.	RAM	2008	DBLP DOI BibTeX RDF
57	Kirsten Mark Hansen	Validation of a Railway Interlocking Model.	FME	1994	DBLP DOI BibTeX RDF	Application of formal methods, simulation, model validation, railway interlocking
52	D. Ramesh	A Twin Algorithm for Efficient Generation of Digital Signatures.	INDOCRYPT	2001	DBLP DOI BibTeX RDF	personnel identification, interlocking equations, Cryptography, digital signature, data authentication
52	Fangmei Wu, Meng Li	Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	dynamic decision table, software testing, safety-critical software, interlocking
43	Hiroyuki Sugahara, Takashi Kunifuji, Tetsunori Hattori, Yoshiyuki Hirano, Yamato Fukuta, Masayuki Matsumoto	Assurance Technologies for Signal Control System by Optical LAN.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	Signal control system, E-PON, Field Controller, Optical LAN, Logical Controller
43	Hans M. Jacobson, Prabhakar Kudva, Pradip Bose, Peter W. Cook, Stanley Schuster	Synchronous Interlocked Pipelines.	ASYNC	2002	DBLP DOI BibTeX RDF	progressive stalls, synchronous, Pipeline, asynchronous, clock gating, elastic, interlocked
42	Tao Liu	An Empirical Study about the Effects of Interlocking Directorates Strategy on the Firm's Output in the Dynamic Environment.	JCAI	2009	DBLP DOI BibTeX RDF	strategy of interlocking directorate, environment dynamism, moderating influence, random-effects GLS regression, social networks
38	Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen	The Future of Train Signaling.	MoDELS	2008	DBLP DOI BibTeX RDF	MoSiS, Train, model-driven development, signaling, DSL, interlocking
38	Zhongwei Xu, Fangmei Wu	A Novel Testing Approach for Safety-Critical Software.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Software-critical software, software testing, interlocking
38	Yi Yu, Fangmei Wu	A Software Acceptance Testing Technique Based on Knowledge Accumulation.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	knowledge accumulation, software, acceptance testing, interlocking, railway signaling
38	Jean 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.	IEEE Trans. Software Eng.	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
33	Francesco Corman, Rob M. P. Goverde, Andrea D'Ariano	Rescheduling Dense Train Traffic over Complex Station Interlocking Areas.	Robust and Online Large-Scale Optimization	2009	DBLP DOI BibTeX RDF	Train Rescheduling, Alternative Graph, Incompatibility Graph
33	Hiromasa Yamashita, Siyang Zuo, Ken Masamune, Hongen Liao, Takeyoshi Dohi	Nonmagnetic Rigid and Flexible Outer Sheath with Pneumatic Interlocking Mechanism for Minimally Invasive Surgical Approach.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
33	Radek Dobias, Jan Konarski, Hana Kubátová	Dependability Evaluation of Real Railway Interlocking Device.	DSD	2008	DBLP DOI BibTeX RDF
33	Orides 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.	SMC	2007	DBLP DOI BibTeX RDF
33	M. Ch. Karra, M. P. Bekakos	A FPGA-Based Systolic Array Prototype Implementing the Quadrant Interlocking Factorization Method.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	FPGA technology, parallelism, finite-state machine, time complexity, systolic arrays, processing elements
33	Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol	TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.	CCECE	2006	DBLP DOI BibTeX RDF
33	Spyridon Revithis, William H. Wilson, Nadine Marcus	IPSOM: A Self-organizing Map Spatial Model of How Humans Complete Interlocking Puzzles.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Cognitive Modeling of Human Behaviour, Self-Organizing Map, Kohonen Map, Neural Network Applications
33	Radek Dobias, Hana Kubátová	FPGA Based Design of the Railway's Interlocking Equipments.	DSD	2004	DBLP DOI BibTeX RDF
33	Tomas Hlavaty, Libor Preucil, Petr Stepan	Case Study: Formal Specification and Verification of Railway Interlocking System.	EUROMICRO	2001	DBLP DOI BibTeX RDF
33	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Formal Verification of a Railway Interlocking System using Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Formal methods, Safety critical systems, spin, Industrial applications
33	Alessandro 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.	SAFECOMP	1998	DBLP DOI BibTeX RDF
33	Vinod S. S. Chandra, M. R. Verma	A Fail-Safe Interlocking System for Railways.	IEEE Des. Test Comput.	1991	DBLP DOI BibTeX RDF
33	J. Shanehchi, David J. Evans 0001	New variants of the quadrant interlocking factorisation (Q.I.F.) method.	CONPAR	1981	DBLP DOI BibTeX RDF
29	Sebastian Kinder, Rolf Drechsler	Modeling and proving functional completeness in formal verification of counting heads.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
29	Walter Fuß	Tailored Solutions for Safety-Installations in the Loetschberg Tunnel - A Project with Importance for the Trans-European Rail Traffic.	DATE	2008	DBLP DOI BibTeX RDF
29	Christophe Métayer, Mathieu Clabaut	DIR 41 Case Study.	ABZ	2008	DBLP DOI BibTeX RDF
29	Sebastian Kinder, Rolf Drechsler	Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.	DSD	2007	DBLP DOI BibTeX RDF
29	Jun Nishiyama, Hiroyuki Sugahara, Tetsuya Okada, Takashi Kunifuji, Yamato Fukuta, Masayuki Matsumoto	A signal control system by optical LAN and design simplification.	SMC	2007	DBLP DOI BibTeX RDF
29	Michael Huber, Steve King 0001	Towards an Integrated Model Checker for Railway Signalling Data.	FME	2002	DBLP DOI BibTeX RDF	Data verification, hidden formal methods, model checking
29	Cindy Eisner	Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard.	CHARME	1999	DBLP DOI BibTeX RDF
23	Mishael Milakovic, Matthias Raddant, Laura Birg	Hierarchy in Germany's Corporate Network.	ASONAM	2010	DBLP DOI BibTeX RDF	network core, interlocking directorates, centrality, corporate governance
23	Martin Penicka	Formal Approach to Railway Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking
23	Robert Pellerin, Gilbert Babin, Pierre-Majorique Léger, Kim St-Georges	Enterprise Resource Planning Diffusion: Measuring the Impact of Network Exposure and Power.	ICSEA	2006	DBLP DOI BibTeX RDF	adaoption, ERP, diffusion, interlocking
19	Thomas Kampa, Christian Klaus Müller, Daniel Großmann	Interlocking IT/OT security for edge cloud-enabled manufacturing.	Ad Hoc Networks	2024	DBLP DOI BibTeX RDF
19	Guodong 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.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
19	Shibing Xiang, Xin Jiang, Bing Liu, Yurui Huang, Chaolin Tian, Yifang Ma	Knowledge Navigation: Inferring the Interlocking Map of Knowledge from Research Trajectories.	CoRR	2024	DBLP DOI BibTeX RDF
19	Alessandro Cimatti, Alberto Griggio, Gianluca Redondi	Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking.	CoRR	2024	DBLP DOI BibTeX RDF
19	Lokanna Kadakolmath, Umesh D. Ramu	iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System.	Formal Aspects Comput.	2024	DBLP DOI BibTeX RDF
19	Kazuki 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.	Adv. Robotics	2023	DBLP DOI BibTeX RDF
19	Jaeyoung 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.	Adv. Intell. Syst.	2023	DBLP DOI BibTeX RDF
19	Quentin Martinet, Antoine Aubret, Jeremie Palacci	Rotation Control, Interlocking, and Self-Positioning of Active Cogwheels.	Adv. Intell. Syst.	2023	DBLP DOI BibTeX RDF
19	Alberto Baccini, Cristina Re	Who are the gatekeepers of economics? Geographic diversity, gender composition, and interlocking editorship of journal boards.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tom Goertzen, Domen Macek, Lukas Schnelle, Meike Weiß, Stefanie Reese, Hagen Holthusen, Alice C. Niemeyer	Mechanical Comparison of Arrangement Strategies for Topological Interlocking Assemblies.	CoRR	2023	DBLP DOI BibTeX RDF
19	Anne Elisabeth Haxthausen, Alessandro Fantechi	Compositional Verification of Railway Interlocking Systems.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
19	Pengbin Tang, Stelian Coros, Bernhard Thomaszewski	Beyond Chainmail: Computational Modeling of Discrete Interlocking Materials.	ACM Trans. Graph.	2023	DBLP DOI BibTeX RDF
19	Peichang Ouyang, Krzysztof Gdawiec, Alain Nicolas, David Bailey, Kwok Wai Chung	Interlocking Spiral Drawings Inspired by M. C. Escher's Print Whirlpools.	ACM Trans. Graph.	2023	DBLP DOI BibTeX RDF
19	Qiaodong Cui, Victor Rong, Desai Chen, Wojciech Matusik	Dense, Interlocking-Free and Scalable Spectral Packing of Generic 3D Objects.	ACM Trans. Graph.	2023	DBLP DOI BibTeX RDF
19	Jeongwon Choi, Inseok Hwang 0001	VoiceCogs: Interlocking Concurrent Voices for Separable Compressed Browsing with Screen Readers.	UbiComp/ISWC Adjunct	2023	DBLP DOI BibTeX RDF
19	Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen	Automated Compositional Verification of Interlocking Systems.	RSSRail	2023	DBLP DOI BibTeX RDF
19	Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky	The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.	RSSRail	2023	DBLP DOI BibTeX RDF
19	Phillip James, Faron Moller, Markus Roggenbach	Software Model Checking of Interlocking Programs.	Applicable Formal Methods for Safe Industrial Products	2023	DBLP DOI BibTeX RDF
19	Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori	Decomposing the Verification of Interlocking Systems.	Applicable Formal Methods for Safe Industrial Products	2023	DBLP DOI BibTeX RDF
19	Yibo 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.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
19	Carina Albrecht-Gansohr, Stefan Geisler, Sabrina Cornelia Eimler	Playful Co-Design: Creating an AR-Prototype with Nurses in Interlocking Remote and On-Site Workshops.	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
19	Juanning Wang, Qiang Li	Automatic testing of computerized interlocks based on recognition of the interlocking host computer interface.	CNML	2023	DBLP DOI BibTeX RDF
19	Sebastian Lieb, Thorsten Thormählen, Felix Rieger	Digitizing Interlocking Building Blocks.	VMV	2023	DBLP DOI BibTeX RDF
19	P. 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.	SBMF	2023	DBLP DOI BibTeX RDF
19	Qihe 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.	ITSC	2023	DBLP DOI BibTeX RDF
19	Huan 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.	ITSC	2023	DBLP DOI BibTeX RDF
19	Zang Wenhao, Zhenhai Zhang	Research on 3D Visualization and Monitoring Technology of Station Interlocking Equipment Based on Digital Twin.	ICISE	2023	DBLP DOI BibTeX RDF
19	Sara Lee Kit Yee, Chong Chee Oon	Effects of Pitch Size of Interlocking Screw on Prosthesis Stem.	ICBET	2023	DBLP DOI BibTeX RDF
19	Aidan N. Gomez, Oscar Key, Kuba Perlin, Stephen Gou, Nick Frosst, Jeff Dean, Yarin Gal	Interlocking Backpropagation: Improving depthwise model-parallelism.	J. Mach. Learn. Res.	2022	DBLP BibTeX RDF
19	Eric 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.	Syst.	2022	DBLP DOI BibTeX RDF
19	Siyang Zuo, Haoming Li 0013, Zhichao Hua 0003, Jianbin Liu, Baojun Chen	A Novel Jamming Structure With Interlocking Mechanism Towards Applications in Wearable Robots.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
19	Elham Mousavian, Katalin Bagi, Claudia Casapulla	Interlocking joint shape optimization for structurally informed design of block assemblages.	J. Comput. Des. Eng.	2022	DBLP DOI BibTeX RDF
19	Hongwei Lian, Xiuxuan Wang, Anjali Sharma, Mohd Asif Shah	Application and Study of Artificial Intelligence in Railway Signal Interlocking Fault.	Informatica (Slovenia)	2022	DBLP DOI BibTeX RDF
19	Vinayak 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.	IEEE Trans. Vis. Comput. Graph.	2022	DBLP DOI BibTeX RDF
19	Volker Nannen, Damian Bover	Traction of Interlocking Spikes on a Granular Material.	CoRR	2022	DBLP DOI BibTeX RDF
19	Ioannis Koureas, Mohit Pundir, Shai Feldfogel, David S. Kammer	Beam-like topologically interlocked structures with hierarchical interlocking.	CoRR	2022	DBLP DOI BibTeX RDF
19	Volker Nannen, Damian Bover	Lateral Stability of Vehicle with Interlocking Spikes.	CoRR	2022	DBLP DOI BibTeX RDF
19	Razvan Andrei Gheorghiu, Florin Badau, Valentin Iordache	Applicability of Magnetic Sensors in Interlocking Systems.	Sensors	2022	DBLP DOI BibTeX RDF
19	Rulin Chen, Ziqi Wang 0006, Peng Song 0001, Bernd Bickel	Computational design of high-level interlocking puzzles.	ACM Trans. Graph.	2022	DBLP DOI BibTeX RDF
19	Dalay 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.	SAC	2022	DBLP DOI BibTeX RDF
19	Wenjia 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.	QRS Companion	2022	DBLP DOI BibTeX RDF
19	Keigo Uchiyama, Hiroshi Yamamoto, Eiji Utsunomiya, Kiyohito Yoshihara	Sensor Network System for Condition Detection of Harmful Animals by Step-by-step Interlocking of Various Sensors.	ICAIIC	2022	DBLP DOI BibTeX RDF
19	Gá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.	SACI	2022	DBLP DOI BibTeX RDF
19	Arturo 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.	TACAS (1)	2022	DBLP DOI BibTeX RDF
19	Haoxiang Su, Ming Chai, Hongjie Liu, Jinchuan Chai, Chaopeng Yue	A Model-Based Testing System for Safety of Railway Interlocking.	ITSC	2022	DBLP DOI BibTeX RDF
19	Yongjing 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.	Int. J. Prod. Res.	2021	DBLP DOI BibTeX RDF
19	Martín N. Menéndez, Santiago Germino, Facundo S. Larosa, Ariel Lutenberg	Automatic generation of VHDL code for a railway interlocking system.	Int. J. Embed. Syst.	2021	DBLP DOI BibTeX RDF
19	Arindam 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.	IEEE Trans. Intell. Transp. Syst.	2021	DBLP DOI BibTeX RDF
19	Michael 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.	IEEE Trans. Software Eng.	2021	DBLP DOI BibTeX RDF
19	Mo Yu, Yang Zhang 0001, Shiyu Chang, Tommi S. Jaakkola	Understanding Interlocking Dynamics of Cooperative Rationalization.	CoRR	2021	DBLP BibTeX RDF
19	Anantha Natarajan, Jiaqi Cui, Ergun Akleman, Vinayak R. Krishnamurthy	Construction of Planar and Symmetric Truss Structures with Interlocking Edge Elements.	CoRR	2021	DBLP BibTeX RDF
19	Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky	SafeCap: from formal verification of railway interlocking to its certification.	CoRR	2021	DBLP BibTeX RDF
19	Mohammad 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.	Int. J. Enterp. Inf. Syst.	2021	DBLP DOI BibTeX RDF
19	Puxun 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.	Comput. Biol. Medicine	2021	DBLP DOI BibTeX RDF
19	Sebastian Weydner-Volkmann, Linus Feiten	Trust in technology: interlocking trust concepts for privacy respecting video surveillance.	J. Inf. Commun. Ethics Soc.	2021	DBLP DOI BibTeX RDF
19	Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger	Efficient data validation for geographical interlocking systems.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
19	Signe Geisler, Anne Elisabeth Haxthausen	Stepwise development and model checking of a distributed interlocking system using RAISE.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
19	Yinan Zhang 0001, Yotto Koga, Devin J. Balkcom	Interlocking Block Assembly With Robots.	IEEE Trans Autom. Sci. Eng.	2021	DBLP DOI BibTeX RDF