Search results for "Railway"

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