Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Peng Song 0001, Zhongqi Fu, Ligang Liu, Chi-Wing Fu |
Printing 3D objects with interlocking parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 35-36, pp. 137-148, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ERCIM News ![In: ERCIM News 2015(103), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 26(10), pp. 2630-2642, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Micromachines ![In: Micromachines 6(7), pp. 953-968, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus |
Verification of railway interlocking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSS ![In: Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015., pp. 19-31, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Networks ![In: Soc. Networks 41, pp. 85-100, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mark Bosschaart, Egidio Quaglietta, Bob Janssen, Rob M. P. Goverde |
Efficient formalization of railway interlocking data in RailML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 49, pp. 126-141, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Metadata Semant. Ontologies ![In: Int. J. Metadata Semant. Ontologies 10(4), pp. 219-228, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Dianjun Liu, Hongrui Yang, Wenhai Qi, Xianwen Gao |
井下运输系统调度联锁过程的建模 (Modeling of Dispatching Interlocking Process of Underground Transportation System). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(Z6), pp. 45-47, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
19 | Yu Dong, Xuejuan Gao |
基于场景的联锁软件形式化模型生成方法 (Method for Generating Formal Interlocking Software Model Based on Scenario). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(1), pp. 193-195, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 34(4), pp. 91:1-91:11, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mélina Skouras, Stelian Coros, Eitan Grinspun, Bernhard Thomaszewski |
Interactive surface design with interlocking elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 34(6), pp. 224:1-224:7, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, pp. 375-389, 2015, Springer, 978-3-319-27868-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo 0001, András Zentai |
Model-Driven Engineering of a Railway Interlocking System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pp. 509-519, 2015, SciTePress, 978-989-758-083-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015, pp. 330-337, 2015, IEEE Computer Society, 978-1-4673-9644-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT-CSI ![In: 3rd International Conference on Applied Computing and Information Technology, ACIT 2015/2nd International Conference on Computational Science and Intelligence, CSI 2015, Okayama, Japan, July 12-16, 2015, pp. 399-403, 2015, IEEE, 978-1-4673-9642-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCON ![In: IEEE EUROCON 2015 - International Conference on Computer as a Tool, Salamanca, Spain, September 8-11, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-8569-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Pengfei Sun, Simon Collart Dutilleul, Philippe Bon |
A model pattern of railway interlocking system by Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MT-ITS ![In: 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, June 3-5, 2015, pp. 442-449, 2015, IEEE, 978-9-6331-3140-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIT ![In: 13th International Conference on Frontiers of Information Technology, FIT 2015, Islamabad, Pakistan, December 14-16, 2015, pp. 347-352, 2015, IEEE Computer Society, 978-1-4673-9666-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Ettore Croci, Rosanna Grassi |
The economic effect of interlocking directorates in Italy: new evidence using centrality measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Organ. Theory ![In: Comput. Math. Organ. Theory 20(1), pp. 89-112, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Anne E. Haxthausen |
Automated generation of formal safety conditions from railway interlocking tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 16(6), pp. 713-726, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Somsak Vanit-Anunchai |
Experience using Coloured Petri Nets to Model Railway Interlocking Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014., pp. 17-28, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 113(2), pp. 456-464, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPJ Data Sci. ![In: EPJ Data Sci. 3(1), pp. 30, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Robeller, Andrea Stitic, Paul Mayencourt, Yves Weinand |
Interlocking Folded Plate: Integrated Mechanical Attachment for Structural Wood Panels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAG ![In: Advances in Architectural Geometry, AAG 2014, London, UK, September 18-21, 2014., pp. 281-294, 2014, Springer, 978-3-319-11417-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Bonacchi 0001, Alessandro Fantechi |
Validation of Interlocking Systems by Testing their Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014, pp. 226-229, 2014, IEEE Computer Society, 978-1-4799-6132-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, pp. 223-238, 2014, Springer, 978-3-319-17580-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Giuseppe Alemanno, Paolo Cignoni, Nico Pietroni, Federico Ponchio, Roberto Scopigno |
Interlocking Pieces for Printing Tangible Cultural Heritage Replicas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCH ![In: 12th Eurographics Workshop on Graphics and Cultural Heritage, GCH 2014, Darmstadt, Germany, October 6-8, 2014, pp. 145-154, 2014, Eurographics Association, 978-3-905674-63-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014, 2014, cognitivesciencesociety.org, 978-0-9911967-0-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
19 | Andrea Bonacchi 0001, Alessandro Fantechi |
On the Validation of an Interlocking System by Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pp. 94-108, 2014, Springer, 978-3-319-10701-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Yousef Kowsar, Harriet Dashnow, Andrew Lonie |
Data Interlocking: Coupling Analytics to the Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCC ![In: Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014, pp. 696-701, 2014, IEEE Computer Society, 978-1-4799-7881-6. The full citation details ...](Pics/full.jpeg) |
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ı) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
19 | Dong Wang, Xiangxian Chen, Hai Huang |
A graph theory-based approach to route location in railway interlocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 66(4), pp. 791-799, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Moses, Michael Dennis Mays Kutzer, Hans Ma, Mehran Armand |
A continuum manipulator made of interlocking fibers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013, pp. 4008-4015, 2013, IEEE, 978-1-4673-5641-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 14th International Workshop on Microprocessor Test and Verification, MTV 2013, Austin, TX, USA, December 11-13, 2013, pp. 52-57, 2013, IEEE Computer Society, 978-1-4799-3246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT ![In: 8th International Design and Test Symposium, IDT 2013, Marrakesh, Morocco, 16-18 December, 2013, pp. 1-6, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | André Gießler, Jörg Ritter 0002, Paul Molitor |
Model Checking for PLC based Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013., pp. 71-82, 2013, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 978-3-86009-147-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Kahp Y. Suh, Noo Li Jeon, Changhyun Pang |
Wearable skin sensor using programmable interlocking of nanofibers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEMS ![In: 8th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, NEMS 2013, Suzhou, China, April 7-10, 2013, pp. 132-135, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Bonacchi 0001 |
Formal safety proof: a real case study in a railway interlocking system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013, pp. 378-381, 2013, ACM, 978-1-4503-2159-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIIRW ![In: Cyber Security and Information Intelligence, CSIIRW '13, Oak Ridge, TN, USA, January 8-10, 2013, pp. 8, 2013, ACM, 978-1-4503-1687-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Anne E. Haxthausen, Jan Peleska 0001, Ralf Pinger |
Applied Bounded Model Checking for Interlocking System Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 205-220, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 253-268, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 237-252, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: International Conference on Machine Learning and Cybernetics, ICMLC 2013, Tianjin, China, July 14-17, 2013, pp. 1279-1284, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 65(4), pp. 317-328, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Johan H. Koskinen, Christofer R. Edling |
Modelling the evolution of a bipartite network - Peer referral in interlocking directorates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Networks ![In: Soc. Networks 34(3), pp. 309-322, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Peng Song 0001, Chi-Wing Fu, Daniel Cohen-Or |
Recursive interlocking puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 31(6), pp. 128:1-128:10, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Tessmann |
Interlocking Manifold Kinematically Constrained Multi-material Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAG ![In: Advances in Architectural Geometry, AAG 2012, Paris, France, September 27-28, 2012., pp. 269-278, 2012, Springer, 978-3-7091-1250-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Fantechi |
Distributing the Challenge of Model Checking Interlocking Control Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp. 276-289, 2012, Springer, 978-3-642-34031-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Anne E. Haxthausen |
Automated Generation of Safety Requirements from Railway Interlocking Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp. 261-275, 2012, Springer, 978-3-642-34031-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012., pp. 110-115, 2012, International Federation of Automatic Control, 978-3-902823-28-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Jong-Hyen Baek |
The analysis of harmonic frequency test for interlocking system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: 9th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2012, 29-31 May 2012, Chongqing, China, pp. 2999-3003, 2012, IEEE, 978-1-4673-0025-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012 - 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I, pp. 18-25, 2012, Springer, 978-3-642-33414-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASONAM ![In: International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2012, Istanbul, Turkey, 26-29 August 2012, pp. 1105-1110, 2012, IEEE Computer Society, 978-0-7695-4799-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Sana Elouaer-Mrizak |
A Social Network Analysis of Interlocking Directorates in French Firms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASONAM ![In: International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2012, Istanbul, Turkey, 26-29 August 2012, pp. 1018-1026, 2012, IEEE Computer Society, 978-0-7695-4799-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Karol Rástocný, Karol Rástocný Jr. |
UML - A Part of an Interlocking System Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TST ![In: Telematics in the Transport Environment - 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10-13, 2012. Selected Papers, pp. 293-300, 2012, Springer, 978-3-642-34049-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Karim Kanso |
Agda as a platform for the development of verified railway interlocking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 82(1), pp. 15-28, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Chen Xiangxian, He Yulin, Huang hai |
A component-based topology model for railway interlocking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 81(9), pp. 1892-1900, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Organ. Sci. ![In: Organ. Sci. 22(3), pp. 688-703, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Xiangxian Chen, Yulin He, Hai Huang |
An approach to automatic development of interlocking logic based on Statechart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Enterp. Inf. Syst. ![In: Enterp. Inf. Syst. 5(3), pp. 273-286, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Baccini, Lucio Barabesi |
Interlocking editorship. A network analysis of the links between economic journals ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.1168, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 118-132, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 133-143, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 136-143, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KiVS ![In: 17th GI/ITG Conference on Communication in Distributed Systems, KiVS 2011, March 8-11, 2011, Kiel, Germany, pp. 205-207, 2011, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-27-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Robert M. Colomb, Mohammad Nazir Ahmad |
A perdurant ontology for interoperating information systems based on interlocking institutional worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Ontology ![In: Appl. Ontology 5(1), pp. 47-77, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Baccini, Lucio Barabesi |
Interlocking editorship. A network analysis of the links between economic journals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 82(2), pp. 365-389, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Internet Enterp. Manag. ![In: Int. J. Internet Enterp. Manag. 6(3), pp. 213-232, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Stein, Steffen Blaschke |
Interlocking Communication - Measuring Collaborative Intensity in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Sociology to Computing in Social Networks ![In: From Sociology to Computing in Social Networks - Theory, Foundations and Applications, pp. 231-252, 2010, Springer, 978-3-7091-0293-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Oytun Eris, Ilhan Mutlu |
Design of signal control structures using formal methods for railway interlocking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010, Singapore, 7-10 December 2010, Proceedings, pp. 776-780, 2010, IEEE, 978-1-4244-7814-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Anne E. Haxthausen |
Towards a Framework for Modelling and Verification of Relay Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers, pp. 176-192, 2010, Springer, 978-3-642-21291-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi |
Model Checking Interlocking Control Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 107-115, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCAI ![In: Information Processing in Computer-Assisted Interventions, First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings, pp. 56-66, 2010, Springer, 978-3-642-13710-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Somsak Vanit-Anunchai |
Modelling Railway Interlocking Tables Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, pp. 137-151, 2010, Springer, 978-3-642-13413-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Chaoqun Ni, Ying Ding 0001 |
Journal clustering through interlocking editorship information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIST ![In: Navigating Streams in an Information Ecosystem - Proceedings of the 73rd ASIS&T Annual Meeting, ASIST 2010, Pittsburgh, PA, USA, October 22-27, 2010, pp. 1-10, 2010, Wiley. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Zbigniew Lukasik, Waldemar Nowakowski |
Application of TTCN-3 for Testing of Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TST ![In: Transport Systems Telematics - 10th Conference, TST 2010, Katowice - Ustron, Poland, October 20-23, 2010. Selected Papers, pp. 447-454, 2010, Springer, 978-3-642-16471-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEMS ![In: 4th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, IEEE-NEMS 2009, Shenzhen, China, January 5-8, 2009, pp. 624-627, 2009, IEEE Computer Society, 978-1-4244-4629-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Karim Kanso, Faron Moller, Anton Setzer |
Automated Verification of Signalling Principles in Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 19-31, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIS ![In: Pacific Asia Conference on Information Systems, PACIS 2008, Suzhou, China, July 4-7, 2008, pp. 4, 2008, AISeL. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær |
Modelling and Verification of Relay Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers, pp. 141-153, 2008, Springer, 978-3-642-12565-2. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
DOI RDF |
|
19 | Robert M. Colomb, Mohammad Nazir Ahmad |
Merging ontologies requires interlocking institutional worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Ontology ![In: Appl. Ontology 2(1), pp. 1-12, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 227(2), pp. 1340-1352, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 36(9), pp. 941-957, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Taipei, Taiwan, October 8-11, 2006, pp. 4084-4089, 2006, IEEE, 1-4244-0099-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Hugo Flordal |
Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
19 | Peter Hilton 0001, C. Joanna Su |
Further remarks on systems of interlocking exact sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2005(1), pp. 155-162, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Michele Banci, Alessandro Fantechi |
Instantiating generic charts for railway interlocking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005, pp. 134-143, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | S. Ingram, M. Alamgir Hossain, S. Cox |
Coloured petri nets to model geographical interlocking for railway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO ![In: ICINCO 2005, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD, pp. 175-180, 2005, INSTICC Press. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Michele Banci, Alessandro Fantechi |
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004, pp. 3-19, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Garry Robins, Malcolm Alexander |
Small Worlds Among Interlocking Directors: Network Structure and Distance in Bipartite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Organ. Theory ![In: Comput. Math. Organ. Theory 10(1), pp. 69-94, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Eberhard Becker, Willms Buhse, Dirk Günnewig, Niels Rump |
DRM as Interlocking Challenge for Different Scientific Disciplines: Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management ![In: Digital Rights Management - Technological, Economic, Legal and Political Aspects, pp. 1-2, 2003, Springer, 3-540-40465-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 58(3), pp. 203-214, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ralf Möller 0002 |
Interlocking of learning and orthonormalization in RRLSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 49(1-4), pp. 429-433, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Kirsten Winter |
Model Checking Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia, January/February 2002, pp. 303-310, 2002, Australian Computer Society, 0-909-92582-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki |
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: Soft Computing Systems - Design, Management and Applications, HIS 2002, December 1-4, 2002, Santiago, Chile, pp. 775-784, 2002, IOS Press, 1-58603-297-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 16(4), pp. 249-261, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 209-219, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|