Search results for "punctuality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Rien Gouweloos, Maarten Bartholomeus	An Estimate of the Punctuality Benefits of Automatic Operational Train Sequencing.	ATMOS	2004	DBLP DOI BibTeX RDF
65	Jörn Schönberger, Herbert Kopfer	On the Value of Objective Function Adaptation in Online Optimisation.	OR	2007	DBLP DOI BibTeX RDF
50	Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001	The Cost of Punctuality.	LICS	2007	DBLP DOI BibTeX RDF
36	Lorenzo Trimble	Developing an equitable tardiness/attendance system.	SIGUCCS	2007	DBLP DOI BibTeX RDF	absenteeism, attendance, equitability, punctuality, tardiness
28	Enrico Denti, Luca Burroni	Delay Indices for Train Punctuality.	Inf.	2023	DBLP DOI BibTeX RDF
28	Chunlin Shang, Fenghua Zhu, Yancai Xu, Xiaoming Liu, Tianhua Jiang	Hierarchical Multi-Objective Optimization for Dedicated Bus Punctuality and Supply-Demand Balance Control.	Sensors	2023	DBLP DOI BibTeX RDF
28	Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya	From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
28	Haorui Peng, Fatemeh Akbarian, William Tärneberg, Maria Kihl	Punctual Cloud: Achieving Punctuality for Time-Critical Cloud Control Systems.	CloudNet	2023	DBLP DOI BibTeX RDF
28	Hajar Alla, Lahcen Moumoun, Youssef Balouki	Machine Learning-Based Prediction of Flight Punctuality and Delays.	CiSt	2023	DBLP DOI BibTeX RDF
28	Tim Meyer-Hollatz, Nina Schwarz, Tim Werner	Punctuality Predictions in Public Transportation: Quantifying the Effect of External Factors.	Wirtschaftsinformatik	2023	DBLP BibTeX RDF
28	Jie Zhang, Hang Shi, Yong Cui 0001, Feng Qian 0001, Wei Wang, Kai Zheng 0003, Jianping Wu	To Punctuality and Beyond: Meeting Application Deadlines with DTP.	ICNP	2022	DBLP DOI BibTeX RDF
28	Andreas Økland, Nils O. E. Olsson	Punctuality development and delay explanation factors on Norwegian railways in the period 2005-2014.	Public Transp.	2021	DBLP DOI BibTeX RDF
28	Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya	Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers.	CoRR	2021	DBLP BibTeX RDF
28	Helwatuzzakiah Helwatuzzakiah, Muh. Haris Zubaidillah, Dony Ahmad Ramadhani	The Effect of Online Game Addiction on Punctuality in Performing Prayers.	ICLIQE	2021	DBLP DOI BibTeX RDF
28	Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya	Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers.	FM	2021	DBLP DOI BibTeX RDF
28	Zhiguang Cao, Yaoxin Wu, Akshay Rao, Felix Klanner, Stefan Erschen, Wei Chen, Le Zhang 0001, Hongliang Guo	An Accurate Solution to the Cardinality-Based Punctuality Problem.	IEEE Intell. Transp. Syst. Mag.	2020	DBLP DOI BibTeX RDF
28	Sida Jiang, Christer Persson, Joel Åkesson	Punctuality prediction: combined probability approach and random forest modelling with railway delay statistics in Sweden.	ITSC	2019	DBLP DOI BibTeX RDF
28	Thomas Ferrère	The Compound Interest in Relaxing Punctuality.	FM	2018	DBLP DOI BibTeX RDF
28	Florian Hauck, Natalia Kliewer	A Data-Driven Optimization Approach to Improve Railway Punctuality.	OR	2018	DBLP DOI BibTeX RDF
28	Julien Guépet, Olivier Briant, Jean-Philippe Gayon, Rodrigo Acuna-Agost	The aircraft ground routing problem: Analysis of industry punctuality indicators in a sustainable perspective.	Eur. J. Oper. Res.	2016	DBLP DOI BibTeX RDF
28	Yasufumi Ochiai, Norio Tomii	Punctuality analysis using a microscopic simulation in which drivers' behaviour is considered.	J. Rail Transp. Plan. Manag.	2015	DBLP DOI BibTeX RDF
28	Daniël Reijsbergen, Rajeev Ratan	Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh (Extended Version).	CoRR	2015	DBLP BibTeX RDF
28	Daniël Reijsbergen, Rajeev Ratan	Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh.	VALUETOOLS	2015	DBLP DOI BibTeX RDF
28	Daniël Reijsbergen, Stephen Gilmore	Formal Punctuality Analysis of Frequent Bus Services Using Headway Data.	EPEW	2014	DBLP DOI BibTeX RDF
28	Paritosh K. Pandya, Simoni S. Shah	On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing	CoRR	2011	DBLP BibTeX RDF
28	Paritosh K. Pandya, Simoni S. Shah	On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing.	CONCUR	2011	DBLP DOI BibTeX RDF
28	Francis Sourd	Punctuality and idleness in just-in-time scheduling.	Eur. J. Oper. Res.	2005	DBLP DOI BibTeX RDF
28	Patrick Caudal	Computational Lexical Semantics, Incrementality, and the So-called Punctuality of Events.	ACL	1999	DBLP BibTeX RDF
28	Frank Hellemans	Napoleon and Internet. A historical and anthropological view on the culture of punctuality and instantaneity.	Telematics Informatics	1998	DBLP DOI BibTeX RDF
28	Rajeev Alur, Tomás Feder, Thomas A. Henzinger	The Benefits of Relaxing Punctuality.	J. ACM	1996	DBLP DOI BibTeX RDF	model checking, real time, temporal logic, timed automata
28	Jonathan P. Caulkins, Arnold Barnett, Patrick D. Larkey, Yuehong Yuan, Jesse Goranson	The On-Time Machines: Some Analyses of Airline Punctuality.	Oper. Res.	1993	DBLP DOI BibTeX RDF
28	Rajeev Alur, Tomás Feder, Thomas A. Henzinger	The Benefits of Relaxing Punctuality.	PODC	1991	DBLP DOI BibTeX RDF
22	Tommaso Leo, Flavio Manganello, Martina Pennacchietti, Antonio Pistoia, Kinshuk, Niang-Shin Chen	Online Synchronous Instruction: Challenges and Solutions.	ICALT	2009	DBLP DOI BibTeX RDF
22	Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001	On Expressiveness and Complexity in Real-Time Model Checking.	ICALP (2)	2008	DBLP DOI BibTeX RDF
22	Athula Wijewickrama, Soemon Takakuwa	Outpatient appointment scheduling in a multi facility system.	WSC	2008	DBLP DOI BibTeX RDF
22	Jih-Wen Sheu, Wei-Song Lin	Designing Automatic Train Regulation for MRT system by adaptive critic method.	IJCNN	2008	DBLP DOI BibTeX RDF
22	David Claudio, Jie Zhang, Ying Zhang	A hybrid inventory control system approach applied to the food industry.	WSC	2007	DBLP DOI BibTeX RDF
22	Arvid Kauppi, Johan Wikström, Bengt L. Sandblad, Arne W. Andersson	Future train traffic control: control by re-planning.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Train traffic control, Re-planning, Situation awareness, Dispatching, Control strategy
22	Masayuki Matsumoto	Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System.	ISADS	2003	DBLP DOI BibTeX RDF	Train Control, D-ATC, Assurance, Autonomous Decentralized System
22	Masayuki Matsumoto, Tadao Tsurumaki, Satoru Kitamura, Dai Watanabe, Kinji Mori	Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation .	HASE	2002	DBLP DOI BibTeX RDF	Train Control, D-ATC, Assurance, Autonomous Decentralized System
22	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF