Published in: OASIcs, Volume 115, 23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2023)
Fabian Löbel, Ralf Borndörfer, and Steffen Weider. Non-Linear Charge Functions for Electric Vehicle Scheduling with Dynamic Recharge Rates (Short Paper). In 23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2023). Open Access Series in Informatics (OASIcs), Volume 115, pp. 15:1-15:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{lobel_et_al:OASIcs.ATMOS.2023.15, author = {L\"{o}bel, Fabian and Bornd\"{o}rfer, Ralf and Weider, Steffen}, title = {{Non-Linear Charge Functions for Electric Vehicle Scheduling with Dynamic Recharge Rates}}, booktitle = {23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2023)}, pages = {15:1--15:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-302-7}, ISSN = {2190-6807}, year = {2023}, volume = {115}, editor = {Frigioni, Daniele and Schiewe, Philine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2023.15}, URN = {urn:nbn:de:0030-drops-187765}, doi = {10.4230/OASIcs.ATMOS.2023.15}, annote = {Keywords: Electric Vehicle Scheduling, Battery Powered Vehicles, Charging Process, Non-linear Charging, Recharge Modeling, Dynamic Recharge Rate} }
Published in: Dagstuhl Reports, Volume 9, Issue 11 (2020)
Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, and Steffen Zschaler. Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). In Dagstuhl Reports, Volume 9, Issue 11, pp. 97-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{duran_et_al:DagRep.9.11.97, author = {Dur\'{a}n, Francisco and Heinrich, Robert and P\'{e}rez-Palac{\'\i}n, Diego and Talcott, Carolyn L. and Zschaler, Steffen}, title = {{Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)}}, pages = {97--116}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {11}, editor = {Dur\'{a}n, Francisco and Heinrich, Robert and P\'{e}rez-Palac{\'\i}n, Diego and Talcott, Carolyn L. and Zschaler, Steffen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.11.97}, URN = {urn:nbn:de:0030-drops-119853}, doi = {10.4230/DagRep.9.11.97}, annote = {Keywords: Modelling, Simulation, Semantics, Formal Methods, Software Engineering} }
Published in: LIPIcs, Volume 88, 17th International Workshop on Algorithms in Bioinformatics (WABI 2017)
Mohamed K. Gunady, Steffen Cornwell, Stephen M. Mount, and Héctor Corrada Bravo. Yanagi: Transcript Segment Library Construction for RNA-Seq Quantification. In 17th International Workshop on Algorithms in Bioinformatics (WABI 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 88, pp. 10:1-10:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{gunady_et_al:LIPIcs.WABI.2017.10, author = {Gunady, Mohamed K. and Cornwell, Steffen and Mount, Stephen M. and Bravo, H\'{e}ctor Corrada}, title = {{Yanagi: Transcript Segment Library Construction for RNA-Seq Quantification}}, booktitle = {17th International Workshop on Algorithms in Bioinformatics (WABI 2017)}, pages = {10:1--10:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-050-7}, ISSN = {1868-8969}, year = {2017}, volume = {88}, editor = {Schwartz, Russell and Reinert, Knut}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2017.10}, URN = {urn:nbn:de:0030-drops-76487}, doi = {10.4230/LIPIcs.WABI.2017.10}, annote = {Keywords: RNA-Seq, Genome Sequencing, Kmer-based alignment, Transcriptome Quantification, Differential Alternative Splicing} }
Published in: OASIcs, Volume 28, 2012 Imperial College Computing Student Workshop
Dionysios Efstathiou, Peter McBurney, Noël Plouzeau, and Steffen Zschaler. Improving the Quality of Distributed Composite Service Applications. In 2012 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 28, pp. 49-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{efstathiou_et_al:OASIcs.ICCSW.2012.49, author = {Efstathiou, Dionysios and McBurney, Peter and Plouzeau, No\"{e}l and Zschaler, Steffen}, title = {{Improving the Quality of Distributed Composite Service Applications}}, booktitle = {2012 Imperial College Computing Student Workshop}, pages = {49--55}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-48-4}, ISSN = {2190-6807}, year = {2012}, volume = {28}, editor = {Jones, Andrew V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2012.49}, URN = {urn:nbn:de:0030-drops-37649}, doi = {10.4230/OASIcs.ICCSW.2012.49}, annote = {Keywords: Service Composition, Optimisation, Dynamism, Evolution} }
Published in: LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011)
Steffen Lösch and Andrew M. Pitts. Relating Two Semantics of Locally Scoped Names. In Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 12, pp. 396-411, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{losch_et_al:LIPIcs.CSL.2011.396, author = {L\"{o}sch, Steffen and Pitts, Andrew M.}, title = {{Relating Two Semantics of Locally Scoped Names}}, booktitle = {Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL}, pages = {396--411}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-32-3}, ISSN = {1868-8969}, year = {2011}, volume = {12}, editor = {Bezem, Marc}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.396}, URN = {urn:nbn:de:0030-drops-32454}, doi = {10.4230/LIPIcs.CSL.2011.396}, annote = {Keywords: local names, continuations, typed lambda-calculus, observational equivalence} }
Published in: OASIcs, Volume 14, 10th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS'10) (2010)
Ralf Borndörfer, Thomas Schlechte, and Steffen Weider. Railway Track Allocation by Rapid Branching. In 10th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS'10). Open Access Series in Informatics (OASIcs), Volume 14, pp. 13-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{borndorfer_et_al:OASIcs.ATMOS.2010.13, author = {Bornd\"{o}rfer, Ralf and Schlechte, Thomas and Weider, Steffen}, title = {{Railway Track Allocation by Rapid Branching}}, booktitle = {10th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS'10)}, pages = {13--23}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-20-0}, ISSN = {2190-6807}, year = {2010}, volume = {14}, editor = {Erlebach, Thomas and L\"{u}bbecke, Marco}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.13}, URN = {urn:nbn:de:0030-drops-27465}, doi = {10.4230/OASIcs.ATMOS.2010.13}, annote = {Keywords: track allocation problem, integer programming, rapid branching heuristic, proximal bundle method} }
Published in: Dagstuhl Seminar Proceedings, Volume 9401, Machine learning approaches to statistical dependences and causality (2010)
Dominik Janzing, Steffen Lauritzen, and Bernhard Schölkopf. 09401 Abstracts Collection – Machine learning approaches to statistical dependences and causality. In Machine learning approaches to statistical dependences and causality. Dagstuhl Seminar Proceedings, Volume 9401, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{janzing_et_al:DagSemProc.09401.1, author = {Janzing, Dominik and Lauritzen, Steffen and Sch\"{o}lkopf, Bernhard}, title = {{09401 Abstracts Collection – Machine learning approaches to statistical dependences and causality }}, booktitle = {Machine learning approaches to statistical dependences and causality}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9401}, editor = {Dominik Janzing and Steffen Lauritzen and Bernhard Sch\"{o}lkopf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09401.1}, URN = {urn:nbn:de:0030-drops-23636}, doi = {10.4230/DagSemProc.09401.1}, annote = {Keywords: Machine learning, statistical dependences, causality} }
Published in: Dagstuhl Seminar Proceedings, Volume 8391, Social Web Communities (2008)
Alexandre Passant, Ian Mulvany, Peter Mika, Nicolas Maisonneuve, Alexander Löser, Ciro Cattuto, Christian Bizer, Christian Bauckhage, and Harith Alani. 08391 Group Summary – Mining for Social Serendipity. In Social Web Communities. Dagstuhl Seminar Proceedings, Volume 8391, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{passant_et_al:DagSemProc.08391.3, author = {Passant, Alexandre and Mulvany, Ian and Mika, Peter and Maisonneuve, Nicolas and L\"{o}ser, Alexander and Cattuto, Ciro and Bizer, Christian and Bauckhage, Christian and Alani, Harith}, title = {{08391 Group Summary – Mining for Social Serendipity}}, booktitle = {Social Web Communities}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8391}, editor = {Harith Alani and Steffen Staab and Gerd Stumme}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08391.3}, URN = {urn:nbn:de:0030-drops-17910}, doi = {10.4230/DagSemProc.08391.3}, annote = {Keywords: Serendipity, online activity, context, ubiquitous computing} }
Published in: OASIcs, Volume 2, 5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05) (2006)
Steffen Mecke, Anita Schöbel, and Dorothea Wagner. Station Location - Complexity and Approximation. In 5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05). Open Access Series in Informatics (OASIcs), Volume 2, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{mecke_et_al:OASIcs.ATMOS.2005.661, author = {Mecke, Steffen and Sch\"{o}bel, Anita and Wagner, Dorothea}, title = {{Station Location - Complexity and Approximation}}, booktitle = {5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-00-2}, ISSN = {2190-6807}, year = {2006}, volume = {2}, editor = {Kroon, Leo G. and M\"{o}hring, Rolf H.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2005.661}, URN = {urn:nbn:de:0030-drops-6612}, doi = {10.4230/OASIcs.ATMOS.2005.661}, annote = {Keywords: Station Location, facility location, complexity, approximation} }
Feedback for Dagstuhl Publishing