The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1958-1983 (19) 1984-1993 (17) 1994-1995 (15) 1996 (19) 1997 (15) 1998 (24) 1999 (25) 2000 (36) 2001 (48) 2002 (41) 2003 (46) 2004 (87) 2005 (55) 2006 (75) 2007 (86) 2008 (89) 2009 (94) 2010 (113) 2011 (133) 2012 (124) 2013 (173) 2014 (179) 2015 (214) 2016 (242) 2017 (274) 2018 (290) 2019 (381) 2020 (375) 2021 (360) 2022 (409) 2023 (400) 2024 (103)
Publication types (Num. hits)
article(2157) book(2) data(5) incollection(13) inproceedings(2311) phdthesis(65) proceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 473 occurrences of 346 keywords

Results
Found 4561 publication records. Showing 4561 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
118Gordan Stojic, Ilija Tanackov, Slavko Veskovic, Sanjin Milinkovic, Dragan Simic Modelling Evaluation of Railway Reform Level Using Fuzzy Logic. Search on Bibsonomy IDEAL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF railway reform, Modelling, evaluation, fuzzy logic
99Yoshio Ishida Strategic Railway Systems Using ADS Technologies in Japan. Search on Bibsonomy ISADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
98Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki EVALPSN Based Railway Interlocking Simulator. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning
79Hans Schlenker Distributed Constraint-Based Railway Simulation. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
79Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini A Freshness Detection Mechanism for Railway Applications. Search on Bibsonomy PRDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF railway control systems, real-time, safety
69Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
69André Berger, Ralf Hoffmann, Ulf Lorenz, Sebastian Stiller TOPSU - RDM a simulation platform for online railway delay management. Search on Bibsonomy SimuTools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF online railway delay management, simulation, heuristics, transportation, stochastic scheduling, PSPACE, experimental algorithms, online optimization, web-based simulation
69John R. Wilson, L. Cordiner, Sarah Nichols 0001, L. Norton, N. Bristol, Theresa Clarke, S. Roberts On the Right Track: Systematic Implementation of Ergonomics in Railway Network Control. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Ergonomics audit, Railway ergonomics, Field study, Situation awareness, Mental workload, Control rooms, Cognitive ergonomics
63Leo G. Kroon, Dorothea Wagner, Frank Geraets, Christos D. Zaroliagis 04261 Abstracts Collection - Algorithmic Methods for Railway Optimization. Search on Bibsonomy Algorithmic Methods for Railway Optimization The full citation details ... 2004 DBLP  BibTeX  RDF
59Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
59Samia Nefti, Mourad Oussalah 0002 A neural network approach for railway safety prediction. Search on Bibsonomy SMC (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Hongsheng Su, Youpeng Zhang Multi-Immune-Agent Based Power Quality Monitoring Method for Electrified Railway. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Electrified Railway, Multi-Immune-Agent, Power Quality Monitoring
59Cindy Eisner Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking
53Leo G. Kroon, Frank Geraets, Dorothea Wagner, Christos D. Zaroliagis (eds.) Algorithmic Methods for Railway Optimization, 20.06. - 25.06.2004 Search on Bibsonomy Algorithmic Methods for Railway Optimization The full citation details ... 2004 DBLP  BibTeX  RDF
50Lennart Bengtsson, Rastislav Galia, Tomas Gustafsson, Curt Hjorring, Niklas Kohl Railway Crew Pairing Optimization. Search on Bibsonomy ATMOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Leo G. Kroon, Rommert Dekker, Michiel J. C. M. Vromans Cyclic Railway Timetabling: A Stochastic Optimization Approach. Search on Bibsonomy ATMOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Julie Jespersen-Groth, Daniel Potthoff, Jens Clausen, Dennis Huisman, Leo G. Kroon, Gábor Maróti, Morten N. Nielsen Disruption Management in Passenger Railway Transportation. Search on Bibsonomy Robust and Online Large-Scale Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Anne E. Haxthausen A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Petrica C. Pop, Camelia-Mihaela Pintea, Corina Pop Sitar, Dumitru Dumitrescu A Bio-Inspired Approach for a Dynamic Railway Problem. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
50Kirsten Berkenkötter, Ulrich Hannemann Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. Search on Bibsonomy SAFECOMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Sugjoon Yoon, Moon-Sang Kim, Jun-Seok Lim A Portability Study on Implementation Technologies by Comparing a Railway Simulator and an Aircraft FTD. Search on Bibsonomy AsiaSim The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Hakan Guler, Stanislav Jovanovic The application of modern GIS technology in the development of railway asset management systems. Search on Bibsonomy SMC (5) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Ruisi He, Zhangdui Zhong, Bo Ai 0001 Path loss measurements and analysis for high-speed railway viaduct scene. Search on Bibsonomy IWCMC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF high-speed railway, path loss exponent, path loss measurement, shadow fading, viaduct
49Stig Ole Johnsen, Jørn Vatn, Ragnar Rosness, Ivonne Andrade Herrera Cross border railway operations: improving safety at cultural interfaces. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Safety culture, Scenario analysis, Railway
49Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001 Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings
40Georgia Hadjicharalambous, Petrica C. Pop, Evangelia Pyrga, George Tsaggouris, Christos D. Zaroliagis The Railway Traveling Salesman Problem. Search on Bibsonomy ATMOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Ting Zhou, Hamid Sharif, Michael Hempel, Puttipong Mahasukhon, Wei Wang 0015, Hsiao-Hwa Chen Performance Study of a Mobile Multi-hop 802.11a/b Railway Network Using Passive Measurement. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 802.11a/b, mobility, wireless LAN, finite state machine, cross-layer optimization, multi-hop network
40Federico Barber, Laura Paola Ingolotti, Antonio Luis Lova, María Pilar Tormos, Miguel A. Salido Meta-heuristic and Constraint-Based Approaches for Single-Line Railway Timetabling. Search on Bibsonomy Robust and Online Large-Scale Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Alessandro Giua, Carla Seatzu Modeling and Supervisory Control of Railway Networks Using Petri Nets. Search on Bibsonomy IEEE Trans Autom. Sci. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40María Pilar Tormos, Antonio Luis Lova, Federico Barber, Laura Paola Ingolotti, Montserrat Abril, Miguel A. Salido A Genetic Algorithm for Railway Scheduling Problems. Search on Bibsonomy Metaheuristics for Scheduling in Industrial and Manufacturing Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Train Timetabling Problem, Parameterized Regret-Based Biased Random Sampling, Real World Instances, Genetic Algorithms, Scheduling
40Akiyasu Tomoeda, Mitsuhito Komatsu, Il Yun Yoo, Makoto Uchida, Ryo Takayama, Katsuhiro Nishinari Real-Time Railway Network Simulator "KUTTY". Search on Bibsonomy ACRI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura Toward developing a Decentralized Railway Signalling System Using Petri Nets. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Martin Penicka Formal Approach to Railway Applications. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking
40Zhenrui Peng, Fu Wu, Zhaoyuan Jiang Prediction of Railway Passenger Traffic Volume by means of LS-SVM. Search on Bibsonomy ISNN (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Laura Paola Ingolotti, Antonio Luis Lova, Federico Barber, María Pilar Tormos, Miguel A. Salido, Montserrat Abril New Heuristics to Solve the "CSOP" Railway Timetabling Problem. Search on Bibsonomy IEA/AIE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Decision Support, Constraint Satisfaction, Planning and Scheduling
40Ola Løkberg, Øystein Skogstad Functional Apportioning of Safety Requirements on Railway Signalling Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Jose Antonio Fonseca, Jorge Rady de Almeida Jr. CMMI RAMS Extension Based on CENELEC Railway Standard. Search on Bibsonomy SAFECOMP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova Simulated Time for Testing Railway Interlockings with TTCN-3. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Michael Gatto, Björn Glaus, Riko Jacob, Leon Peeters, Peter Widmayer Railway Delay Management: Exploring Its Algorithmic Complexity. Search on Bibsonomy SWAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Alexander Kuckelberg Component Based System Architecture for Railway Capacity Management Systems. Search on Bibsonomy QSIC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed and web-based information systems, Component-based systems
40Muhammet Fikret Ercan, Yu-Fai Fung, Tin-Kin Ho, Wai-leung Cheung Parallel Linear System Solution and Its Application to Railway Power Network Simulation. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Hans Schlenker Distributed Constraint-Based Railway Simulation. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Cindy Eisner Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Gérard Berthelot, Laure Petrucci Specification and validation of a concurrent system: an educational project. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Verification, Education, Specification, Coloured Petri nets
39Yuji Niwa A proposal for a new accident analysis method and its application to a catastrophic railway accident in Japan. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Railway accident, PG-diagram, MTO, Human reliability analysis, Risk, Genotype, Phenotype, Accident analysis
39Itziar Salaberria, Roberto Carballedo, Unai Gutierrez, Asier Perallos Wireless Communications Architecture for "Train-to-Earth" Communication in the Railway Industry. Search on Bibsonomy IWANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Web Services, Wireless communications, GPRS, WiFi, railway
39Etienne Côme, Latifa Oukhellou, Thierry Denoeux, Patrice Aknin Noiseless Independent Factor Analysis with Mixing Constraints in a Semi-supervised Framework. Application to Railway Device Fault Diagnosis. Search on Bibsonomy ICANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Independent Factor Analysis, mixing constraints, railway device, diagnosis, semi-supervised learning
39Kuei-Hsiang Chao Extension Robust Control of a Three-Level Converter for High-Speed Railway Tractions. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Three-level converter, power factor correction, extension robust controller, high-speed railway tractions
39Anne E. Haxthausen, Jan Peleska 0001 A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
39W. H. Gibson, E. D. Megaw, M. S. Young, E. Lowe A taxonomy of human communication errors and application to railway track maintenance. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Railway maintenance, Human reliability assessment, Communication, Human error
39Arne Borälv Case Study: Formal Verification of a Computerized Railway Interlocking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Stålmarck's method, Formal verification, Railway interlocking
39Kirsten Mark Hansen Validation of a Railway Interlocking Model. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Application of formal methods, simulation, model validation, railway interlocking
39Matthew J. Morley Safety in Railway Signalling Data: A Behavioural Analysis. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF application specific languages, Safety-critical systems, higher-order logic, railway signalling
39Calin Ciufudean, Constantin Filote Holonic Models for Traffic Control Systems. Search on Bibsonomy HoloMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF planning module, priority module, control module, railway traffic, traffic jam, Petri nets
39Lionel van den Berg, Paul A. Strooper, Kirsten Winter Introducing Time in an Industrial Application of Model-Checking. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF real-time system, model checking, railway interlockings
39Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio Labeled @-Calculus: Formalism for Time-Concerned Human Factors. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident
39Kenji Itoh, Henning Boje Andersen, Masaki Seki Track maintenance train operators' attitudes to job, organisation and management, and their correlation with accident/incident rate. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Attitude factors, Railway safety, FMAQ, TMAQ, Motivation, Morale
38Guangyan Li, W. Ian Hamilton, Ged Morrisroe, Theresa Clarke Driver detection and recognition of lineside signals and signs at different approach speeds. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Railway signs, Train speed, Signal sighting, Driver response, Railway signals
31Kerstin Hartig, Jens Gerlach, Juan Soto 0001, Jürgen Busse Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Klaus-Rüdiger Hase "Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Tao Tang Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe A Method of Evaluating Railway Signalling System Based on RAMS Concept. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Tony Lee, May Tso A universal sensor data platform modelled for realtime asset condition surveillance and big data analytics for railway systems: Developing a "Smart Railway" mastermind for the betterment of reliability, availability, maintainbility and safety of railway systems and passenger service. Search on Bibsonomy IEEE SENSORS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Christian Liebchen, Rolf H. Möhring The Modeling Power of the Periodic Event Scheduling Problem: Railway Timetables - and Beyond. Search on Bibsonomy ATMOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Antonio Luis Lova, María Pilar Tormos, Federico Barber, Laura Paola Ingolotti, Miguel A. Salido, Montserrat Abril Intelligent Train Scheduling on a High-Loaded Railway Network. Search on Bibsonomy ATMOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Valentina Cacchiani Models and algorithms for combinatorial optimization problems arising in railway applications. Search on Bibsonomy 4OR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MSC classification (2000) 90B06, 90C57, 90C90, 90C10, 90C59
30M. V. S. N. Prasad, P. K. Dalela Some experimental investigation of the effect of railway tunnels on mobile communications in Western India. Search on Bibsonomy Ann. des Télécommunications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Path loss measurements, Mobile communications, Tunnels
30Julien Rabatel, Sandra Bringay, Pascal Poncelet SO_MAD: SensOr Mining for Anomaly Detection in Railway Data. Search on Bibsonomy ICDM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF behavior characterization, anomaly detection, sequential patterns
30Takashi Kunifuji, Kinji Mori, Tadao Miura, Jun Nishiyama A Proposal of Flexible Railway Signalling System Utilizing Autonomous Decentralized Technology. Search on Bibsonomy ICDCS Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. Search on Bibsonomy IEA/AIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Ontology-driven information systems design, Domain-specific ontologies, Knowledge management
30Francescomaria Marino, Arcangelo Distante, Pier Luigi Mazzeo, Ettore Stella A Real-Time Visual Inspection System for Railway Maintenance: Automatic Hexagonal-Headed Bolts Detection. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi Experimenting with diversity in the model driven development of a railway signaling system. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal modelling, automatic code generation
30Petrica C. Pop, Camelia-Mihaela Pintea, Corina Pop Sitar An Ant-Based Heuristic for the Railway Traveling Salesman Problem. Search on Bibsonomy EvoWorkshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Chi-Chung Tao A Combinatorial Approach to Quantify Stochastic Failure of Complex Component-Based Systems_The Case of an Advanced Railway Level Crossing Surveillance System. Search on Bibsonomy FSKD (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Ralf Borndörfer, Thomas Schlechte Solving Railway Track Allocation Problems. Search on Bibsonomy OR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Kira Kastell, Steffen Bug, Alexey Nazarov, Rolf Jakoby Improvments in Railway Communication via GSM-R. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero UML Based Reverse Engineering for the Verification of Railway Control Logics. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Emad Aboelela, William Edberg, Christos Papakonstantinou, Vinod Vokkarane Wireless sensor network based model for secure railway operations. Search on Bibsonomy IPCCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Anita Schöbel Locating Stops Along Bus or Railway Lines - A Bicriteria Problem. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bicriterial, dynamic programming, location, set covering, public transportation
30Jesús Carretero 0001, Javier Fernández 0001, Alejandro Calderón 0001, Félix García Carballeira High Availability Considerations for a Distributed Computer-Based Railway Information System. Search on Bibsonomy DEXA Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Radek Dobias, Hana Kubátová FPGA Based Design of the Railway's Interlocking Equipments. Search on Bibsonomy DSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Hans Schlenker Distributed Constraint-Based Railway Simulation. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. Search on Bibsonomy SoftSpez Final Report The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Laura Paola Ingolotti, Federico Barber, María Pilar Tormos, Antonio Luis Lova, Miguel A. Salido, Montserrat Abril An Efficient Method to Schedule New Trains on a Heavily Loaded Railway Network. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Taïeb Mellouli, Leena Suhl Rotation Planning of Locomotive and Carriage Groups with Shared Capacities. Search on Bibsonomy ATMOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Evangelos Kranakis, Paolo Penna, Konrad Schlude, David Scot Taylor, Peter Widmayer Improving Customer Proximity to Railway Stations. Search on Bibsonomy CIAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Dorothea Wagner Algorithms and Models for Railway Optimization. Search on Bibsonomy WADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini Lessons Learned in Designing and Evaluating Railway Control Systems. Search on Bibsonomy WORDS Fall The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo An Automatic SPIN Validation of a Safety Critical Railway Control System. Search on Bibsonomy DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dependable protocols, model checking, formal verification, safety-critical systems
30Julio Mellado, Manuel Sierra, Ana Romera, Juan C. Dueñas Railway-Control Product Families: The Alcatel TAS Platform Experience. Search on Bibsonomy IW-SAPF The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Fangmei Wu, Meng Li Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF dynamic decision table, software testing, safety-critical software, interlocking
30Pierre Breguet, Luigi Zaffalon Railway Scale Model Simulator. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF simulation, concurrency, resource management, rendezvous, protected objects, Education and training
30Adrian David Cheok, S. Shiomi A fuzzy logic based anti-skid control system for railway applications. Search on Bibsonomy KES (1) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Michele Missikoff An object-oriented approach to an information and decision support system for railway traffic control. Search on Bibsonomy KES (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Apostolos Bessas, Spyros C. Kontogiannis, Christos D. Zaroliagis Incentive-Compatible Robust Line Planning. Search on Bibsonomy Robust and Online Large-Scale Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Francesco Corman, Rob M. P. Goverde, Andrea D'Ariano Rescheduling Dense Train Traffic over Complex Station Interlocking Areas. Search on Bibsonomy Robust and Online Large-Scale Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Train Rescheduling, Alternative Graph, Incompatibility Graph
30Sebastian Kinder, Rolf Drechsler Modeling and proving functional completeness in formal verification of counting heads. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 4561 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license