Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-3-4

Relating Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Minimal Size of Counters for (Real-Time) Multicounter Automata

Viliam Geffert, Zuzana Bednárová

Fundamenta Informaticae

Retricted access

Research article

First published 2009-5

Flat Parametric Counter Automata

Marius Bozga, Radu Iosif, Yassine Lakhnech

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Tinput-Driven Pushdown,Counter,and Stack Automata

Martin Kutrib, Andreas Malcher, Matthias Wendlandt

Fundamenta Informaticae

Retricted access

Research article

First published 2016-12-24

Visibly Pushdown Automata and Transducers with Counters

Oscar H. Ibarra

Fundamenta Informaticae

Retricted access

Research article

First published 2008-2

Blind Counter Automata on ω-Words

Henning Fernau, Ralf Stiebe

Fundamenta Informaticae

Retricted access

Research article

First published 2003

Estimation of Bus Dwell Times with Automatic Passenger Counter Information

Rajat Rajbhandari, Steven I. Chien, Janice R. Daniel

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2003

Automatic Passenger Counter Evaluation: Implications for National Transit Database Reporting

Thomas J. Kimpel, James G. Strathman, David Griffin [...]

Transportation Research Record: Journal of the Transportation Research Board

Open access

Research article

First published 2024-10

Use of agent-based modeling to model intermediate force capabilities in (counter)mobility crowd scenarios

Jessica Afara, Victoria Ajila, Hannah Macdonell [...]

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published 2005

Validation and Sampling of Automatic Rail Passenger Counters for National Transit Database and Internal Reporting at TriMet

James G. Strathman, Thomas J. Kimpel, Steve Callas

Transportation Research Record: Journal of the Transportation Research Board

Search results