|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
72 | Rien Gouweloos, Maarten Bartholomeus |
An Estimate of the Punctuality Benefits of Automatic Operational Train Sequencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers, pp. 295-305, 2004, Springer, 978-3-540-74245-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Jörn Schönberger, Herbert Kopfer |
On the Value of Objective Function Adaptation in Online Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research, Proceedings 2007, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Saarbrücken, Germany, September 5-7, 2007, pp. 491-496, 2007, Springer, 978-3-540-77902-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001 |
The Cost of Punctuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 109-120, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Lorenzo Trimble |
Developing an equitable tardiness/attendance system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, Orlando, Florida, USA, October 7-10, 2007, pp. 339-341, 2007, ACM, 978-1-59593-634-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
absenteeism, attendance, equitability, punctuality, tardiness |
28 | Enrico Denti, Luca Burroni |
Delay Indices for Train Punctuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 14(5), pp. 269, May 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(9), pp. 4552, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 35(2), pp. 9:1-9:50, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudNet ![In: 12th IEEE International Conference on Cloud Networking, CloudNet 2023, Hoboken, NJ, USA, November 1-3, 2023, pp. 9-17, 2023, IEEE, 979-8-3503-1306-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Hajar Alla, Lahcen Moumoun, Youssef Balouki |
Machine Learning-Based Prediction of Flight Punctuality and Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiSt ![In: 7th IEEE Congress on Information Science and Technology, CiSt 2023, Agadir - Essaouira, Morocco, December 16-22, 2023, pp. 171-178, 2023, IEEE, 978-1-6654-6133-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Tim Meyer-Hollatz, Nina Schwarz, Tim Werner |
Punctuality Predictions in Public Transportation: Quantifying the Effect of External Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: Digital Responsibility: Social, Ethical, Ecological Implications of IS, 18. Internationale Tagung Wirtschaftsinformatik (WI 2023), September 18-21, 2023, Paderborn, Germany., pp. 73, 2023, AISeL. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 30th IEEE International Conference on Network Protocols, ICNP 2022, Lexington, KY, USA, October 30 - Nov. 2, 2022, pp. 1-11, 2022, IEEE, 978-1-6654-8234-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Transp. ![In: Public Transp. 13(1), pp. 127-161, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.09534, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Helwatuzzakiah Helwatuzzakiah, Muh. Haris Zubaidillah, Dony Ahmad Ramadhani |
The Effect of Online Game Addiction on Punctuality in Performing Prayers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLIQE ![In: ICLIQE '21: The 5th International Conference on Learning Innovation and Quality Education, Surakarta, Indonesia, 4 September 2021, pp. 34:1-34:7, 2021, ACM, 978-1-4503-8692-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 182-199, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Transp. Syst. Mag. ![In: IEEE Intell. Transp. Syst. Mag. 12(4), pp. 78-91, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019, pp. 2797-2802, 2019, IEEE, 978-1-5386-7024-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Ferrère |
The Compound Interest in Relaxing Punctuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 147-164, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Florian Hauck, Natalia Kliewer |
A Data-Driven Optimization Approach to Improve Railway Punctuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research Proceedings 2018, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Brussels, Belgium, September 12-14, 2018., pp. 539-545, 2018, Springer, 978-3-030-18499-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 248(3), pp. 827-839, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Yasufumi Ochiai, Norio Tomii |
Punctuality analysis using a microscopic simulation in which drivers' behaviour is considered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Rail Transp. Plan. Manag. ![In: J. Rail Transp. Plan. Manag. 5(3), pp. 128-145, 2015. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.05363, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015, pp. 234-241, 2015, ACM, 978-1-63190-096-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Daniël Reijsbergen, Stephen Gilmore |
Formal Punctuality Analysis of Frequent Bus Services Using Headway Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering - 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings, pp. 164-178, 2014, Springer, 978-3-319-10884-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.5638, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Paritosh K. Pandya, Simoni S. Shah |
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, pp. 60-75, 2011, Springer, 978-3-642-23216-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Francis Sourd |
Punctuality and idleness in just-in-time scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 167(3), pp. 739-751, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Patrick Caudal |
Computational Lexical Semantics, Incrementality, and the So-called Punctuality of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 27th Annual Meeting of the Association for Computational Linguistics, University of Maryland, College Park, Maryland, USA, 20-26 June 1999., pp. 497-504, 1999, ACL, 1-55860-609-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Frank Hellemans |
Napoleon and Internet. A historical and anthropological view on the culture of punctuality and instantaneity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telematics Informatics ![In: Telematics Informatics 15(3), pp. 127-133, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Rajeev Alur, Tomás Feder, Thomas A. Henzinger |
The Benefits of Relaxing Punctuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(1), pp. 116-146, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 41(4), pp. 710-720, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Rajeev Alur, Tomás Feder, Thomas A. Henzinger |
The Benefits of Relaxing Punctuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991, pp. 139-152, 1991, ACM, 0-89791-439-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Tommaso Leo, Flavio Manganello, Martina Pennacchietti, Antonio Pistoia, Kinshuk, Niang-Shin Chen |
Online Synchronous Instruction: Challenges and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009, Riga, Latvia, July 15-17, 2009, pp. 489-491, 2009, IEEE Computer Society, 978-0-7695-3711-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 124-135, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Athula Wijewickrama, Soemon Takakuwa |
Outpatient appointment scheduling in a multi facility system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 1563-1571, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jih-Wen Sheu, Wei-Song Lin |
Designing Automatic Train Regulation for MRT system by adaptive critic method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 406-412, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | David Claudio, Jie Zhang, Ying Zhang |
A hybrid inventory control system approach applied to the food industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 1699-1707, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 8(1), pp. 50-56, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 259-265, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 71-78, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 580-591, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|