Search results for "interlocking"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Hsin-Chuan Chen, Wenbin Cheng	A Fully Self-locking/Interlocking Switch Circuit Using Signal Mutual Control.	ICCE-TW	2021	DBLP DOI BibTeX RDF
19	Ikram Abourahim, Mustapha Amghar, Mohsine Eleuldj	Distributed Architecture for Interoperable Signaling Interlocking.	NISS (Springer)	2021	DBLP DOI BibTeX RDF
19	Amy Sniffen, Zezhou Sun, Samuel E. Lensgraf, Emily Whiting, Alberto Quattrini Li, Devin J. Balkcom	Falling Into Place: Drop Assembly of Interlocking Puzzles.	Robotics: Science and Systems	2021	DBLP DOI BibTeX RDF
19	Mo Yu, Yang Zhang 0001, Shiyu Chang, Tommi S. Jaakkola	Understanding Interlocking Dynamics of Cooperative Rationalization.	NeurIPS	2021	DBLP BibTeX RDF
19	Li-Xuan Chuo, Zhen Feng, Yejoong Kim, Nikolaos Chiotellis, Makoto Yasuda, Satoru Miyoshi, Masaru Kawaminami, Anthony Grbic, David D. Wentzloff, David T. Blaauw, Hun-Seok Kim	Millimeter-Scale Node-to-Node Radio Using a Carrier Frequency-Interlocking IF Receiver for a Fully Integrated 4 $\times$ 4 $\times$ 4 mm3 Wireless Sensor Node.	IEEE J. Solid State Circuits	2020	DBLP DOI BibTeX RDF
19	Elham Mousavian, Claudia Casapulla	Quantifiable feasibility check of masonry assemblages composed of interlocking blocks.	Adv. Eng. Softw.	2020	DBLP DOI BibTeX RDF
19	Jinkun Men, Peng Jiang, Song Zheng, Yaguang Kong, Ye Zhao, Gang Sheng, Nan Su, Sulu Zheng	A Multi-Objective Emergency Rescue Facilities Location Model for Catastrophic Interlocking Chemical Accidents in Chemical Parks.	IEEE Trans. Intell. Transp. Syst.	2020	DBLP DOI BibTeX RDF
19	Mohammad Ali Bagheri, Gholamreza Rouhi	Design and numerical investigation of an adaptive intramedullary nail with a novel interlocking mechanism.	J. Comput. Des. Eng.	2020	DBLP DOI BibTeX RDF
19	Elham Mousavian, Claudia Casapulla	Structurally informed design of interlocking block assemblages using limit analysis.	J. Comput. Des. Eng.	2020	DBLP DOI BibTeX RDF
19	Aidan N. Gomez, Oscar Key, Stephen Gou, Nick Frosst, Jeff Dean, Yarin Gal	Interlocking Backpropagation: Improving depthwise model-parallelism.	CoRR	2020	DBLP BibTeX RDF
19	Jihun Yu, Hoseob Song, Chul-woo Park, Ilhyung Park, Sanghyun Joung	Fluoroscopic images-based aiming and targeting system with two line lasers for insertion guidance of interlocking screw.	Int. J. Comput. Assist. Radiol. Surg.	2020	DBLP DOI BibTeX RDF
19	Manuel Goyanes, Luis de Marcos	Academic influence and invisible colleges through editorial board interlocking in communication sciences: a social network analysis of leading journals.	Scientometrics	2020	DBLP DOI BibTeX RDF
19	In Gyu Park, Yun Joong Kim, Yeo Jin Kim, Unjoo Lee	Automatic, Qualitative Scoring of the Interlocking Pentagon Drawing Test (PDT) Based on U-Net and Mobile Sensor Data.	Sensors	2020	DBLP DOI BibTeX RDF
19	Dariusz Siudak	The Influence of Interlocking Directorates on the Propensity of Dividend Payout to the Parent Company.	Complex.	2020	DBLP DOI BibTeX RDF
19	Kazuhiro Miyashita, Yoichi Masuda, Megu Gunji, Akira Fukuhara, Kenjiro Tadakuma, Masato Ishikawa	Emergence of Swing-to-Stance Transition from Interlocking Mechanism in Horse Hindlimb.	IROS	2020	DBLP DOI BibTeX RDF
19	Ronny Bäckman, Ian Oliver, Gabriela Limonta	Integrity Checking of Railway Interlocking Firmware.	SAFECOMP Workshops	2020	DBLP DOI BibTeX RDF
19	Signe Geisler, Anne E. Haxthausen	Model Checking a Distributed Interlocking System Using k-induction with RT-Tester.	ISoLA (3)	2020	DBLP DOI BibTeX RDF
19	Jan Peleska 0001	New Distribution Paradigms for Railway Interlocking.	ISoLA (3)	2020	DBLP DOI BibTeX RDF
19	Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen	Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL.	ISoLA (3)	2020	DBLP DOI BibTeX RDF
19	Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi	A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.	ISoLA (3)	2020	DBLP DOI BibTeX RDF
19	Vinayak R. Krishnamurthy, Ergun Akleman, Sai Ganesh Subramanian, Katherine Boyd, Chia-An Fu, Matthew Ebert, Courtney Startett, Neeraj Yadav	Bi-Axial Woven Tiles: Interlocking Space-Filling Shapes Based on Symmetries of Bi-Axial Weaving Patterns.	Graphics Interface	2020	DBLP DOI BibTeX RDF
19	Weixin Guan, Xudong Zhou	The Influence of All-electronic Interlocking System on Intelligent Operation and Maintenance.	ICITE	2020	DBLP DOI BibTeX RDF
19	Lujiang Huang	The Past, Present and Future of Railway Interlocking System.	ICITE	2020	DBLP DOI BibTeX RDF
19	Qi Fang, Qingyuan Shang, Sha Wang, Fagen Fang	Interface Verification between the Main Control Board and Driver Board of the All-electronic Interlocking Computer Platform.	ICITE	2020	DBLP DOI BibTeX RDF
19	Nobuhiko Mukai, Kazuhiro Aoyama, Youngha Chang	Pressure Simulation in the Heart with Valve Interlocking and Isovolumetric Contraction.	SIGGRAPH Asia Posters	2020	DBLP DOI BibTeX RDF
19	Eugenio Roanes-Lozano	Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System.	CASC	2020	DBLP DOI BibTeX RDF
19	Dalay Israel de Almeida Pereira	Analysis and formal specification of relay-based railway interlocking systems. (Analyse et spécification formelle des systèmes d'enclenchement ferroviaire basés sur les relais).		2020	RDF
19	Bhatawdekar Ramesh Murlidhar, Munir Ahmed, Dinesh Mavaluru, Ahmed Faisal Siddiqi, Edy Tonnizam Mohamad	Prediction of rock interlocking by developing two hybrid models based on GA and fuzzy system.	Eng. Comput.	2019	DBLP DOI BibTeX RDF
19	Ziqi Wang 0006, Peng Song 0001, Florin Isvoranu, Mark Pauly	Design and structural optimization of topological interlocking assemblies.	ACM Trans. Graph.	2019	DBLP DOI BibTeX RDF
19	Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni	RBS2HLL - A Formal Modeling of Relay-Based Interlocking.	RSSRail	2019	DBLP DOI BibTeX RDF
19	Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon	B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution.	RSSRail	2019	DBLP DOI BibTeX RDF
19	Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger	Efficient Data Validation for Geographical Interlocking Systems.	RSSRail	2019	DBLP DOI BibTeX RDF
19	Camille Parillaud, Yoann Fonteneau, Fabien Belmonte	Interlocking Formal Verification at Alstom Signalling.	RSSRail	2019	DBLP DOI BibTeX RDF
19	Ping-Hsiung Wang, Kuo-Chun Chang	A Simplified Finite Element Analysis Method for Axial Compression Behavior of Rectangular Concrete Columns with Interlocking Multi-spiral Reinforcements.	SIMULTECH	2019	DBLP DOI BibTeX RDF
19	Juri Shimizu, Takuya Otani, H. Mizukami, Kenji Hashimoto, Atsuo Takanishi	Experimental Validation of Hydraulic Interlocking Drive System for Biped Humanoid Robot.	IROS	2019	DBLP DOI BibTeX RDF
19	Xiaohong Chen 0007, Zhiwei Zhong, Zhi Jin, Min Zhang 0002, Tong Li, Xiang Chen, Tingliang Zhou	Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.	RE	2019	DBLP DOI BibTeX RDF
19	Guangwu Chen, Yijian Yu, Dongfeng Xing, Juhau Yang	Turnout Fault Diagnosis Algorithms of Full-Electronic Interlocking System Based on BP_Adaboost.	CAA SAFEPROCESS	2019	DBLP DOI BibTeX RDF
19	Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul	Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model.	ER	2019	DBLP DOI BibTeX RDF
19	Mark Bouwman, Bob Janssen, Bas Luttik	Formal Modelling and Verification of an Interlocking Using mCRL2.	FMICS	2019	DBLP DOI BibTeX RDF
19	Stylianos Basagiannis, Panagiotis Katsaros	Formal Verification of Network Interlocking Control by Distributed Signal Boxes.	IMBSA	2019	DBLP DOI BibTeX RDF
19	Yu-Cheng Su, Kang-Yu Chang, Yu-Tung Chin, Chia-Wen Chang, Shyh-Jye Jou	Synthesizable Injection-Locked Phase-Locked Loop with Multiphase Interlocking Digitally Controlled Oscillator Arrays.	ASICON	2019	DBLP DOI BibTeX RDF
19	Yinan Zhang 0001	Interlocking structure design and assembly.		2019	RDF
19	Christophe Limbrée	Formal verification of railway interlocking systems.		2019	RDF
19	Kees van Veen, Eelke M. Heemskerk	Interlocking Directorate Networks.	Encyclopedia of Social Network Analysis and Mining. 2nd Ed.	2018	DBLP DOI BibTeX RDF
19		Interlocking Directorate Network.	Encyclopedia of Social Network Analysis and Mining. 2nd Ed.	2018	DBLP DOI BibTeX RDF
19	Mohammadamin Erfanmanesh, Marzieh Morovati	Interlocking Editorships in Scientific Journals.	Sci. Eng. Ethics	2018	DBLP DOI BibTeX RDF
19	Volker Nocke, Patrick Rey	Exclusive dealing and vertical integration in interlocking relationships.	J. Econ. Theory	2018	DBLP DOI BibTeX RDF
19	Keiji Hirose, Masaya Ukimi, Shota Ueda, Chie Onoda, Ryohei Kano, Kyosuke Tsuda, Yuko Hinohara, Yoshito Tobe	The Asymmetry is Derived from Mechanical Interlocking of Achiral Axle and Achiral Ring Components -Syntheses and Properties of Optically Pure [2]Rotaxanes-.	Symmetry	2018	DBLP DOI BibTeX RDF
19	Eduardo Künzel Teixeira, Mírian Oliveira	Editorial board interlocking in knowledge management and intellectual capital research field.	Scientometrics	2018	DBLP DOI BibTeX RDF
19	Ji Ma 0003, Simon DeDeo	State power and elite autonomy in a networked civil society: The board interlocking of Chinese non-profits.	Soc. Networks	2018	DBLP DOI BibTeX RDF
19	Xinyuan Zhou, Jinxiao Wang, Zhou Wang, Yuzhi Bian, Ying Wang, Ning Han, Yunfa Chen	Transilient Response to Acetone Gas Using the Interlocking p+n Field-Effect Transistor Circuit.	Sensors	2018	DBLP DOI BibTeX RDF
19	Marie Delcourte-Debarre	Analyser les emboîtements d'échelles spatio-temporelles d'un territoire forestier : du système d'information géographique à la méthode SyMoGIH (Avesnois, France) / Analyzing the interlocking spatio-temporal scales of a forest: from geographic information systems to the SyMoGIH method (Avesnois, France).	Digit. Humanit. Q.	2018	DBLP BibTeX RDF
19	Ziqi Wang 0006, Peng Song 0001, Mark Pauly	DESIA: a general framework for designing interlocking assemblies.	ACM Trans. Graph.	2018	DBLP DOI BibTeX RDF
19	Dongxiu Ou, Huang Yan, Hongming Li, Wei Li	Optimization of Conflicting Tram Signal Priority Requests Based on Spatiotemporal Interlocking Logic Using Microscopic Simulation.	Int. J. Softw. Eng. Knowl. Eng.	2018	DBLP DOI BibTeX RDF
19	Yan Wang, Wen Zhong, Xiaohong Chen 0001, Dehui Du	Modeling of Interlocking Systems based on Patterns.	SEKE	2018	DBLP DOI BibTeX RDF
19	Dmitry V. Efanov, German Osadchy	Paradigms for Building Control Systems on Railroad Transport: from the Systems of Electrical Interlocking of Points and Light Signals to Smart Grid Train Movements Controlling Systems.	EWDTS	2018	DBLP DOI BibTeX RDF
19	Signe Geisler, Anne E. Haxthausen	Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE.	FM	2018	DBLP DOI BibTeX RDF
19	Arne Borälv	Interlocking Design Automation Using Prover Trident.	FM	2018	DBLP DOI BibTeX RDF
19	Rakesh Lingappa, Lokanna Kadakolmath	Modeling and formal verification of SMT rail interlocking system using PyNuSMV.	RAIT	2018	DBLP DOI BibTeX RDF
19	Yinan Zhang 0001, Devin J. Balkcom	Interlocking Block Assembly.	WAFR	2018	DBLP DOI BibTeX RDF
19	Alessandro Fantechi, Anne E. Haxthausen	Safety Interlocking as a Distributed Mutual Exclusion Problem.	FMICS	2018	DBLP DOI BibTeX RDF
19	Yan Wang, Xiaohong Chen 0001	Monitoring and Predicating Accidents for Interlocking Systems Based on SHA.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
19	Feiying Lan, Yongjing Wang, Duc Truong Pham, Jiayi Liu, Jun Huang, Chunqian Ji, Shizhong Su, Wenjun Xu 0002, Quan Liu, Zude Zhou	Interlocking Problem in Automatic Disassembly Planning and Two Solutions.	ICINCO (Selected Papers)	2018	DBLP DOI BibTeX RDF
19	Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione	Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.	FMCAD	2018	DBLP DOI BibTeX RDF
19	Michael Vierhauser, Sean Bayley, Jane Wyngaard, Jinghui Cheng, Wandi Xiong, Robyn R. Lutz, Joshua Huseman, Jane Cleland-Huang	Interlocking safety cases for unmanned autonomous systems in urban environments.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
19	Allam Hamdan, Abdalmuttaleb M. A. Musleh Al-Sartawi, Reem Khamis, Mohammed Anaswah, Ahlam Hassan	Board Interlocking and IT Governance: Proposed Conceptual Model.	EMCIS	2018	DBLP DOI BibTeX RDF
19	Jozef Balák, Karol Rástocný	Mathematical Model for Safety Evaluation of Distributed Interlocking System.	TST	2018	DBLP DOI BibTeX RDF
19	Christian Sternitzke	Interlocking Patent Rights and Value Appropriation: Insights From the Razor Industry.	IEEE Trans. Engineering Management	2017	DBLP DOI BibTeX RDF
19	Linh Vu Hong, Anne E. Haxthausen, Jan Peleska 0001	Formal modelling and verification of interlocking systems featuring sequential release.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
19	Miaojun Yao, Zhili Chen, Weiwei Xu, Huamin Wang	Modeling, Evaluation and Optimization of Interlocking Shell Pieces.	Comput. Graph. Forum	2017	DBLP DOI BibTeX RDF
19	Peng Song 0001, Chi-Wing Fu, Yueming Jin, Hongfei Xu, Ligang Liu, Pheng-Ann Heng, Daniel Cohen-Or	Reconfigurable interlocking furniture.	ACM Trans. Graph.	2017	DBLP DOI BibTeX RDF
19	Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay	Verification of Interlocking Systems Using Statistical Model Checking.	HASE	2017	DBLP DOI BibTeX RDF
19	Eniye Tebekaemi, Edward Colbert, Duminda Wijesekera	Detecting Data Manipulation Attacks on the Substation Interlocking Function Using Direct Power Feedback.	Critical Infrastructure Protection	2017	DBLP DOI BibTeX RDF
19	Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen	Model Checking Geographically Distributed Interlocking Systems Using UMC.	PDP	2017	DBLP DOI BibTeX RDF
19	Linh H. Vu, Anne E. Haxthausen, Jan Peleska 0001	A Domain-Specific Language for Generic Interlocking Models and Their Properties.	RSSRail	2017	DBLP DOI BibTeX RDF
19	Dmitry V. Efanov, Andrey Lykov, German Osadchy	Testing of relay-contact circuits of railway signalling and interlocking.	EWDTS	2017	DBLP DOI BibTeX RDF
19	Zhiwei Li, Jing Liu 0012, Haiying Sun, Tingliang Zhou, Junfeng Sun	Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.	APSEC	2017	DBLP DOI BibTeX RDF
19	Xiaoliang Hao, Fan Ma, Qiang Ren	Directional interlocking overcurrent protection of microgrids powered by inverters injected with characteristic currents.	IECON	2017	DBLP DOI BibTeX RDF
19	Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen	Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations.	NFM	2017	DBLP DOI BibTeX RDF
19	Jun-Home Chen, Jyi-Shane Liu	The Analysis on Power Migration: The Relationship Between Progeny Networks and Geographical Interlocking Shareholdings.	ASONAM	2017	DBLP DOI BibTeX RDF
19	Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo	Compositional Verification of Interlocking Systems for Large Stations.	SEFM	2017	DBLP DOI BibTeX RDF
19	Umar Khan, Jamil Ahmad, Tariq Saeed, Sikandar Hayat Mirza	On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station.	Complex Adapt. Syst. Model.	2016	DBLP DOI BibTeX RDF
19	Piotr Kawalec, Marcin Rzysko	Modern methods in railway interlocking algorithms design.	Microprocess. Microsystems	2016	DBLP DOI BibTeX RDF
19	Eelke M. Heemskerk, Frank W. Takes, Javier Garcia-Bernardo, M. Jouke Huijzer	Where is the global corporate elite? A large-scale network study of local and nonlocal interlocking directorates.	CoRR	2016	DBLP BibTeX RDF
19	Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta	Verification of railway interlocking - Compositional approach with OCRA.	CoRR	2016	DBLP BibTeX RDF
19	Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay	Verification of interlocking systems using statistical model checking.	CoRR	2016	DBLP BibTeX RDF
19	Andrea Bonacchi 0001, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini	Validation process for railway interlocking systems.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
19	Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach	Comparing Formal Verification Approaches of Interlocking Systems.	RSSRail	2016	DBLP DOI BibTeX RDF
19	Jan Peleska 0001, Wen-ling Huang, Felix Hübner	A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.	RSSRail	2016	DBLP DOI BibTeX RDF
19	Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta	Verification of Railway Interlocking - Compositional Approach with OCRA.	RSSRail	2016	DBLP DOI BibTeX RDF
19	Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah	Static Verification of Railway Schema and Interlocking Design Data.	RSSRail	2016	DBLP DOI BibTeX RDF
19	Yinan Zhang 0001, Devin J. Balkcom	Interlocking structure assembly with voxels.	IROS	2016	DBLP DOI BibTeX RDF
19	Quentin Cappart, Pierre Schaus	A Dedicated Algorithm for Verification of Interlocking Systems.	SAFECOMP	2016	DBLP DOI BibTeX RDF
19	Anne E. Haxthausen, Peter H. Østergaard	On the Use of Static Checking in the Verification of Interlocking Systems.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
19	Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen	Compositional Verification of Multi-station Interlocking Systems.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
19	Xiaohong Chen 0007, Li Han 0001, Jing Liu 0012, Haiying Sun	Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.	RE Workshops	2016	DBLP DOI BibTeX RDF
19	Tibor Kiss, Katalin Tunde Janosi-Rancz	Developing railway interlocking systems with session types and Event-B.	SACI	2016	DBLP DOI BibTeX RDF
19	Ye Kyaw Thu, Andrew M. Finch, Eiichiro Sumita	Interlocking Phrases in Phrase-based Statistical Machine Translation.	HLT-NAACL	2016	DBLP DOI BibTeX RDF
19	Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou	Applying SOFL to a Railway Interlocking System in Industry.	SOFL+MSVL	2016	DBLP DOI BibTeX RDF
19	Li Han 0001, Jing Liu 0012, Tingliang Zhou, Junfeng Sun, Xiaohong Chen 0007	Safety Requirements Specification and Verification for Railway Interlocking Systems.	COMPSAC	2016	DBLP DOI BibTeX RDF