Search results for "interlocking"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Peng Song 0001, Zhongqi Fu, Ligang Liu, Chi-Wing Fu	Printing 3D objects with interlocking parts.	Comput. Aided Geom. Des.	2015	DBLP DOI BibTeX RDF
19	Pierfrancesco Bellini, Paolo Nesi, Imad Zaza	A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems.	ERCIM News	2015	DBLP BibTeX RDF
19	Feng Tan, Yufei Wang 0004, Qixin Wang, Lei Bu, Neeraj Suri	A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.	IEEE Trans. Parallel Distributed Syst.	2015	DBLP DOI BibTeX RDF
19	Ala'aldeen Al-Halhouli, Aiman Alshare, Mukeet Mohsen, Maher Matar, Andreas Dietzel, Stephanus Büttgenbach	Passive Micromixers with Interlocking Semi-Circle and Omega-Shaped Modules: Experiments and Simulations.	Micromachines	2015	DBLP DOI BibTeX RDF
19	Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus	Verification of railway interlocking systems.	ESSS	2015	DBLP DOI BibTeX RDF
19	Ling Heng Henry Wong, André F. Gygax, Peng Wang 0002	Board interlocking network and the design of executive compensation packages.	Soc. Networks	2015	DBLP DOI BibTeX RDF
19	Mark Bosschaart, Egidio Quaglietta, Bob Janssen, Rob M. P. Goverde	Efficient formalization of railway interlocking data in RailML.	Inf. Syst.	2015	DBLP DOI BibTeX RDF
19	Abdelrahman Abbas Ibrahim, Robert M. Colomb, Abdelgaffar Hamid Ahmed	A framework of an ontology server for enhancing interlocking institutional worlds' integrity.	Int. J. Metadata Semant. Ontologies	2015	DBLP DOI BibTeX RDF
19	Dianjun Liu, Hongrui Yang, Wenhai Qi, Xianwen Gao	井下运输系统调度联锁过程的建模 (Modeling of Dispatching Interlocking Process of Underground Transportation System).	计算机科学	2015	DBLP BibTeX RDF
19	Yu Dong, Xuejuan Gao	基于场景的联锁软件形式化模型生成方法 (Method for Generating Formal Interlocking Software Model Based on Scenario).	计算机科学	2015	DBLP DOI BibTeX RDF
19	Chi-Wing Fu, Peng Song 0001, Xiaoqi Yan, Lee Wei Yang, Pradeep Kumar Jayaraman, Daniel Cohen-Or	Computational interlocking furniture assembly.	ACM Trans. Graph.	2015	DBLP DOI BibTeX RDF
19	Mélina Skouras, Stelian Coros, Eitan Grinspun, Bernhard Thomaszewski	Interactive surface design with interlocking elements.	ACM Trans. Graph.	2015	DBLP DOI BibTeX RDF
19	Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo 0001, András Zentai	Model-in-the-Loop Testing of a Railway Interlocking System.	MODELSWARD (Revised Selected Papers)	2015	DBLP DOI BibTeX RDF
19	Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo 0001, András Zentai	Model-Driven Engineering of a Railway Interlocking System.	MODELSWARD	2015	DBLP DOI BibTeX RDF
19	Devleena Ghosh, Chittaranjan Mandal 0002	Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification.	APSEC	2015	DBLP DOI BibTeX RDF
19	Takuya Itabashi, Junpei Itastu, Ippei Torii, Naohiro Ishii	Reproduction of Veridical Inertia by Interlocking of Head Tracking and Motion Chair.	ACIT-CSI	2015	DBLP DOI BibTeX RDF
19	Muhammed Ali Nur Oz, Ibrahim Sener, Ozgur Turay Kaymakci, Ilker Üstoglu, Galip Cansever	A tool for automatic formal modeling of railway interlocking systems.	EUROCON	2015	DBLP DOI BibTeX RDF
19	Pengfei Sun, Simon Collart Dutilleul, Philippe Bon	A model pattern of railway interlocking system by Petri nets.	MT-ITS	2015	DBLP DOI BibTeX RDF
19	Umar Khan, Jamil Ahmad, Tariq Saeed, Sikandar Hayat Mirza	Real Time Modeling of Interlocking Control System of Rawalpindi Cantt Train Yard.	FIT	2015	DBLP DOI BibTeX RDF
19	Ettore Croci, Rosanna Grassi	The economic effect of interlocking directorates in Italy: new evidence using centrality measures.	Comput. Math. Organ. Theory	2014	DBLP DOI BibTeX RDF
19	Anne E. Haxthausen	Automated generation of formal safety conditions from railway interlocking tables.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
19	Somsak Vanit-Anunchai	Experience using Coloured Petri Nets to Model Railway Interlocking Tables.	FSFMA	2014	DBLP DOI BibTeX RDF
19	Kao-Shang Shih, Ching-Chi Hsu, Tzu-Pin Hsu, Sheng-Mou Hou, Chen-Kun Liaw	Biomechanical analyses of static and dynamic fixation techniques of retrograde interlocking femoral nailing using nonlinear finite element methods.	Comput. Methods Programs Biomed.	2014	DBLP DOI BibTeX RDF
19	Serguei Saavedra, Luis J. Gilarranz, Rudolf P. Rohr, Michael Schnabel, Brian Uzzi, Jordi Bascompte	Stock fluctuations are correlated and amplified across networks of interlocking directorates.	EPJ Data Sci.	2014	DBLP DOI BibTeX RDF
19	Christopher Robeller, Andrea Stitic, Paul Mayencourt, Yves Weinand	Interlocking Folded Plate: Integrated Mechanical Attachment for Structural Wood Panels.	AAG	2014	DBLP DOI BibTeX RDF
19	Andrea Bonacchi 0001, Alessandro Fantechi	Validation of Interlocking Systems by Testing their Models.	QUATIC	2014	DBLP DOI BibTeX RDF
19	Linh Vu Hong, Anne E. Haxthausen, Jan Peleska 0001	Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.	FTSCS	2014	DBLP DOI BibTeX RDF
19	Giuseppe Alemanno, Paolo Cignoni, Nico Pietroni, Federico Ponchio, Roberto Scopigno	Interlocking Pieces for Printing Tangible Cultural Heritage Replicas.	GCH	2014	DBLP DOI BibTeX RDF
19	Christopher Young, Erica A. Cartmill, Susan C. Levine, Susan Goldin-Meadow	Gesture and Speech Input are Interlocking Pieces: The Development of Children's Jigsaw Puzzle Assembly Ability.	CogSci	2014	DBLP BibTeX RDF
19	Andrea Bonacchi 0001, Alessandro Fantechi	On the Validation of an Interlocking System by Model-Checking.	FMICS	2014	DBLP DOI BibTeX RDF
19	Yousef Kowsar, Harriet Dashnow, Andrew Lonie	Data Interlocking: Coupling Analytics to the Data.	UCC	2014	DBLP DOI BibTeX RDF
19	Mustafa Seçkin Durmus	A control and automation engineering approach to railway interlocking system design (Demiryolu anklaşman sistem tasarımına kontrol ve otomasyon mühendisliği yaklaşımı)		2014	RDF
19	Cem Baskocagil	Demiryolu anklaşman sistemlerinin petri ağları ile tasarımı ve gerçeklenmesi (Railway interlocking system design and implementation using petri nets)		2014	RDF
19	Dong Wang, Xiangxian Chen, Hai Huang	A graph theory-based approach to route location in railway interlocking.	Comput. Ind. Eng.	2013	DBLP DOI BibTeX RDF
19	Matthew Moses, Michael Dennis Mays Kutzer, Hans Ma, Mehran Armand	A continuum manipulator made of interlocking fibers.	ICRA	2013	DBLP DOI BibTeX RDF
19	Paolo Bernardi, Riccardo Cantoro, Lyl M. Ciganda Brasca, Boyang Du, Ernesto Sánchez 0001, Matteo Sonza Reorda, Michelangelo Grosso, Oscar Ballan	On the Functional Test of the Register Forwarding and Pipeline Interlocking Unit in Pipelined Processors.	MTV	2013	DBLP DOI BibTeX RDF
19	Paolo Bernardi, D. Boyang, Lyl M. Ciganda, Ernesto Sánchez 0001, Matteo Sonza Reorda, Michelangelo Grosso, Oscar Ballan	A functional test algorithm for the register forwarding and pipeline interlocking unit in pipelined microprocessors.	IDT	2013	DBLP DOI BibTeX RDF
19	André Gießler, Jörg Ritter 0002, Paul Molitor	Model Checking for PLC based Railway Interlocking Systems.	MBMV	2013	DBLP BibTeX RDF
19	Kahp Y. Suh, Noo Li Jeon, Changhyun Pang	Wearable skin sensor using programmable interlocking of nanofibers.	NEMS	2013	DBLP DOI BibTeX RDF
19	Andrea Bonacchi 0001	Formal safety proof: a real case study in a railway interlocking system.	ISSTA	2013	DBLP DOI BibTeX RDF
19	Avinash R. Desai, Michael S. Hsiao, Chao Wang 0001, Leyla Nazhandali, T. Simin Hall	Interlocking obfuscation for anti-tamper hardware.	CSIIRW	2013	DBLP DOI BibTeX RDF
19	Anne E. Haxthausen, Jan Peleska 0001, Ralf Pinger	Applied Bounded Model Checking for Interlocking System Designs.	SEFM Workshops	2013	DBLP DOI BibTeX RDF
19	Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick	Verification of Solid State Interlocking Programs.	SEFM Workshops	2013	DBLP DOI BibTeX RDF
19	Andrea Bonacchi 0001, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani	Validation of Railway Interlocking Systems by Formal Verification, A Case Study.	SEFM Workshops	2013	DBLP DOI BibTeX RDF
19	Cheng-Fa Tsai, Yung-Ching Hu	Enhancement of efficiency by thrifty search of interlocking neighbor grids approach for grid-based data clustering.	ICMLC	2013	DBLP DOI BibTeX RDF
19	Antonio Hernando, Eugenio Roanes-Lozano, Roberto Maestre-Martínez, Jorge Tejedor	A logic-algebraic approach to decision taking in a railway interlocking system.	Ann. Math. Artif. Intell.	2012	DBLP DOI BibTeX RDF
19	Johan H. Koskinen, Christofer R. Edling	Modelling the evolution of a bipartite network - Peer referral in interlocking directorates.	Soc. Networks	2012	DBLP DOI BibTeX RDF
19	Peng Song 0001, Chi-Wing Fu, Daniel Cohen-Or	Recursive interlocking puzzles.	ACM Trans. Graph.	2012	DBLP DOI BibTeX RDF
19	Oliver Tessmann	Interlocking Manifold Kinematically Constrained Multi-material Systems.	AAG	2012	DBLP DOI BibTeX RDF
19	Alessandro Fantechi	Distributing the Challenge of Model Checking Interlocking Control Tables.	ISoLA (2)	2012	DBLP DOI BibTeX RDF
19	Anne E. Haxthausen	Automated Generation of Safety Requirements from Railway Interlocking Tables.	ISoLA (2)	2012	DBLP DOI BibTeX RDF
19	Mustafa Seçkin Durmus, Ugur Yildirim, Mehmet Turan Söylemez	Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets.	WODES	2012	DBLP DOI BibTeX RDF
19	Jong-Hyen Baek	The analysis of harmonic frequency test for interlocking system.	FSKD	2012	DBLP DOI BibTeX RDF
19	Benoit Diotte, Pascal Fallavollita, Lejing Wang, Simon Weidert, Peter-Helmut Thaller, Ekkehard Euler, Nassir Navab	Radiation-Free Drill Guidance in Interlocking of Intramedullary Nails.	MICCAI (1)	2012	DBLP DOI BibTeX RDF
19	Alton Y. K. Chua, Radhika Shenoy Balkunje	Interlocking Directorates and Profitability: A Social Network Analysis of Fortune 500 Companies.	ASONAM	2012	DBLP DOI BibTeX RDF
19	Sana Elouaer-Mrizak	A Social Network Analysis of Interlocking Directorates in French Firms.	ASONAM	2012	DBLP DOI BibTeX RDF
19	Karol Rástocný, Karol Rástocný Jr.	UML - A Part of an Interlocking System Development Process.	TST	2012	DBLP DOI BibTeX RDF
19	Karim Kanso	Agda as a platform for the development of verified railway interlocking systems.		2012	RDF
19	Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita	A logic approach to decision taking in a railway interlocking system using Maple.	Math. Comput. Simul.	2011	DBLP DOI BibTeX RDF
19	Chen Xiangxian, He Yulin, Huang hai	A component-based topology model for railway interlocking systems.	Math. Comput. Simul.	2011	DBLP DOI BibTeX RDF
19	Brian L. Connelly, Jonathan L. Johnson, László Tihanyi, Alan E. Ellstrand	More Than Adopters: Competing Influences in the Interlocking Directorate.	Organ. Sci.	2011	DBLP DOI BibTeX RDF
19	Xiangxian Chen, Yulin He, Hai Huang	An approach to automatic development of interlocking logic based on Statechart.	Enterp. Inf. Syst.	2011	DBLP DOI BibTeX RDF
19	Alberto Baccini, Lucio Barabesi	Interlocking editorship. A network analysis of the links between economic journals	CoRR	2011	DBLP BibTeX RDF
19	Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet	Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems.	FM	2011	DBLP DOI BibTeX RDF
19	André Gießler, Jörg Ritter 0002, Paul Molitor	BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems.	MBMV	2011	DBLP BibTeX RDF
19	Yan Cao, Qiuzi Lu, Tianhua Xu, Tao Tang 0004, Haifeng Wang, Yongcheng Xu	Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems.	SSIRI (Companion)	2011	DBLP DOI BibTeX RDF
19	Reiner Saykowski, Elferik Schultz, Joachim Bleidiessel	Alister 2.0 - Programmable Logic Controllers in Railway Interlocking Systems for Regional Lines of the DB Netze AG.	KiVS	2011	DBLP DOI BibTeX RDF
19	Robert M. Colomb, Mohammad Nazir Ahmad	A perdurant ontology for interoperating information systems based on interlocking institutional worlds.	Appl. Ontology	2010	DBLP DOI BibTeX RDF
19	Alberto Baccini, Lucio Barabesi	Interlocking editorship. A network analysis of the links between economic journals.	Scientometrics	2010	DBLP DOI BibTeX RDF
19	Mohammad Nazir Ahmad, Robert M. Colomb, Shazia W. Sadiq	A UML profile for perdurant ontology of domain interlocking Institutional Worlds.	Int. J. Internet Enterp. Manag.	2010	DBLP DOI BibTeX RDF
19	Klaus Stein, Steffen Blaschke	Interlocking Communication - Measuring Collaborative Intensity in Social Networks.	From Sociology to Computing in Social Networks	2010	DBLP DOI BibTeX RDF
19	Oytun Eris, Ilhan Mutlu	Design of signal control structures using formal methods for railway interlocking systems.	ICARCV	2010	DBLP DOI BibTeX RDF
19	Anne E. Haxthausen	Towards a Framework for Modelling and Verification of Relay Interlocking Systems.	Monterey Workshop	2010	DBLP DOI BibTeX RDF
19	Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi	Model Checking Interlocking Control Tables.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
19	Lejing Wang, Jürgen Landes, Simon Weidert, Tobias Blum, Anna von der Heide, Ekkehard Euler, Nassir Navab	First Animal Cadaver Study for Interlocking of Intramedullary Nails under Camera Augmented Mobile C-arm.	IPCAI	2010	DBLP DOI BibTeX RDF
19	Somsak Vanit-Anunchai	Modelling Railway Interlocking Tables Using Coloured Petri Nets.	COORDINATION	2010	DBLP DOI BibTeX RDF
19	Chaoqun Ni, Ying Ding 0001	Journal clustering through interlocking editorship information.	ASIST	2010	DBLP DOI BibTeX RDF
19	Zbigniew Lukasik, Waldemar Nowakowski	Application of TTCN-3 for Testing of Railway Interlocking Systems.	TST	2010	DBLP DOI BibTeX RDF
19	Jie Gong, Zirong Tang, Tielin Shi, Guanglan Liao, Lei Nie, Shiyuan Liu	Improved adhesion between C-MEMS and substrate by micromechanical interlocking.	NEMS	2009	DBLP DOI BibTeX RDF
19	Karim Kanso, Faron Moller, Anton Setzer	Automated Verification of Signalling Principles in Railway Interlocking Systems.	AVoCS	2008	DBLP DOI BibTeX RDF
19	Mohammad Nazir Ahmad, Robert M. Colomb, Shazia Wasim Sadiq	UML-based DEMO Profiles as Metaconcepts for Interlocking Institutional Worlds.	PACIS	2008	DBLP BibTeX RDF
19	Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær	Modelling and Verification of Relay Interlocking Systems.	Monterey Workshop	2008	DBLP DOI BibTeX RDF
19	Maik Kollmann	Anforderungsspezifikation, Verhaltensspezifikation und Überprüfung objektorientierter Stellwerke mit Multi-Objektlogiken, UML-Zustandsdiagrammen und Multi-Object Checking (Requirements Specification, Behavioral Specification and Checking of object-oriented Interlocking Systems using Multi-Object Logics, UML State Machines and Multi-Object Checking)		2008	DOI RDF
19	Robert M. Colomb, Mohammad Nazir Ahmad	Merging ontologies requires interlocking institutional worlds.	Appl. Ontology	2007	DBLP BibTeX RDF
19	Tooru Sugiyama, Kanya Kusano	Multi-scale plasma simulation by the interlocking of magnetohydrodynamic model and particle-in-cell kinetic model.	J. Comput. Phys.	2007	DBLP DOI BibTeX RDF
19	Jürgen Fortin, W. Marte, R. Grüllenberger, A. Hacker, W. Habenbacher, Axel R. Heller, Ch. Wagner, Paul Wach, Falko Skrabal	Continuous non-invasive blood pressure monitoring using concentrically interlocking control loops.	Comput. Biol. Medicine	2006	DBLP DOI BibTeX RDF
19	Orides Morandin Jr., G. Rodrigo Araújo, Edilson R. R. Kato	A Modeling Strategy of Shop-Floor Interlocking and Controlling using Virtual Petri Nets and Production Simulation.	SMC	2006	DBLP DOI BibTeX RDF
19	Hugo Flordal	Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies.		2006	RDF
19	Peter Hilton 0001, C. Joanna Su	Further remarks on systems of interlocking exact sequences.	Int. J. Math. Math. Sci.	2005	DBLP DOI BibTeX RDF
19	Michele Banci, Alessandro Fantechi	Instantiating generic charts for railway interlocking systems.	FMICS	2005	DBLP DOI BibTeX RDF
19	S. Ingram, M. Alamgir Hossain, S. Cox	Coloured petri nets to model geographical interlocking for railway.	ICINCO	2005	DBLP BibTeX RDF
19	Michele Banci, Alessandro Fantechi	Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.	FMICS	2004	DBLP DOI BibTeX RDF
19	Garry Robins, Malcolm Alexander	Small Worlds Among Interlocking Directors: Network Structure and Distance in Bipartite Graphs.	Comput. Math. Organ. Theory	2004	DBLP DOI BibTeX RDF
19	Eberhard Becker, Willms Buhse, Dirk Günnewig, Niels Rump	DRM as Interlocking Challenge for Different Scientific Disciplines: Introduction.	Digital Rights Management	2003	DBLP DOI BibTeX RDF
19	Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita	A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking.	Math. Comput. Simul.	2002	DBLP DOI BibTeX RDF
19	Ralf Möller 0002	Interlocking of learning and orthonormalization in RRLSA.	Neurocomputing	2002	DBLP DOI BibTeX RDF
19	Kirsten Winter	Model Checking Railway Interlocking Systems.	ACSC	2002	DBLP BibTeX RDF
19	Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki	A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.	HIS	2002	DBLP BibTeX RDF
19	Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi	Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.	Comput. Syst. Sci. Eng.	2001	DBLP BibTeX RDF
19	Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci	Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design.	HASE	2001	DBLP DOI BibTeX RDF