Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9727 Publications
2013 | Dissertation | LibreCat-ID: 7571
Business Process Models - Change Management
C. Gerth, Business Process Models - Change Management, 2013.
LibreCat
| Files available
C. Gerth, Business Process Models - Change Management, 2013.
2013 | Journal Article | LibreCat-ID: 769
How backhaul networks influence the feasibility of coordinated multipoint in cellular networks
T. Biermann, L. Scalia, C. Choi, W. Kellerer, H. Karl, {IEEE} Communications Magazine (2013).
LibreCat
| DOI
T. Biermann, L. Scalia, C. Choi, W. Kellerer, H. Karl, {IEEE} Communications Magazine (2013).
2013 | Conference Paper | LibreCat-ID: 8485
Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden
M. Spijkerman, in: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear), GI, 2013, pp. 425--434.
LibreCat
M. Spijkerman, in: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear), GI, 2013, pp. 425--434.
2013 | Conference Paper | LibreCat-ID: 8486
Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies
B. Nagel , C. Gerth , J. Post, G. Engels, in: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), CEUR-WS.org, 2013, pp. 9--16.
LibreCat
B. Nagel , C. Gerth , J. Post, G. Engels, in: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), CEUR-WS.org, 2013, pp. 9--16.
2013 | Conference Paper | LibreCat-ID: 8487
CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.
T. Kehrer , C. Gerth, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013, pp. 32–34.
LibreCat
T. Kehrer , C. Gerth, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013, pp. 32–34.
2013 | Conference Paper | LibreCat-ID: 8488
Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung
M. Grieger , S. Sauer, in: Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.
LibreCat
M. Grieger , S. Sauer, in: Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.
2013 | Conference Paper | LibreCat-ID: 8489
Goal-driven Composition of Business Process Models
B. Nagel , C. Gerth , G. Engels, in: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application), 2013.
LibreCat
B. Nagel , C. Gerth , G. Engels, in: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application), 2013.
2013 | Conference Paper | LibreCat-ID: 8490
Assembly-based Method Engineering with Method Patterns
M. Fazal-Baqaie , M. Luckey , G. Engels, in: Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 435–444.
LibreCat
M. Fazal-Baqaie , M. Luckey , G. Engels, in: Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 435–444.
2013 | Book Chapter | LibreCat-ID: 8547
Instrumentenentwicklung zur Messung von Lernstrategien in mathematikhaltigen Studiengängen
R. Göller, J. Kortemeyer, M. Liebendörfer, R. Biehler, R. Hochmuth, J. Krämer, L. Ostsieker, S. Schreiber, in: G. Greefrath (Ed.), Beiträge Zum Mathematikunterricht 2013: Vorträge Auf Der 47. Tagung Für Didaktik Der Mathematik, WTM-Verlag, Münster, 2013, pp. 360–363.
LibreCat
R. Göller, J. Kortemeyer, M. Liebendörfer, R. Biehler, R. Hochmuth, J. Krämer, L. Ostsieker, S. Schreiber, in: G. Greefrath (Ed.), Beiträge Zum Mathematikunterricht 2013: Vorträge Auf Der 47. Tagung Für Didaktik Der Mathematik, WTM-Verlag, Münster, 2013, pp. 360–363.
2013 | Conference Paper | LibreCat-ID: 8549
Mathe – nein danke? Interesse im und am Mathematikstudium bei Grundschullehramtsstudierenden mit Pflichtfach
J. Kolter, M. Liebendörfer, in: Mathematik Im Übergang Schule / Hochschule Und Im Ersten Studienjahr, Kassel, 2013, pp. 101–102.
LibreCat
J. Kolter, M. Liebendörfer, in: Mathematik Im Übergang Schule / Hochschule Und Im Ersten Studienjahr, Kassel, 2013, pp. 101–102.
2013 | Book Chapter | LibreCat-ID: 8551
Interest and Self-Determination in the Transition to Studying Mathematics
M. Liebendörfer, R. Hochmuth, in: A. Lindmeier, A. Heinze (Eds.), Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education, Kiel, 2013, p. 240.
LibreCat
M. Liebendörfer, R. Hochmuth, in: A. Lindmeier, A. Heinze (Eds.), Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education, Kiel, 2013, p. 240.
2013 | Conference Paper | LibreCat-ID: 8553
Interest in Mathematics and the First Steps at the University
M. Liebendörfer, R. Hochmuth, in: B. Ubuz, Ç. Haser, M.A. Mariotti (Eds.), Proceedings of the 8th {Conference} of European Research in Mathematics Education, Middle East Technical University, Ankara, 2013, pp. 2386–2395.
LibreCat
M. Liebendörfer, R. Hochmuth, in: B. Ubuz, Ç. Haser, M.A. Mariotti (Eds.), Proceedings of the 8th {Conference} of European Research in Mathematics Education, Middle East Technical University, Ankara, 2013, pp. 2386–2395.
2013 | Journal Article | LibreCat-ID: 4098
Self-organization of nanospheres in trenches on silicon surfaces
K. Brassat, F. Assion, U. Hilleringmann, J. Lindner, Physica Status Solidi (A) 210 (2013) 1485–1489.
LibreCat
| Files available
| DOI
K. Brassat, F. Assion, U. Hilleringmann, J. Lindner, Physica Status Solidi (A) 210 (2013) 1485–1489.
2013 | Dissertation | LibreCat-ID: 501
Performance and thermal management on self-adaptive hybrid multi-cores
M. Happe, Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores, Logos Verlag Berlin GmbH, Berlin, 2013.
LibreCat
| Files available
M. Happe, Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores, Logos Verlag Berlin GmbH, Berlin, 2013.
2013 | Conference Paper | LibreCat-ID: 506
On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft
G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
LibreCat
| Files available
G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
2013 | Conference Paper | LibreCat-ID: 507
On Two-Party Communication Through Dynamic Networks
S. Abshoff, M. Benter, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22.
LibreCat
| Files available
| DOI
S. Abshoff, M. Benter, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22.
2013 | Conference Paper | LibreCat-ID: 508
On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks
P. Wette, H. Karl, in: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
LibreCat
| Files available
| DOI
P. Wette, H. Karl, in: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
2013 | Conference Paper | LibreCat-ID: 509
On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings
M. Autenrieth, H. Frey, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
LibreCat
| Files available
| DOI
M. Autenrieth, H. Frey, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
2013 | Bachelorsthesis | LibreCat-ID: 511
MapReduce in Software Defined Networks
M. Splietker, MapReduce in Software Defined Networks, Universität Paderborn, 2013.
LibreCat
M. Splietker, MapReduce in Software Defined Networks, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 513
Locally Self-Adjusting Tree Networks
C. Avin, B. Häupler, Z. Lotker, C. Scheideler, S. Schmid, in: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406.
LibreCat
| Files available
| DOI
C. Avin, B. Häupler, Z. Lotker, C. Scheideler, S. Schmid, in: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406.
2013 | Dissertation | LibreCat-ID: 514
Local and Online Algorithms for Facility Location
P. Pietrzyk, Local and Online Algorithms for Facility Location, Universität Paderborn, 2013.
LibreCat
| Files available
P. Pietrzyk, Local and Online Algorithms for Facility Location, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 517
Knowledge-Based Verification of Service Compositions - An SMT approach
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
2013 | Conference Paper | LibreCat-ID: 519
IRIS: A Robust Information System Against Insider DoS-Attacks
M. Eikel, C. Scheideler, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–129.
LibreCat
| Files available
| DOI
M. Eikel, C. Scheideler, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–129.
2013 | Conference Paper | LibreCat-ID: 520
Incorporating feedback from application layer into routing and wavelength assignment algorithms
P. Wette, H. Karl, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 51–52.
LibreCat
| Files available
| DOI
| Download (ext.)
P. Wette, H. Karl, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 51–52.
2013 | Mastersthesis | LibreCat-ID: 521
Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs
H. Riebler, Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs, Universität Paderborn, 2013.
LibreCat
H. Riebler, Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs, Universität Paderborn, 2013.
2013 | Mastersthesis | LibreCat-ID: 522
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, Universität Paderborn, 2013.
LibreCat
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, Universität Paderborn, 2013.
2013 | Preprint | LibreCat-ID: 524
Hierarchies in Local Distributed Decision
F. Meyer auf der Heide, K. Swirkot, (2013).
LibreCat
| Files available
| arXiv
F. Meyer auf der Heide, K. Swirkot, (2013).
2013 | Bachelorsthesis | LibreCat-ID: 525
Haptics - Hadoop performance testing in concurrent job scenarios
T. Niklas Vinkemeier, Haptics - Hadoop Performance Testing in Concurrent Job Scenarios, Universität Paderborn, 2013.
LibreCat
T. Niklas Vinkemeier, Haptics - Hadoop Performance Testing in Concurrent Job Scenarios, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 527
Fuzzy Service Matching in On-The-Fly Computing
M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
LibreCat
| Files available
| DOI
M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
2013 | Mastersthesis | LibreCat-ID: 534
Emulating Wavelength Division Multiplexing using Openflow
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
LibreCat
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
2013 | Preprint | LibreCat-ID: 538 | 
Direct Chosen-Ciphertext Secure Attribute-Based Key Encapsulations without Random Oracles
J. Blömer, G. Liske, (2013).
LibreCat
| Files available
| Download (ext.)
J. Blömer, G. Liske, (2013).
2013 | Conference Paper | LibreCat-ID: 541
Continuous Gossip-based Aggregation through Dynamic Information Aging
K. Graffi, V. Rapp, in: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
LibreCat
| Files available
| DOI
K. Graffi, V. Rapp, in: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
2013 | Conference Paper | LibreCat-ID: 542
CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
LibreCat
| Files available
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
2013 | Conference Paper | LibreCat-ID: 544
Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM
M. Feldotto, K. Graffi, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13), 2013, pp. 99–106.
LibreCat
| Files available
| DOI
M. Feldotto, K. Graffi, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13), 2013, pp. 99–106.
2013 | Conference Paper | LibreCat-ID: 546
Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network
K. Graffi, M. Benter, M. Divband, S. Kniesburges, A. Koutsopoulos, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 27–34.
LibreCat
| Files available
| DOI
K. Graffi, M. Benter, M. Divband, S. Kniesburges, A. Koutsopoulos, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 27–34.
2013 | Dissertation | LibreCat-ID: 547
Business Process Models - Change Management
C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.
LibreCat
| DOI
C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 548
Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks
K. Graffi, T. Klerx, in: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13), 2013, pp. 1–5.
LibreCat
| Files available
| DOI
K. Graffi, T. Klerx, in: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13), 2013, pp. 1–5.
2013 | Conference Paper | LibreCat-ID: 551
Automated Service Composition for On-the-Fly SOAs
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532.
LibreCat
| Files available
| DOI
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532.
2013 | Bachelorsthesis | LibreCat-ID: 553
Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
LibreCat
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
2013 | Mastersthesis | LibreCat-ID: 555
Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs
A. Setzer, Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs, Universität Paderborn, 2013.
LibreCat
A. Setzer, Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs, Universität Paderborn, 2013.
2013 | Conference (Editor) | LibreCat-ID: 558
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
LibreCat
| Files available
| DOI
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
2013 | Conference Paper | LibreCat-ID: 559
Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables
P. Wette, K. Graffi, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
LibreCat
| Files available
| DOI
P. Wette, K. Graffi, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
2013 | Conference Paper | LibreCat-ID: 560
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
LibreCat
| Files available
| DOI
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
2013 | Conference Paper | LibreCat-ID: 562
A Local Heuristic for Latency-Optimized Distributed Cloud Deployment
M. Keller, S. Pawlik, P. Pietrzyk, H. Karl, in: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing, 2013, pp. 429–434.
LibreCat
| Files available
| DOI
M. Keller, S. Pawlik, P. Pietrzyk, H. Karl, in: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing, 2013, pp. 429–434.
2013 | Conference Paper | LibreCat-ID: 563
A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks
C. Markarian, F. Meyer auf der Heide, M. Schubert, in: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS), 2013, pp. 217–227.
LibreCat
| Files available
| DOI
C. Markarian, F. Meyer auf der Heide, M. Schubert, in: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS), 2013, pp. 217–227.
2013 | Conference Paper | LibreCat-ID: 564
A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO), 2013, pp. 165–176.
LibreCat
| Files available
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO), 2013, pp. 165–176.
2013 | Conference Paper | LibreCat-ID: 6573
Influence of angular radiated ultrasound waves on the Schlieren tomogram
S. Olfert, L. Claes, B. Henning, in: Proceedings of the International Conference on Acoustics, DEGA, Berlin, 2013, pp. 477–480.
LibreCat
S. Olfert, L. Claes, B. Henning, in: Proceedings of the International Conference on Acoustics, DEGA, Berlin, 2013, pp. 477–480.
2013 | Journal Article | LibreCat-ID: 6729
Relational semantics for full linear logic
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
LibreCat
| DOI
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
2013 | Conference Paper | LibreCat-ID: 6730
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
2013 | Conference Paper | LibreCat-ID: 6732
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.