Martina Keil
Dr.-Ing. Martina Keil
publications
2024
Multilayer Multipurpose Caches for OpenMP Target Regions on FPGAs
Proceedings of the 20th International Workshop on OpenMP, IWOMP 2024 (Perth, Australia, 23.09.2024 - 25.09.2024)
In: OpenMP: Advancing OpenMP for Future Accelerators 2024
BibTeX: Download
, , :
Multilayer Multipurpose Caches for OpenMP Target Regions on FPGAs [Data set]
(2024)
DOI: 10.5281/zenodo.12755510
BibTeX: Download
(online publication)
, , :
Evaluation of (Un-)Supervised Machine Learning Methods for GNSS Interference Classification with Real-World Data Discrepancies
Intl. Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) (Baltimore, MD, 16.09.2024 - 20.09.2024)
In: Proc. Intl. Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) 2024 2024
BibTeX: Download
, , , , , , , , :
Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems"
Zenodo (2024)
DOI: 10.5281/zenodo.10593916
BibTeX: Download
(online publication)
:
Employing Polyhedral Methods to Optimize Stencils on FPGAs with Stencil-specific Caches, Data Reuse, and Wide Data Bursts
14th International Workshop on Polyhedral Compilation Techniques, (IMPACT 2024, in conjunction with HiPEAC 2024) (München, 17.01.2024)
DOI: 10.48550/arXiv.2401.13645
URL: https://impact-workshop.org/impact2024/#mayer24-fpgas
BibTeX: Download
, , :
Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts [Reproduction Package]
(2024)
DOI: 10.5281/zenodo.10396084
BibTeX: Download
(online publication)
, , :
Few-Shot Learning with Uncertainty-based Quadruplet Selection for Interference Classification in GNSS Data
International Conference on Localization and GNSS (Antwerp, 05.06.2024 - 07.06.2024)
In: International Conference on Localization and GNSS 2024
BibTeX: Download
, , , , , , :
Register Expansion and SemaCall: 2 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM
ACM SIGSAC Conference on Computer and Communications Security (CCS'24), Workshop on Offensive and Defensive Techniques in the Context of Man At The End (MATE) attacks (Checkmate ’24) (Salt Lake City, UT, 18.10.2024 - 18.10.2024)
In: CheckMATE '24: Proceedings of the 2024 Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks, New York: 2024
BibTeX: Download
, , :
Uncertainty-Based Fingerprinting Model Monitoring for Radio Localization
In: IEEE Journal of Indoor and Seamless Positioning and Navigation (2024)
ISSN: 2832-7322
Open Access: https://ieeexplore.ieee.org/abstract/document/10526425
BibTeX: Download
, , , , :
Optimal machine learning and signal processing synergies for low-resource GNSS interference detection and classification
In: IEEE Transactions on Aerospace and Electronic Systems (2024), p. 3-17
ISSN: 0018-9251
DOI: 10.1109/TAES.2023.3349360
BibTeX: Download
, , , :
2023
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs (Best Paper Award)
Proceedings of the 19th International Workshop on OpenMP, IWOMP 2023 (Bristol, GBR, 13.09.2023 - 15.09.2023)
In: Simon McIntosh-Smith, Tom Deakin, Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg (ed.): OpenMP: Advanced Task-Based, Device and Compiler Programming 2023
DOI: 10.1007/978-3-031-40744-4_10
BibTeX: Download
, , :
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs [Data set]
14114 (2023), p. 147 - 162
ISSN: 0302-9743
DOI: 10.5281/zenodo.8055889
BibTeX: Download
(online publication)
, , :
Visualisierung der Statik, Dynamik und Infrastruktur von Software mit Hilfe der Stadt‐Metapher (Dissertation, 2023)
URL: https://opus4.kobv.de/opus4-fau/files/23373/DissertationVeronikaDashuberPress.pdf
BibTeX: Download
:
Evaluation of (Un-)Supervised Machine-Learning-Based Detection, Classification, and Localization Methods of GNSS Interference in the Real World
In: Proc. Intl. Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) 2023
BibTeX: Download
, , , , , , :
Practical Flaky Test Prediction using Common Code Evolution and Test History Data
16th IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 (Dublin, 16.04.2023 - 20.04.2023)
In: IEEE (ed.): Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023 2023
DOI: 10.1109/ICST57152.2023.00028
BibTeX: Download
, , , , :
Practical Flaky Test Prediction using Common Code Evolution and Test History Data [replication package]
figshare (2023)
DOI: 10.6084/m9.figshare.21363075
BibTeX: Download
(online publication)
, , , , :
Employing Polyhedral Methods to Reduce Data Movement in FPGA Stencil Codes
Languages and Compilers for Parallel Computing (LCPC 2022) (Chicago, IL, 12.10.2022 - 14.10.2022)
In: Charith Mendis, Lawrence Rauchwerger (ed.): Proc. of the 35rd Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC 2022), Cham: 2023
DOI: 10.1007/978-3-031-31445-2_4
BibTeX: Download
, , :
Benchmarking Visual-Inertial Deep Multimodal Fusion for Relative Pose Regression and Odometry-aided Absolute Pose Regression
(2023), p. 1-29
DOI: 10.48550/arXiv.2208.00919
BibTeX: Download
(Working Paper)
, , , , , , :
Multipath Delay Estimation in Complex Environments using Transformer
13th International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Nuremberg, Germany, 25.09.2023 - 28.09.2023)
In: Proc. 13th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2023) 2023
DOI: 10.1109/IPIN57070.2023.10332470
BibTeX: Download
, , , , :
Forschungsdaten Test-Eintrag 1 (weiterer Typ, online, Band) [Data set]
Zenodo (2023)
DOI: 10.5281/zenodo.2558378
URL: https://zenodo.org/record/2558378
BibTeX: Download
(online publication)
:
Forschungsdaten Test-Eintrag 2 (weiterer Typ, anderer, Band) [Data set]
Zenodo (2023)
DOI: 10.5281/zenodo.2558378
URL: https://zenodo.org/record/2558378
BibTeX: Download
(anderer)
:
Uncertainty-based Fingerprinting Model Selection for Radio Localization
13th International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Nuremberg, Germany, 25.09.2023 - 28.09.2023)
In: Proc. 13th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2023) 2023
DOI: 10.1109/IPIN57070.2023.10332531
BibTeX: Download
, , , , :
Indoor Localization with Robust Global Channel Charting: A Time-Distance-Based Approach
In: IEEE Transactions on Machine Learning in Communications and Networking 1 (2023), p. 1-15
ISSN: 2831-316X
DOI: 10.1109/TMLCN.2023.3256964
BibTeX: Download
, , , , :
Low-cost COTS GNSS interference monitoring, detection, and classification system
In: Sensors 23 (2023), p. 1-42
ISSN: 1424-8220
DOI: 10.3390/s23073452
BibTeX: Download
, , , , , , , , :
2022
Complementary Semi-Deterministic Clusters for Realistic Statistical Channel Models for Positioning
(2022), p. 1-6
DOI: 10.48550/ARXIV.2207.07837
BibTeX: Download
(Techreport)
, , , , , , , :
Towards Realistic Statistical Channel Models For Positioning: Evaluating the Impact of Early Clusters
(2022), p. 1-5
DOI: 10.48550/ARXIV.2207.07838
BibTeX: Download
(Techreport)
, , , , , , , :
Ein datenparalleler Ansatz zur Beschleunigung von Datenflussanalysen mittels GPU (Dissertation, 2022)
DOI: 10.25593/978-3-96147-494-3
BibTeX: Download
:
Reducing OpenMP to FPGA Round-trip Times with Predictive Modelling
18th International Workshop on OpenMP (IWOMP 2022) (Chattanooga, TN, 27.09.2022 - 30.09.2022)
In: Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth (ed.): OpenMP in a Modern World: From Multi-device Support to Meta Programming 2022
DOI: 10.1007/978-3-031-15922-0
BibTeX: Download
, , :
Reducing OpenMP to FPGA Round-trip Times with Predictive Modelling [Data set]
Zenodo (2022)
DOI: 10.5281/zenodo.7534795
BibTeX: Download
(online publication)
, , :
Multimodal Learning for Reliable Interference Classification in GNSS Signals
Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) (Denver, CO, 19.09.2022 - 23.09.2022)
In: Proc. Intl. Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) 2022
DOI: 10.33012/2022.18586
BibTeX: Download
, , , , , , , :
Static And Dynamic Dependency Visualization in a Layered Software City
In: SN Computer Science 3 (2022), p. Article 511
ISSN: 2661-8907
DOI: 10.1007/s42979-022-01404-6
BibTeX: Download
, :
Trace visualization within the Software City metaphor: Controlled experiments on program comprehension
In: Information and Software Technology 150 (2022), p. Article 106989
ISSN: 0950-5849
DOI: 10.1016/j.infsof.2022.106989
BibTeX: Download
, :
Initial Results of a Low-Cost GNSS Interference Monitoring Network
Intl. Conf. on Positioning and Navigation for Intelligent Transport Systems (POSNAV) (Berlin, 03.11.2022 - 04.11.2022)
In: Intl. Conf. on Positioning and Navigation for Intelligent Transport Systems (POSNAV) 2022
DOI: 10.1109/WCNC51071.2022.9771875
BibTeX: Download
, , , , , , , :
Unsupervised Disentanglement for Post-Identification of GNSS Interference in the Wild
Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) (Denver, CO, 19.09.2022 - 23.09.2022)
In: Proc. Intl. Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) 2022
DOI: 10.33012/2022.18493
BibTeX: Download
, , , , , , , :
Position Tracking using Likelihood Modeling of Channel Features with Gaussian Processes
arXiv:2203.13110 [eess] (2022), p. 1-10
DOI: 10.48550/ARXIV.2203.13110
BibTeX: Download
(Techreport)
, , , , , :
Delay Estimation in Dense Multipath Environments using Time Series Segmentation
IEEE Wireless Communications and Networking Conference (WCNC) (Austin, Texas, 10.04.2022 - 13.04.2022)
In: Proc. Intl. Conf. IEEE Wireless Communications and Networking Conference (WCNC) 2022
DOI: 10.1109/WCNC51071.2022.9771875
BibTeX: Download
, , , , , :
The ORKA-HPC Compiler — Practical OpenMP for FPGAs
34th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2021) (Newark, DE, 13.10.2021 - 14.10.2021)
In: Xiaoming Li, Sunita Chandrasekaran (ed.): Proceedings of the 34th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2021), Cham: 2022
DOI: 10.1007/978-3-030-99372-6
URL: https://lcpc2021.github.io/pre_workshop_papers/Mayer_lcpc21.pdf
BibTeX: Download
, , , , :
Machine Learning-assisted GNSS Interference Monitoring through Crowdsourcing
Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) (Denver, CO, 19.09.2022 - 23.09.2022)
In: Proc. Intl. Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) 2022
DOI: 10.33012/2022.18492
BibTeX: Download
, , , , , , , , :
Transfer Learning to adapt 5G AI-based Fingerprint Localization across Environments
IEEE 95th Vehicular Technology Conference (VTC-Spring) (Helsinki, 19.06.2022 - 22.06.2022)
In: Proc. Intl. Conf. IEEE Vehicular Technology Conference (VTC-Spring) 2022
DOI: 10.1109/VTC2022-Spring54318.2022.9860906
BibTeX: Download
, , , , , :
Low-cost COTS GNSS interference detection and classification platform: Initial results
Intl. Conf. on Localization and GNSS (ICL-GNSS) (Tampere, 07.06.2022 - 09.06.2022)
In: Proc. Intl. Conf. on Localization and GNSS (ICL-GNSS) 2022
DOI: 10.1109/ICL-GNSS54081.2022.9797025
BibTeX: Download
, , , , , :
2021
Accuracy-Aware Compression of Channel Impulse Responses using Deep Learning
International Conference on Indoor Positioning and Indoor Navigation (IPIN2021) (Lloret de Mar, 29.11.2021 - 02.12.2021)
In: Proceedings of the International Conference on Indoor Positioning and Indoor Navigation (IPIN 2021) 2021
DOI: 10.1109/IPIN51156.2021.9662545
BibTeX: Download
, , , , , :
Cloud Cost City: A Visualization of Cloud Costs Using the City Metaphor
16th International Conference on Information Visualization Theory and Applications (IVAPP) (Virtual, originally Vienna, Austria, 08.02.2021 - 10.02.2021)
In: Christophe Hurter, Helen Purchase, Jose Braz, Kadi Bouatouch (ed.): Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) - Volume 3: IVAPP, Portugal: 2021
DOI: 10.5220/0010254701730180
BibTeX: Download
, :
Trace Visualization within the Software City Metaphor: A Controlled Experiment on Program Comprehension
IEEE Working Conference on Software Visualization (VISSOFT) (Virtual, originally Luxembourg City, Luxembourg, 27.09.2021 - 28.09.2021)
In: Proceedings of the IEEE Working Conference on Software Visualization (VISSOFT) 2021
DOI: 10.1109/VISSOFT52517.2021.00015
BibTeX: Download
, :
A layered software city for dependency visualization (Best Paper Award)
16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2021 (Virtual, originally Vienna, Austria, 08.02.2021 - 10.02.2021)
In: Christophe Hurter, Helen Purchase, Jose Braz, Kadi Bouatouch (ed.): Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP, Portugal: 2021
DOI: 10.5220/0010180200150026
URL: http://www.ivapp.visigrapp.org
BibTeX: Download
, , :
Datengetriebene Methoden zur Bestimmung von Position und Orientierung in funk‐ und trägheitsbasierter Koppelnavigation (Dissertation, 2021)
URL: https://nbn-resolving.org/urn:nbn:de:bvb:29-opus4-173550
BibTeX: Download
:
Robust ToA-Estimation using Convolutional Neural Networks on Randomized Channel Models
International Conference on Indoor Positioning and Indoor Navigation (IPIN 2021) (Lloret de Mar, Spain, 29.11.2021 - 02.12.2021)
In: Proceedings of the International Conference on Indoor Positioning and Indoor Navigation (IPIN 2021) 2021
DOI: 10.1109/IPIN51156.2021.9662625
BibTeX: Download
, , :
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'2021) (Copenhagen, 17.01.2021 - 19.01.2021)
In: Fritz Henglein, Sharon Shoham, Yakir Vizel (ed.): Verification, Model Checking, and Abstract Interpretation (VMCAI 2021), Cham: 2021
DOI: 10.1007/978-3-030-67067-2_16
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/vmcai2021.pdf
BibTeX: Download
, :
Test Case Reduction: A Framework, Benchmark, and Comparative Study
International Conference on Software Maintenance and Evolution (ICSME 2021) (Luxembourg (LU), 27.09.2021 - 01.10.2021)
In: Proceedings of the International Conference on Software Maintenance and Evolution (ICSME 2021) 2021
DOI: 10.1109/ICSME52107.2021.00012
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/ICSME21.pdf
BibTeX: Download
, , :
Contact Tracing with the Exposure Notification Framework in the German Corona-Warn-App
2021 International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Lloret de Mar, 29.11.2021 - 02.12.2021)
In: Proceedings of the International Conference on Indoor Positioning and Indoor Navigation (IPIN 2021) 2021
DOI: 10.1109/IPIN51156.2021.9662591
BibTeX: Download
, , , , , , , , :
LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework
ACM SIGSAC Conference on Computer and Communications Security (CCS'21), Workshop on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks (Checkmate ’21) (Republic of Korea, 19.11.2021 - 19.11.2021)
In: Checkmate '21: Proceedings of the 2021 Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks, New York: 2021
DOI: 10.1145/3465413.3488576
BibTeX: Download
, , :
Estimating TOA Reliability with Variational Autoencoders
In: IEEE Sensors Journal (2021), p. 1-6
ISSN: 1530-437X
DOI: 10.1109/JSEN.2021.3101933
BibTeX: Download
, , , , :
Efficient Retrieval of Music Recordings Using Graph-Based Index Structures
In: Signals 2 (2021), p. 336-352
ISSN: 2624-6120
DOI: 10.3390/signals2020021
BibTeX: Download
, , :
2020
MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests
15th International Workshop on Mutation Analysis (Mutation 2020) (Porto, 24.10.2020 - 24.10.2020)
In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2020
DOI: 10.1109/ICSTW50294.2020.00055
URL: https://mutation-workshop.github.io/2020/
BibTeX: Download
, , :
Real-Time Gait Reconstruction for Virtual Reality Using a Single Sensor
2020 IEEE International Symposium on Mixed and Augmented Reality, ISMAR-Adjunct 2020 (Ipojuca, Pernambuco, 09.11.2020 - 13.11.2020)
In: Adjunct Proceedings of the 2020 IEEE International Symposium on Mixed and Augmented Reality, ISMAR-Adjunct 2020 2020
DOI: 10.1109/ISMAR-Adjunct51615.2020.00037
BibTeX: Download
, , , :
RNN-aided Human Velocity Estimation from a Single IMU
In: Sensors 13 (2020), p. 1-31
ISSN: 1424-8220
DOI: 10.3390/s20133656
URL: https://www.mdpi.com/1424-8220/20/13/3656
BibTeX: Download
, , , , , :
Localization Limitations of ARCore, ARKit, and Hololens in Dynamic Large-Scale Industry Environments
15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (GRAPP 2020) (Valletta, 27.02.2020 - 29.02.2020)
In: Kadi Bouatouch, A. Augusto Sousa, Jose Braz (ed.): Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 1: GRAPP, Portugal: 2020
DOI: 10.5220/0008989903070318
URL: http://www.grapp.visigrapp.org/
BibTeX: Download
, , , , , :
Towards Collaborative and Dynamic Software Visualization in VR
15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (GRAPP 2020) (Valletta, 27.02.2020 - 29.02.2020)
In: Andreas Kerren, Christophe Hurter, Jose Braz (ed.): Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP, Portugal: 2020
DOI: 10.5220/0008945201490156
URL: http://www.ivapp.visigrapp.org/
BibTeX: Download
, , :
Artifact for "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible"
Zenodo (2020)
DOI: 10.5281/zenodo.4275482
BibTeX: Download
(online publication)
, :
Language-Agnostic Generation of Compilable Test Programs
International Conference on Software Testing, Verification and Validation (ICST 2020) (Porto, 24.10.2020 - 28.10.2020)
In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST 2020) 2020
DOI: 10.1109/ICST46399.2020.00015
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/ICST20.pdf
BibTeX: Download
, , :
ViPR: Visual-Odometry-aided Pose Regression for 6DoF Camera Localization
The IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops (Seattle, Washington, 16.06.2020 - 18.06.2020)
In: Computer Vision Foundation (CVF) (ed.): Joint Workshop on Long-Term Visual Localization, Visual Odometry and Geometric and Learning-based SLAM 2020
DOI: 10.1109/cvprw50498.2020.00029
URL: http://openaccess.thecvf.com/content_CVPRW_2020/html/w3/Ott_ViPR_Visual-Odometry-Aided_Pose_Regression_for_6DoF_Camera_Localization_CVPRW_2020_paper.html
BibTeX: Download
, , , :
A Sense of Quality for Augmented Reality Assisted Process Guidance
International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct) (Ipojuca, Pernambuco, 09.11.2020 - 13.11.2020)
In: IEEE Proc. International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct) 2020
DOI: 10.1109/ISMAR-Adjunct51615.2020.00046
BibTeX: Download
, , , :
2019
GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses (Best Paper Award)
28th International Conference on Compiler Construction (Washington, D.C., 16.02.2019 - 17.02.2019)
In: ACM (ed.): Proceedings of the 28th International Conference on Compiler Construction, New York, NY, USA: 2019
DOI: 10.1145/3302516.3307352
URL: http://www2.informatik.uni-erlangen.de/publication/download/cc19_parcan_blass.pdf
BibTeX: Download
, :
Which Graph Representation to Select for Static Graph-Algorithms on a CUDA-capable GPU
12th Workshop on General Purpose Processing Using GPUs (Providence, RI, 13.04.2019 - 13.04.2019)
In: ACM (ed.): Proceedings of the 12th Workshop on General Purpose Processing Using GPUs, New York, NY, USA: 2019
DOI: 10.1145/3300053.3319416
URL: http://ieeetcca.org/2018/12/16/12th-workshop-on-general-purpose-processing-using-gpu-gpgpu-2019-asplos-2019/
BibTeX: Download
, :
Efficient Inspected Critical Sections in Data-Parallel GPU Codes
30th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2017) (College Station, TX, 11.10.2017 - 13.10.2017)
In: Rauchwerger, Lawrence (ed.): Proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2017), Cham: 2019
DOI: 10.1007/978-3-030-35225-7_15
URL: https://www2.cs.fau.de/publication/download/lcpc2017_blass.pdf
BibTeX: Download
, , :
A Bidirectional LSTM for Estimating Dynamic Human Velocities from a Single IMU
10th International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Pisa, 30.09.2019 - 03.10.2019)
In: IEEE (ed.): Proceedings of the 10th International Conference on Indoor Positioning and Indoor Navigation (IPIN) 2019
DOI: 10.1109/IPIN.2019.8911814
URL: https://www2.cs.fau.de/publication/download/IPIN2019.pdf
BibTeX: Download
, , , , , :
Sick Moves! Motion Parameters as Indicators of Simulator Sickness
In: IEEE Transactions on Visualization and Computer Graphics 25 (2019), p. 3146-3157
ISSN: 1077-2626
DOI: 10.1109/TVCG.2019.2932224
URL: https://ieeexplore.ieee.org/document/8798880
BibTeX: Download
, , , , , , , :
SeSaMe: A Data Set of Semantically Similar Java Methods
16th International Conference on Mining Software Repositories (MSR 2019) (Montréal, QC, Kanada, 26.05.2019 - 27.05.2019)
In: Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019), Piscataway, NJ, USA: 2019
DOI: 10.1109/MSR.2019.00079
URL: https://i2git.cs.fau.de/i2public/publications/-/raw/master/MSR19.pdf
BibTeX: Download
, , :
SeSaMe: A Data Set of Semantically Similar Java Methods [Data set]
Zenodo (2019)
DOI: 10.5281/zenodo.2558377
BibTeX: Download
(online publication)
, , :
OpenMP to FPGA Offloading Prototype using OpenCL SDK
IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) (Rio de Janeiro, Brazil, 20.05.2019 - 24.05.2019)
In: IEEE (ed.): 2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) 2019
DOI: 10.1109/IPDPSW.2019.00072
URL: https://ieeexplore.ieee.org/abstract/document/8778393
BibTeX: Download
, , :
UWB Channel Impulse Responses for Positioning in Complex Environments: A Detailed Feature Analysis
In: Sensors 24 (2019)
ISSN: 1424-8220
DOI: 10.3390/s19245547
URL: https://www.mdpi.com/1424-8220/19/24/5547
BibTeX: Download
, , , , :
Effiziente Speicherung von Zeitreihen mit Betriebsdaten aus Software-Systemen zur Analyse von Laufzeitanomalien (Dissertation, 2019)
URL: http://www.shaker.de/shop/978-3-8440-6785-9
BibTeX: Download
:
A Framework for Location-Based VR Applications
GI VR/AR Workshop 2019 (Fulda, 17.09.2019 - 18.09.2019)
In: Gesellschaft für Informatik e.V. (ed.): Virtuelle und Erweiterte Realitat: 16. Workshop der GI-Fachgruppe VR/AR (Berichte aus der Informatik) 2019
URL: https://downloads.hci.informatik.uni-wuerzburg.de/2019-gi-vr-ar-framework-for-location-based-vr-applications.pdf
BibTeX: Download
, , , , , , , :
OpenMP on FPGAs - A Survey
15th International Workshop on OpenMP (IWOMP 2019) (Auckland, 11.09.2019 - 13.09.2019)
In: Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman (ed.): OpenMP: Conquering the Full Hardware Spectrum - Proceedings of the 15th International Workshop on OpenMP (IWOMP 2019), Cham: 2019
DOI: 10.1007/978-3-030-28596-8_7
URL: https://link.springer.com/content/pdf/10.1007/978-3-030-28596-8_7.pdf
BibTeX: Download
, , :
Visual-Odometry-aided Pose Regression for 6DoF Camera Localization
(2019)
URL: https://arxiv.org/pdf/1912.08263.pdf
BibTeX: Download
(Techreport)
, , , :
A Social Interaction Interface Supporting Affective Augmentation Based on Neuronal Data
Symposium on Spatial User Interaction (SUI'19) (New Orleans, 19.10.2019 - 20.10.2019)
In: Christoph W. Borst, Arun K. Kulshreshth, Gerd Bruder, Stefania Serafin, Christian Sandor, Kyle Johnsen, Jinwei Ye, Daniel Roth, Sungchul Jung (ed.): Proceedings of the Symposium on Spatial User Interaction (SUI'19), New York, NY, USA: 2019
DOI: 10.1145/3357251.3360018
URL: https://dl.acm.org/citation.cfm?id=3357251.3360018
BibTeX: Download
, , , , , :
Brain 2 Communicate: EEG-based Affect Recognition to Augment Virtual Social Interactions
Mensch und Computer 2019 (Hamburg, 08.09.2019 - 11.09.2019)
In: Gesellschaft für Informatik e.V. (ed.): Mensch und Computer 2019 - Workshopband 2019
DOI: 10.18420/muc2019-ws-571
URL: https://dl.gi.de/bitstream/handle/20.500.12116/25205/571.pdf
BibTeX: Download
, , , , , :
2018
Learning Code Transformations from Repositories (Dissertation, 2018)
DOI: 10.25593/978-3-96147-142-3
BibTeX: Download
:
FAU-Inf2/ARES: PhD Thesis Version
Zenodo (2018)
DOI: 10.5281/zenodo.1183903
BibTeX: Download
(online publication)
, , :
FAU-Inf2/tree-measurements: PhD Thesis Version [Data set]
Zenodo (2018)
DOI: 10.5281/zenodo.1183900
BibTeX: Download
(online publication)
, :
Head-to-Body-Pose Classification in No-Pose VR Tracking Systems
25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) (Reutlingen, 18.03.2018 - 22.03.2018)
In: Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) 2018
DOI: 10.1109/VR.2018.8446495
URL: http://www2.informatik.uni-erlangen.de/publication/download/IEEE-VR2018b.pdf
BibTeX: Download
, , :
Human Compensation Strategies for Orientation Drifts
25th IEEE Conference on Virtual Reality and 3D User Interfaces (Reutlingen, 18.03.2018 - 22.03.2018)
In: Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) 2018
DOI: 10.1109/VR.2018.8446300
URL: https://www2.cs.fau.de/publication/download/IEEE-VR2018a.pdf
BibTeX: Download
, , :
Supervised Learning for Yaw Orientation Estimation
(2018)
ISSN: 2471-917X
DOI: 10.1109/IPIN.2018.8533811
URL: https://www2.cs.fau.de/publication/download/IPIN2018a.pdf
BibTeX: Download
, , :
Recurrent Neural Networks on Drifting Time-of-Flight Measurements
9th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2018) (Nantes, 24.09.2018 - 27.09.2018)
In: Proceedings of the 9th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2018) 2018
DOI: 10.1109/IPIN.2018.8533813
URL: https://www2.cs.fau.de/publication/download/IPIN2018b.pdf
BibTeX: Download
, , , , :
Optical Camera Communication for Active Marker Identification in Camera-based Positioning Systems
15th Workshop on Positioning, Navigation and Communications (WPNC'18) (Bremen, 25.10.2018 - 26.10.2018)
In: Proceedings of the 15th Workshop on Positioning, Navigation and Communications (WPNC'18) 2018
DOI: 10.1109/WPNC.2018.8555846
URL: https://www2.cs.fau.de/publication/download/WPNC2018.pdf
BibTeX: Download
, , , :
FAU-Inf2/cthree: PhD Thesis Version
Zenodo (2018)
DOI: 10.5281/zenodo.1183902
BibTeX: Download
(online publication)
, , :
Making Runtime Data Useful for Incident Diagnosis: An Experience Report
International Conference on Product-Focused Software Process Improvement (PROFES 2018) (Wolfsburg, 28.11.2018 - 30.11.2018)
In: Kuhrmann, Marco; Schneider, Kurt; Pfahl, Dietmar; Amasaki, Sousuke; Ciolkowski, Marcus; Hebig, Regina; Tell, Paolo; Klünder, Jil; Küpper, Steffen (ed.): Proceedings of the International Conference on Product-Focused Software Process Improvement (PROFES 2018), Cham: 2018
DOI: 10.1007/978-3-030-03673-7_33
URL: https://link.springer.com/chapter/10.1007/978-3-030-03673-7_33
BibTeX: Download
, :
A Location-Based VR Museum
10th International Conference on Virtual Worlds and Games for Serious Applications (VS Games 2018) (Würzburg, 05.09.2018 - 07.09.2018)
In: Proceedings of the 10th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2018) 2018
DOI: 10.1109/VS-Games.2018.8493404
URL: http://doi.ieeecomputersociety.org/10.1109/VS-Games.2018.8493404
BibTeX: Download
, , , , , , , , :
Beyond Replication: Augmenting Social Behaviors in Multi-User Social Virtual Realities
25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) (Reutlingen, 18.03.2018 - 22.03.2018)
In: Proceedings of the 25th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR 2018) 2018
DOI: 10.1109/VR.2018.8447550
URL: https://www.hci.uni-wuerzburg.de/download/2018-ieeevr-behav-augm-preprint.pdf
BibTeX: Download
, , , , :
2017
More Accurate Recommendations for Method-Level Changes
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017) (Paderborn, 04.09.2017 - 08.09.2017)
In: Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017), New York, NY, USA: 2017
DOI: 10.1145/3106237.3106276
URL: https://www2.cs.fau.de/publication/download/ESECFSE17.pdf
BibTeX: Download
, , , :
FAU-Inf2/treedifferencing: Version of the ASE Publication 2016
Zenodo (2017)
DOI: 10.5281/zenodo.840877
BibTeX: Download
(online publication)
, :
Modellierung und effiziente Ausführung von Softwareentwicklungsprozessen (Dissertation, 2017)
URL: http://nbn-resolving.de/urn:nbn:de:bvb:29-opus4-82628
BibTeX: Download
:
Acoustical manipulation for redirected walking
23rd ACM Symposium on Virtual Reality Software and Technology (VRST '17) (Gothenburg, 08.11.2017 - 10.11.2017)
In: Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology (VRST '17), New York: 2017
DOI: 10.1145/3139131.3141205
URL: https://www2.cs.fau.de/publication/download/VRST2017.pdf
BibTeX: Download
, , , :
FAU FabLab: A Fabrication Laboratory for Scientists, Students, Entrepreneurs and the Curious
(2017)
DOI: 10.5281/zenodo.890727
BibTeX: Download
(Techreport)
, , , , :
Diff Graphs for a fast Incremental Pointer Analysis
12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS 2017) (Barcelona, 19.06.2017 - 19.06.2017)
In: ACM (ed.): Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'17) 2017
DOI: 10.1145/3098572.3098578
BibTeX: Download
, :
Chronix: Long Term Storage and Retrieval Technology for Anomaly Detection in Operational Data
15th USENIX Conference on File and Storage Technologies (FAST 17) (Santa Clara, CA, 27.02.2017 - 02.03.2017)
In: USENIX Association (ed.): Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST 17) 2017
Open Access: https://www.usenix.org/conference/fast17/technical-sessions/presentation/lautenschlager
URL: https://www.usenix.org/system/files/conference/fast17/fast17-lautenschlager.pdf
BibTeX: Download
, , , :
AuDoscore: Automatic Grading of Java or Scala Homework
Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017) (Potsdam, 05.10.2017 - 06.10.2017)
In: Sven Strickroth Oliver Müller Michael Striewe (ed.): Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017) 2017
Open Access: http://ceur-ws.org/Vol-2015/ABP2017_paper_01.pdf
URL: http://ceur-ws.org/Vol-2015/ABP2017_paper_01.pdf
BibTeX: Download
, , :
Leveraging the GPU on Spark
Apache: Big Data North America 2017 (Miami, FL, 16.05.2017 - 18.05.2017)
URL: https://www2.cs.fau.de/publication/download/2017_05_ApacheBigData_TobiasPolzer_spark.pdf
BibTeX: Download
, :
Social Augmentations in Multi-User Virtual Reality: A Virtual Museum Experience
2017 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct) (Nantes, 09.10.2017 - 13.10.2017)
In: Proceedings of the 2017 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct) 2017
DOI: 10.1109/ISMAR-Adjunct.2017.28
URL: http://ieeexplore.ieee.org/document/8088445/
BibTeX: Download
, , , , :
Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen (Dissertation, 2017)
URL: https://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-5689-1&search=yes
BibTeX: Download
:
2016
Inter-Satellite Ranging in the Low Earth Orbit
10th IEEE/IET International Symposium on Communication Systems, Networks & Digital Signal Processing (CSNDSP'16) (Prague, Czech Republic, 20.07.2016 - 22.07.2016)
In: Proceedings of the 10th IEEE/IET International Symposium on Communication Systems, Networks & Digital Signal Processing (CSNDSP'16) 2016
DOI: 10.1109/CSNDSP.2016.7573920
URL: http://www2.informatik.uni-erlangen.de/publication/download/CSNDSP2016.pdf
BibTeX: Download
, , , :
Move-Optimized Source Code Tree Differencing
31st International Conference on Automated Software Engineering (ASE 2016) (Singapore, 03.09.2016 - 09.09.2016)
In: Proceedings of the 31st International Conference on Automated Software Engineering (ASE 2016) 2016
DOI: 10.1145/2970276.2970315
BibTeX: Download
, :
Virtual and augmented reality in sports-an overview and acceptance study
2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp'16) (Heidelberg, 12.09.2016 - 16.09.2016)
In: Proc. of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp'16) 2016
DOI: 10.1145/2968219.2968572
BibTeX: Download
, , , , :
Automatic clustering of code changes
13th International Conference on Mining Software Repositories (MSR 2016) (Austin, TX, USA, 14.05.2016 - 15.05.2016)
In: Proceedings of the 13th International Conference on Mining Software Repositories (MSR'16) 2016
DOI: 10.1145/2901739.2901749
URL: http://dl.acm.org/citation.cfm?id=2901749
BibTeX: Download
, , , , :
C++ Classes and Templates for OpenCL Kernels with PATOS
4th International Workshop on OpenCL (Wien, 19.04.2016 - 21.04.2016)
In: ACM (ed.): Proceedings of the 4th International Workshop on OpenCL, New York, NY, USA: 2016
DOI: 10.1145/2909437.2909462
URL: http://dl.acm.org/citation.cfm?doid=2909437.2909462
BibTeX: Download
, , , , :
Low-Complexity PDoA-based Localization
7th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2016) (Madrid, 04.10.2016 - 07.10.2016)
In: Proceedings of the 7th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2016) 2016
DOI: 10.1109/IPIN.2016.7743692
URL: http://www2.informatik.uni-erlangen.de/publication/download/IPIN2016.pdf
BibTeX: Download
, , , :
2015
Verbesserung von Mutationstests mit Hilfe der symbolischen Ausführung (Master thesis, 2015)
BibTeX: Download
:
Simultaneous inspection: Hiding the overhead of inspector-executor style dynamic parallelization
International Workshop on Languages and Compilers for Parallel Computing (LCPC 2014) (Hillsboro, OR, USA, 15.09.2014 - 17.09.2014)
In: James Brodman, Peng Tu (ed.): Languages and Compilers for Parallel Computing, 27th International Workshop, LCPC 2014, Berlin Heidelberg: 2015
DOI: 10.1007/978-3-319-17473-0_7
BibTeX: Download
, , :
Evaluierung von Verfahren zur Detektion von Gruppen ähnlicher Quelltext-Änderungen (Master thesis, 2015)
BibTeX: Download
:
Fast and efficient operational time series storage: The missing link in dynamic software analysis
Symposium on Software Performance (SSP 2015) (München, 04.11.2015 - 06.11.2015)
In: Softwaretechnik-Trends (Band 35, Nr. 3): Proceedings of the Symposium on Software Performance (SSP 2015) 2015
URL: http://pi.informatik.uni-siegen.de/gi/stt/35_3/03_Technische_Beitraege/SSP_2015_paper_10.pdf
BibTeX: Download
, , , :
Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten
Fachtagung Software Engineering & Management (SE 2015) (Dresden, Deutschland, 17.03.2015 - 20.03.2015)
In: Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser (ed.): Software Engineering & Management (SE 2015), Bonn: 2015
URL: http://www2.informatik.uni-erlangen.de/publication/download/SE2015.pdf
BibTeX: Download
, , , :
Approximative Event Processing on Sensor Data Streams (Best Poster and Demostration Award)
9th ACM International Conference on Distributed Event-Based Systems (DEBS'15) (Oslo, 29.06.2015 - 03.07.2015)
In: Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems (DEBS'15) 2015
DOI: 10.1145/2675743.2776767
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2015.pdf
BibTeX: Download
, , :
Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021)
Dagstuhl, Germany: 2015
(Dagstuhl Reports, Vol. 5)
DOI: 10.4230/DagRep.5.1.1
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5010
BibTeX: Download
, , , (ed.):
FREACSIM - A Framework for Creating and Simulating Real-Time Capable Network on Chip Systems and Applications
8th EAI International Conference on Simulation Tools and Techniques (SIMUTOOLS'16) (Athens, Greece, 24.08.2015 - 26.08.2015)
In: Theodoropoulos, Georgios ; Tan Soon Huat, Gary ; Szabo, Claudia (ed.): Proceedings of the 8th EAI International Conference on Simulation Tools and Techniques (SIMUTOOLS'16), European Union Digital Library: 2015
DOI: 10.4108/eai.24-8-2015.2260960
URL: http://eudl.eu/doi/10.4108/eai.24-8-2015.2260960
BibTeX: Download
, , :
2014
Using Multi Level-Modeling Techniques for Managing Mapping Information
1st Int. Workshop on Multi-Level Modelling, ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (Valencia, Spain, 28.09.2014 - 28.09.2014)
In: Proceedings of the 1st Int. Workshop on Multi-Level Modelling, ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, Aachen: 2014
URL: http://ceur-ws.org/Vol-1286/p11.pdf
BibTeX: Download
, , , , :
Entwicklung eines Werkzeugs zum Vergleich von Code-Fragmenten durch symbolische Ausführung (Master thesis, 2014)
BibTeX: Download
:
Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs (Dissertation, 2014)
BibTeX: Download
:
Combining Lock Inference with Lock-Based Software Transactional Memory
26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (San Jose, California, USA, 25.09.2013 - 27.09.2013)
In: Călin Cașcaval, Pablo Montesinos (ed.): Languages and Compilers for Parallel Computing, 26th International Workshop, LCPC 2013, Berlin Heidelberg: 2014
DOI: 10.1007/978-3-319-09967-5_19
BibTeX: Download
, , :
Vectorization of Recursive Parallel Programs (Bachelor thesis, 2014)
BibTeX: Download
:
Design for Diagnosability
In: Java Magazin (2014), p. 44-50
ISSN: 1619-795X
BibTeX: Download
, , , :
Latency Minimization of Order-Preserving Distributed Event-Based Systems (Dissertation, 2014)
BibTeX: Download
:
Predictive Load Management in Smart Grid Environments
8th ACM International Conference on Distributed Event-Based Systems (DEBS'14) (Mumbai, 26.05.2014 - 29.05.2014)
In: Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems (DEBS'14), New York: 2014
DOI: 10.1145/2611286.2611330
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2014.pdf
BibTeX: Download
, , , , :
Adaptive Speculative Processing of Out-of-Order Event Streams
In: ACM Transactions on Internet Technology 14 (2014), p. 4:1-4:24
ISSN: 1533-5399
DOI: 10.1145/2633686
URL: https://www2.cs.fau.de/publication/download/ACM_TOIT2014.pdf
BibTeX: Download
, :
Analysis of Transform-Domain Embedding and Statistical Detection of Watermarks (Diploma thesis, 2014)
BibTeX: Download
:
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals
8th International Workshop on Graph-Based Tools (GraBaTs 2014) (York, UK, 25.07.2014 - 25.07.2014)
In: Tichy, Matthias ; Westfechtel, Bernhard (ed.): Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) 2014
DOI: 10.14279/tuj.eceasst.68.952
URL: http://journal.ub.tu-berlin.de/eceasst/article/view/952
BibTeX: Download
, :
2013
Vergleich und Implementierung von Synchronisationsstrategien zur Event Verarbeitung im Kontext von MMVEs (Bachelor thesis, 2013)
BibTeX: Download
:
Source Code Transformations to Increase the Performance of Software Transactional Memory
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, Colorado, USA, 08.09.2011 - 10.09.2011)
In: Sanjay Rajopadhye, Michelle Mills Strout (ed.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7
BibTeX: Download
, , :
Compiler-Guided Identification of Critical Sections in Parallel Code
International Conference on Compiler Construction (Rome, Italy, 16.03.2013 - 24.03.2013)
In: Ranjit Jhala, Koen De Bosschere (ed.): Compiler Construction, 22nd International Conference, CC 2013, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-37051-9_11
URL: https://www2.informatik.uni-erlangen.de/publication/download/CC2013.pdf
BibTeX: Download
, , :
Reduktion von False-Sharing in Software-Transactional-Memory
25th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2013) (Erlangen, Germany, 11.04.2013 - 12.04.2013)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2013) 2013
URL: https://www2.cs.fau.de/publication/download/STM_PARS2013.pdf
BibTeX: Download
, , :
Design for Diagnosability: Wie mache ich Software diagnostizierbar?
German Testing Day 2013 (Munich, Germany, 12.11.2013 - 12.11.2013)
In: German Testing Day 2013 2013
URL: http://www.germantestingday.info/sites/default/files/GTD-2013_Broschuere_final.pdf
BibTeX: Download
:
Evolutionary Algorithms that use Runtime Migration of Detector Processes to Reduce Latency in Event-Based Systems
2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013) (Torino, Italy, 25.06.2013 - 27.06.2013)
In: Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013) 2013
DOI: 10.1109/AHS.2013.6604223
URL: http://www2.informatik.uni-erlangen.de/publication/download/AHS2013.pdf
BibTeX: Download
, , :
Seventh International Conference on IT Security Incident Management and IT Forensics
Los Alamitos, CA: 2013
ISBN: 978-1-4673-6307-5
BibTeX: Download
, , , , , , , , (ed.):
Distributed Low-Latency Out-of-Order Event Processing for High Data Rate Sensor Streams
27th IEEE International Parallel & Distributed Processing Symposium (IPDPS'13) (Boston, Massachusetts, 20.05.2013 - 24.05.2013)
In: Proceedings of 27th International Parallel and Distributed Processing Symposium (IPDPS'13) 2013
DOI: 10.1109/IPDPS.2013.29
URL: http://www2.informatik.uni-erlangen.de/publication/download/IPDPS2013.pdf
BibTeX: Download
, :
Dynamic Low-Latency Distributed Event Processing of Sensor Data Streams
25th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2013) (Erlangen, 11.04.2013 - 12.04.2013)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2013) 2013
URL: http://www2.informatik.uni-erlangen.de/publication/download/PARS2013.pdf
BibTeX: Download
, :
Reliable Speculative Processing of Out-of-Order Event Streams in Generic Publish/Subscribe Middlewares
7th ACM International Conference on Distributed Event-Based Systems (DEBS'13) (Arlington, Texas, 29.06.2013 - 03.07.2013)
In: Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems (DEBS'13) 2013
DOI: 10.1145/2488222.2488263
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2013.pdf
BibTeX: Download
, :
Runtime Migration of Stateful Event Detectors with Low-Latency Ordering Constraints
9th International Workshop on Sensor Networks and Systems for Pervasive Computing (San Diego, CA, 18.03.2013 - 22.03.2013)
In: Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops 2013
DOI: 10.1109/PerComW.2013.6529567
URL: http://www2.informatik.uni-erlangen.de/publication/download/persens2013.pdf
BibTeX: Download
, :
The DEBS 2013 Grand Challenge
7th ACM International Conference on Distributed Event-Based Systems (DEBS 2013) (Arlington, TX, USA, 29.06.2013 - 03.07.2013)
In: Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems (DEBS 2013) 2013
DOI: 10.1145/2488222.2488283
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2013b.pdf
BibTeX: Download
, , :
Double Inspection for Run-Time Loop Parallelization
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, CO, USA, 08.09.2011 - 10.09.2011)
In: Sanjay Rajopadhye, Michelle Mills Strout (ed.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7_4
BibTeX: Download
, , :
Language and Runtime Techniques for better Model Checking Efficiency of Parallel Programs
26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (San Jose, California, USA, 25.09.2013 - 27.09.2014)
In: Călin Cașcaval, Pablo Montesinos (ed.): Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013), Berlin Heidelberg: 2013
DOI: 10.1007/978-3-319-09967-5
BibTeX: Download
, :
CellCilk: Extending Cilk for heterogeneous multicore platforms
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, Colorado, USA, 08.09.2011 - 10.09.2011)
In: Rajopadhye, S.; Strout, M. Mills (ed.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011for Parallel Computing (LCPC 2011), Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7_7
URL: http://www2.informatik.uni-erlangen.de/publication/download/CellCilk11.pdf
BibTeX: Download
, , :
Object Support for OpenMP-style Programming of GPU Clusters in Java
27th International Conference on Advanced Information Networking and Applications Workshops (Barcelona, Spain, 25.03.2013 - 28.03.2013)
In: Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops (WAINA 2013) 2013
DOI: 10.1109/WAINA.2013.62
URL: http://www2.informatik.uni-erlangen.de/publication/download/WDVP13.pdf
BibTeX: Download
, , , :
2012
Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen (Dissertation, 2012)
URL: https://www2.cs.fau.de/publication/download/2012_Dissertation_JosefAdersberger.pdf
BibTeX: Download
:
Expressing Parallelism and Timing in Embedded Real-Time Applications
8th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (Fiuggi, Italy, 11.07.2012 - 11.07.2012)
In: High-Performance and Embedded Architecture and Compilation (HiPEAC) Network of Excellence (ed.): 8th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) 2012 - Poster Abstracts, Ghent (Belgium): 2012
URL: https://www2.cs.fau.de/publication/download/braunstein_acaces_abstract.pdf
BibTeX: Download
, , :
Annotation Support for Generic Patches
International Workshop on Recommendation Systems for Software Engineering (Zurich, Switzerland, 04.06.2012 - 04.06.2012)
In: Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering (RSSE 12) 2012
DOI: 10.1109/RSSE.2012.6233400
URL: http://www2.informatik.uni-erlangen.de/publication/download/DVP12.pdf
BibTeX: Download
, , :
Dynamische probabilistische Bewegungsmodelle mittels Verhaltensmodellierung (Dissertation, 2012)
BibTeX: Download
:
An Integrated Tool Chain for Software Process Modeling and Execution
8th European Conference on Modeling Foundations and Applications (ECMFA 2012) (Lyngby, Denmark, 02.07.2012 - 05.07.2012)
In: Störrle, Harald ; Botterweck, Goetz ; Bourdellès, Michel ; Kolovos, Dimitris ; Paige, Richard ; Roubtsova, Ella ; Rubin, Julia ; Tolvanen, Juha-Pekka (ed.): Joint Proceedings of co-located Events at the 8th European Conference on Modeling Foundations and Applications (ECMFA 2012), Copenhagen, Denmark: 2012
URL: http://www2.imm.dtu.dk/conferences/ECMFA-2012/proceedings/PDF/ECMFA-2012-Workshop-Proceedings.pdf
BibTeX: Download
, , , , :
Entwicklung eines Werkzeugs zur Extraktion von Mustern aus Software-Archiven zur Quellcode-Optimierung (Bachelor thesis, 2012)
BibTeX: Download
:
Learning Event Detection Rules with Noise Hidden Markov Models
2012 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2012) (Nuremberg, Germany, 25.06.2012 - 28.06.2012)
In: Proceedings of the 2012 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2012) 2012
DOI: 10.1109/AHS.2012.6268645
URL: http://www2.informatik.uni-erlangen.de/publication/download/AHS2012.pdf
BibTeX: Download
, :
Towards a Distributed Self-Optimizing Event Processing System for Realtime Locating Systems (RTLS)
6th ACM International Conference on Distributed Event-Based Systems (DEBS'12) (Berlin, 16.06.2012 - 20.06.2012)
In: DEBS PhD Workshops, 6th ACM International Conference on Distributed Event-Based Systems 2012
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2012.pdf
BibTeX: Download
, :
An Experimental Comparison of Resampling Detection Algorithms (Mid-study thesis, 2012)
BibTeX: Download
:
Multicore Software Engineering, Performance and Tools (Proceedings MSEPT 2012)
Berlin Heidelberg: 2012
(Lecture Notes in Computer Science (LNCS), Vol. 7303)
ISBN: 978-3-642-31201-4
DOI: 10.1007/978-3-642-31202-1
BibTeX: Download
, (ed.):
TracQL: A Domain-Specific Language for Traceability Analysis
Joint Working Conference on Software Architecture & 6th European Conference on Software Architecture (WICSA/ECSA 2012) (Helsinki, Finland, 20.08.2012 - 24.08.2012)
In: Ali Babar M., Cuesta C., Savolainen J., Männistö T. (ed.): Proceedings of the 2012 Joint Working Conference on Software Architecture & 6th European Conference on Software Architecture, Los Alamitos, CA: 2012
DOI: 10.1109/WICSA-ECSA.212.53
BibTeX: Download
, , :
Parallel Memory Defragmentation on a GPU
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC 12) (Beijing, China, 16.06.2012 - 16.06.2012)
In: Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC'12) 2012
DOI: 10.1145/2247684.2247693
URL: http://www2.informatik.uni-erlangen.de/publication/download/VP12.pdf
BibTeX: Download
, :
2011
Das Softwareleitstand-Prinzip: Softwarequalität kontinuierlich messen, analysieren und steuern
German Testing Day 2011 (Frankfurt, 09.11.2011 - 09.11.2011)
In: German Testing Day 2011 2011
BibTeX: Download
:
ReflexML: UML-based architecture-to-code traceability and consistency checking
5th European Conference on Software Architecture, ECSA 2011 (Essen, 13.09.2011 - 16.09.2011)
In: Ivica Crnkovic, Volker Gruhn, Matthias Book (ed.): Software Architecture Software Architecture, 5th European Conference, ECSA 2011, Berlin Heidelberg: 2011
DOI: 10.1007/978-3-642-23798-0_37
URL: http://link.springer.com/chapter/10.1007/978-3-642-23798-0_37
BibTeX: Download
, :
Implementation of multigrid on QPACE
2011 IEEE International Conference on Cluster Computing (Austin, TX, 26.09.2011 - 30.09.2011)
In: Cluster Computing, 2011 IEEE International Conference on 2011
DOI: 10.1109/CLUSTER.2011.48
BibTeX: Download
, , , :
Trajectory Behavior Language
2nd International Conference on Positioning and Context-Awareness (PoCA 2011) (Brussels, 24.03.2011 - 24.03.2011)
In: Proceedings of the 2nd International Conference on Positioning and Context-Awareness (PoCA 2011), Antwerpen: 2011
URL: http://www2.informatik.uni-erlangen.de/publication/download/PoCA2011b.pdf
BibTeX: Download
, , :
A FUML-Based Distributed Execution Machine for Enacting Software Process Models
Modelling Foundations and Applications (Birmingham, UK, 06.06.2011 - 09.06.2011)
In: France, Robert ; Kuester, Jochen ; Bordbar, Behzad ; Paige, Richard (ed.): Proceedings 7th European Conference on Modeling Foundations and Applications, Berlin Heidelberg: 2011
DOI: 10.1007/978-3-642-21470-7_3
BibTeX: Download
, , , , , :
Is There Hope for Automatic Parallelization of Legacy Industry Automation Applications?
24th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2011) (Rüschlikon, Switzerland, 25.05.2011 - 27.05.2011)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2011) 2011
URL: http://www2.informatik.uni-erlangen.de/publication/download/PARS2011.pdf
BibTeX: Download
, , :
Entwicklung einer konfigurierbaren Verschnittoptimierung für die Holzindustrie (Master thesis, 2011)
BibTeX: Download
:
Online Data Stream Mining on Interactive Trajectories in Soccer Games
International Conference on Positioning and Context-Awareness (PoCA 2011) (Brussels, 24.03.2011 - 24.03.2011)
In: Proceedings of the 2nd International Conference on Positioning and Context-Awareness (PoCA 2011) 2011
URL: http://www2.informatik.uni-erlangen.de/publication/download/PoCA2011a.pdf
BibTeX: Download
, , :
Structural Equivalence Partition and Boundary Testing
Software Engineering 2011 - Fachtagung des GI-Fachbereichs Softwaretechnik (Karlsruhe, 24.02.2011 - 25.02.2011)
In: Ralf Reussner, Matthias Grund, Andreas Oberweis, Walter Tichy (ed.): Lecture Notes in Informatics (LNI), P-183, Bonn: 2011
URL: https://www2.cs.fau.de/publication/download/SE2011-OsterPhilippsen-SEBT.pdf
BibTeX: Download
, :
JavaParty
In: Padua, David (ed.): Encyclopedia of Parallel Computing, New York: Springer US, 2011, p. 992-997
ISBN: 978-0-387-09765-7
DOI: 10.1007/978-0-387-09766-4_49
BibTeX: Download
:
Proceedings of the 4th International Workshop on Multicore Software Engineering (IWMSE'11)
New York: 2011
(International Conference on Software Engineering ICSE, Vol. 2011, Waikiki, Honolulu, HI, USA)
ISBN: 978-1-4503-0577-8
URL: http://dl.acm.org/citation.cfm?id=1984693&CFID=625143511&CFTOKEN=93536545
BibTeX: Download
, (ed.):
A Wait-Free NCAS Library for Parallel Applications with Timing Constraints
16th ACM Symposium on Principles and Practice of Parallel Programming (PPoPP'11) (San Antonio, TX, 12.02.2011 - 16.02.2011)
In: Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming 2011 (PPoPP 2011) 2011
DOI: 10.1145/2038037.1941599
URL: http://www4.informatik.uni-erlangen.de/Publications/2011/stellwag_ppopp2011_rtncas.pdf
BibTeX: Download
, , , :
A Statically Typed Query Language for Property Graphs
15th International Database Engineering and Applications Symposium (IDEAS'11) (Lissabon, Portugal, 21.09.2011 - 23.09.2011)
In: Bernardino, Jorge; Cruz, Isabel; Desai, Bipin C. (ed.): Proceedings of 15th International Database Engineering and Applications Symposium (IDEAS'11), New York: 2011
DOI: 10.1145/2076623.2076653
URL: http://www2.informatik.uni-erlangen.de/publication/download/Ntausch_ideas11.pdf
BibTeX: Download
, , :
Enabling Multiple Accelerator Acceleration for Java/OpenMP
3rd USENIX Workshop on Hot Topics in Parallelism (HotPar '11) (Berkeley, CA, 26.05.2011 - 27.05.2011)
In: Proceedings 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar '11) 2011
URL: http://www.usenix.org/event/hotpar11/tech/final_files/Veldema.pdf
BibTeX: Download
, , :
A Hybrid Functional and Object-Oriented Language for a Multi-Core Future
In: it - Information Technology 53 (2011), p. 84-90
ISSN: 1611-2776
DOI: 10.1524/itit.2011.0629
URL: http://www2.informatik.uni-erlangen.de/publication/download/itit.2011.0629.pdf
BibTeX: Download
, :
Iterative data-parallel mark & sweep on a GPU
International Symposium on Memory Management (ISMM '11) (San Jose, California, USA, 04.06.2011 - 08.06.2011)
In: Boehm, Hans-Juergen ; Bacon, David F. (ed.): Proceedings of the International Symposium on Memory Management (ISMM'11), New York: 2011
DOI: 10.1145/1993478.1993480
URL: http://doi.acm.org/10.1145/1993478.1993480
BibTeX: Download
, :
Dynamische Analyse mit dem Software-EKG
In: Informatik-Spektrum 34 (2011), p. 484-495
ISSN: 0170-6012
DOI: 10.1007/s00287-011-0541-z
BibTeX: Download
, , :
Dynamische Analyse mit dem Software-EKG
Software Engineering 2011 - Fachtagung des GI-Fachbereichs Softwaretechnik (Karlsruhe, 24.02.2011 - 25.02.2011)
In: Ralf Reussner, Matthias Grund, Andreas Oberweis, Walter Tichy (ed.): Lecture Notes in Informatics (LNI), P-183, Bonn: 2011
BibTeX: Download
, , :
2010
Multi-GPU Cluster use for Java/OpenMP (Diploma thesis, 2010)
URL: https://www2.cs.fau.de/teaching/thesis/download/i2D00394.pdf
BibTeX: Download
:
JCudaMP: OpenMP/Java on CUDA
Third International Workshop on Multicore Software Engineering (IWMSE 2010) (Cape Town, South Africa, 01.05.2010 - 01.05.2010)
In: Pankratius Victor; Philippsen Michael (ed.): Proceedings of the Third International Workshop on Multicore Software Engineering (IWMSE10), Los Alamitos, CA, USA: 2010
DOI: 10.1145/1808954.1808959
URL: http://www2.informatik.uni-erlangen.de/publication/download/DVK10.pdf
BibTeX: Download
, , :
Graphbasierte Prozedurale Abstraktion (Dissertation, 2010)
BibTeX: Download
:
Environment-Based Measurement Planning for Autonomous RTLS Configuration
2010 NASA/ESA Conference on Conference on Adaptive Hardware and Systems (AHS 2010) (Anaheim,CA, USA, 15.06.2010 - 18.06.2010)
In: Proceedings of the Conference on Adaptive Hardware and Systems (AHS 2010) 2010
DOI: 10.1109/AHS.2010.5546244
URL: http://www2.informatik.uni-erlangen.de/publication/download/AHS2010.pdf
BibTeX: Download
, , :
eSPEM - A SPEM Extension for Enactable Behavior Modeling
ECMFA 2010, 6th European Conference of Modelling Foundations and Applications (Paris, France, 15.06.2010 - 18.06.2010)
In: Kühne, Thomas ; Selic, Bran ; Gervais, Marie-Pierre ; Terrier, Francois (ed.): 6th European Conference of Modelling Foundations and Applications, Berlin Heidelberg: 2010
DOI: 10.1007/978-3-642-13595-8
URL: http://www2.informatik.uni-erlangen.de/publication/download/ecmfa2010_eSPEM.pdf
BibTeX: Download
, , , , , :
Irregular data-parallelism in a parallel object-oriented language by means of Collective Replication
CS-2010-04 (2010), p. 14
ISSN: 2191-5008
Open Access: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/1544
URL: http://www.opus.ub.uni-erlangen.de/opus/frontdoor.php?source_opus=2268
BibTeX: Download
(Techreport)
, , :
Transformation von Datenstruktur-Operationen zu Wartefreien mithilfe einer wartefreien Multi-Word Compare-And-Swap Bibliothek (Diploma thesis, 2010)
BibTeX: Download
:
Online Data-Mining of trajectories in Real Time Location Systems (Diploma thesis, 2010)
URL: https://www2.informatik.uni-erlangen.de/teaching/thesis/download/i2D00393.pdf
BibTeX: Download
:
Proceedings of the 3rd International Workshop on Multicore Software Engineering (IWMSE'10)
New York: 2010
(International Conference on Software Engineering ICSE, Vol. 2010, Cape Town, South Africa)
ISBN: 978-1-60558-964-0
URL: http://dl.acm.org/citation.cfm?id=1808954&picked=prox&cfid=625143511&cftoken=93536545
BibTeX: Download
, (ed.):
Graph transformation by computational category theory
In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, Berlin/Heidelberg: Springer-verlag, 2010, p. 33-58 (Lecture Notes Computer Science, Vol.5765)
ISBN: 978-3-642-17321-9
DOI: 10.1007/978-3-642-17322-6_3
URL: https://www2.cs.fau.de/staff/schneider/gtbook/fmn-final.pdf
BibTeX: Download
, :
A Wait-Free Dynamic Storage Allocator by Adopting the Helping Queue Pattern
Parallel and Distributed Computing and Networks (PDCN 2010) (Innsbruck, Austria, 16.02.2010 - 18.02.2010)
In: Proceedings Parallel and Distributed Computing and Networks (PDCN 2010), Calgary, AB, Canada: 2010
DOI: 10.2316/P.2010.676-052
URL: http://www4.informatik.uni-erlangen.de/Publications/2010/stellwag_pdcn2010_malloc.pdf
BibTeX: Download
, , :
Improved DSM Efficiency, Flexibility, and Correctness (Habilitation, 2010)
URL: https://opus4.kobv.de/opus4-fau/files/1543/paper.pdf
BibTeX: Download
:
Safe and Familiar Multi-core Programming by means of a Hybrid Functional and Imperative Language
22nd International Workshop of Languages and Compilers for Parallel Computing (LCPC 2009) (Newark, DE, 08.10.2009 - 10.10.2009)
In: Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li (ed.): Languages and Compilers for Parallel Computing, 22nd International Workshop, LCPC 2009, Berlin Heidelberg: 2010
DOI: 10.1007/978-3-642-13374-9_11
URL: http://www2.informatik.uni-erlangen.de/publication/download/LCPC_hpc_tapir.pdf
BibTeX: Download
, :
Attribute Grammar Based Genetic Programming (Dissertation, 2010)
BibTeX: Download
:
2009
A meta-predictor framework for prefetching in object-based DSMs
In: Concurrency and Computation-Practice & Experience 21 (2009), p. 1789-1803
ISSN: 1532-0626
DOI: 10.1002/cpe.1443
URL: http://www2.informatik.uni-erlangen.de/publication/download/BKCP09.pdf
BibTeX: Download
, , , :
Ein Compiler für NVIDIA-Grafikprozessoren (Bachelor thesis, 2009)
BibTeX: Download
:
Laufzeitparallelisierung von OpenMP/Java-Programmen für die Ausführung auf GPUs (Diploma thesis, 2009)
BibTeX: Download
:
Text Mining in Program Code
In: Song, Min ; Wu, Yi-Fang Brook (ed.): Handbook of Research on Text and Web Mining Technologies, Hershey: Idea Group Publishing, 2009, p. 626-645
ISBN: 1599049902
DOI: 10.4018/978-1-59904-990-8.ch035
URL: http://www2.informatik.uni-erlangen.de/publication/download/DFWW09.pdf
BibTeX: Download
, , , :
Autonomous Configuration Method for Real-Time Location Systems
NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2009) (San Francisco, CA, USA, 29.07.2009 - 01.08.2009)
In: Suess, Martin ; Arslan, Tughrul (ed.): Proceedings NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2009) 2009
DOI: 10.1109/AHS.2009.10
URL: http://www2.informatik.uni-erlangen.de/publication/download/AHS2009.pdf
BibTeX: Download
, :
Acceleration of a Relative Positioning Framework
In: International Journal of Computational Intelligence Research 5 (2009), p. 130-140
ISSN: 0973-1873
DOI: 10.5019/j.ijcir.2009.176
BibTeX: Download
, , , :
An Efficient Configuration Method for RTLSs
2nd International Symposium on Logistics and Industrial Informatics (LINDI 2009) (Linz, Austria, 10.09.2009 - 12.09.2009)
In: Jacak, Witold ; Affenzeller, Michael (ed.): Proceeding 2nd International Symposium on Logistics and Industrial Informatics (LINDI 2009) 2009
DOI: 10.1109/LINDI.2009.5258636
URL: http://www2.informatik.uni-erlangen.de/publication/download/LINDI2009.pdf
BibTeX: Download
, , :
A Language Independent JIT compiler library (Diploma thesis, 2009)
URL: http://www2.informatik.uni-erlangen.de/teaching/thesis/download/i2D00379.pdf
BibTeX: Download
:
Reparallelization and Migration of OpenMP Applications in Grid Environments (Dissertation, 2009)
BibTeX: Download
:
Reparallelization Techniques for Migrating OpenMP Codes in Computational Grids
In: Concurrency and Computation-Practice & Experience 21 (2009), p. 281-299
ISSN: 1532-0626
DOI: 10.1002/cpe.1356
URL: http://www2.informatik.uni-erlangen.de/publication/download/migration-OpenMP-CCPE.pdf
BibTeX: Download
, , , , :
Automatische Generierung von AUTOSAR Software Component Descriptions. (Other / na, 2009)
URL: https://www2.informatik.uni-erlangen.de/teaching/thesis/download/i2S00428.pdf
BibTeX: Download
:
Ein agentenbasierter evolutionärer Adaptions- und Optimierungsansatz für verteilte Systeme (Dissertation, 2009)
BibTeX: Download
:
Dynamische Programm-Code-Verwaltung und -Optimierung für eingebettete Systeme (Dissertation, 2009)
URL: http://www.opus.ub.uni-erlangen.de/opus/volltexte/2009/1544/pdf/DominicSchellDissertation.pdf
BibTeX: Download
:
Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR Umfeld und notwendige Entwicklungsschritte
MBEES: Modellbasierte Entwicklung eingebetteter Systeme V. (Dagstuhl, 22.04.2009 - 24.04.2009)
In: Giese, Holger ; Huhn, Michaela ; Nickel, Ulrich ; Schätz, Bernhard (ed.): Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V. 2009
URL: http://www.sse-tubs.de/mbees-dagstuhl/MBEES2009_Proceedings_online_small.pdf
BibTeX: Download
, :
Tapir: Language Support to Reduce the State Space in Model-Checking
ATPS 2009 - 4. Arbeitstagung Programmiersprachen (Lübeck, 28.09.2009 - 02.10.2009)
In: Fischer, Stefan ; Maehle, Erik ; Reischuck, Rüdiger (ed.): Informatik 2009 - Im Focus das Leben, Bonn: 2009
URL: http://www2.informatik.uni-erlangen.de/publication/download/ATPS09-tapir.pdf
BibTeX: Download
, :
DAG Mining for Code Compaction
In: Cao, L. ; Yu, P. S. ; Zhang, C. ; Zhang, H. (ed.): Data Mining for Business Applications, Berlin Heidelberg: Springer, 2009, p. 209-224
ISBN: 978-0-387-79419-8
DOI: 10.1007/978-0-387-79420-4_15
URL: http://www2.informatik.uni-erlangen.de/publication/download/WDWFP09.pdf
BibTeX: Download
, , , , :
Dynamic code footprint optimization for the IBM cell broadband engine
2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009 (Vancouver, BC, 18.05.2009 - 18.05.2009)
DOI: 10.1109/IWMSE.2009.5071385
URL: http://www2.informatik.uni-erlangen.de/publication/download/WFKSWP09.pdf
BibTeX: Download
, , , , , :
2008
Automatic Prefetching with Binary Code Rewriting in Object-based DSMs (Best Paper)
Euro-Par 2008 Conference (Las Palmas de Gran Canaria, Spain, 26.08.2008 - 29.08.2008)
In: Luque, Emilio ; Margalef, Tomàs ; Benítez, Domingo (ed.): EuroPar 2008 - Parallel Processing, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-85451-7_69
URL: http://www2.informatik.uni-erlangen.de/publication/download/dynamic_prefetcher.pdf
BibTeX: Download
, , , :
Fallstudie zur Modellierung von Software-Entwicklungsprozessen auf Basis von SPEM 2.0
Lecture Notes in Informatics (LNI), P-121 (München, 18.02.2008 - 22.02.2008)
In: Herrmann, Korbinian ; Brügge, Bernd (ed.): Software Engineering 2008: Fachtagung des GI-Fachbereichs Softwaretechnik, Bonn: 2008
BibTeX: Download
, , , :
Implentierung des JaMP-Programmierungmodells für eine Java-VM (Mid-study thesis, 2008)
BibTeX: Download
:
Graph-Based Procedural Abstraction: Compacting Code for ARM-Architectures
Saarbrücken: VDM Verlag Dr. Müller, 2008
ISBN: 978-3-8364-6568-7
BibTeX: Download
:
Lattice Boltzmann Method for DSM Systems: Implementation and Optimization with JAVA
Saarbrücken: VDM Verlag Dr. Müller, 2008
ISBN: 978-3-8364-6567-0
BibTeX: Download
:
Präzisierung und werkzeuggestützte Umsetzung des Software Process Engineering Metamodel 2.0 (Diploma thesis, 2008)
URL: http://pswt.informatik.uni-erlangen.de/publication/download/i2D00366.pdf
BibTeX: Download
:
Implementierung eines LLVM-Backends für Jackal (Mid-study thesis, 2008)
URL: http://www2.informatik.uni-erlangen.de/teaching/thesis/download/i2S00423.pdf
BibTeX: Download
:
A Proposal for OpenMP for Java
International Workshop on OpenMP (IWOMP'05) (Reims, France, 01.06.2005 - 04.06.2005)
In: Matthias S. Mueller, Barbara M. Chapman, Bronis R. de Supinski, Allen D. Malony, Michael Voss (ed.): OpenMP Shared Memory Parallel Programming, International Workshops IWOMP 2005 and IWOMP 2006, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-68555-5_33
URL: http://www2.informatik.uni-erlangen.de/publication/download/java-openmp.pdf
BibTeX: Download
, , , :
An Automatic Cost-based Framework for Seamless Application Migration in Grid Environments
20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08) (Orlando, FL, USA, 16.11.2008 - 18.11.2008)
In: Proceedings of the 20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08), Anaheim, CA, USA: 2008
URL: http://www2.informatik.uni-erlangen.de/publication/download/OGRE-PDCS.pdf
BibTeX: Download
, , :
Cluster Research at the Programming Systems Group
(2008), p. 30-31
URL: http://www.rrze.uni-erlangen.de/wir-ueber-uns/publikationen/HPC-2008-Screenversion.pdf
BibTeX: Download
(anderer)
, , :
Decentralized Evolutionary Optimization Approach to the p-median Problem
Joint Conferences on Evolutionary Computing (EuroGP EvoCOP EvoBio and EvoWorkshops) (Naples, Italy, 26.03.2008 - 28.03.2008)
In: Applications of Evolutionary Computing - EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Berlin / Heidelberg: 2008
DOI: 10.1007/978-3-540-78761-7_72
BibTeX: Download
, :
Automatische Generierung optimaler modellbasierter Regressionstests
Workshop on Model-Based Testing (MoTes 2008) (München, 08.09.2008 - 13.09.2008)
In: Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler (ed.): INFORMATIK 2008 - Beherrschbare Systeme dank Informatik (Band 1), Bonn: 2008
BibTeX: Download
, , , :
Techniques and Tools for the Automatic Generation of Optimal Test Data at Code, Model and Interface Level
30th International Conference on Software Engineering (ICSE 2008) (Leipzig, 10.05.2008 - 18.05.2008)
In: Companion of the 30th international conference on Software engineering (ICSE Companion '08), New York, NY, USA: 2008
DOI: 10.1145/1370175.1370191
URL: http://dl.acm.org/ft_gateway.cfm?id=1370191
BibTeX: Download
, , :
Automatic Generation of Optimized Integration Test Data by Genetic Algorithms
Software Engineering 2008 - Workshop "Testmethoden für Software - Von der Forschung in die Praxis" (München, 19.02.2008 - 19.02.2008)
In: Walid Maalej, Bernd Bruegge (ed.): Software Engineering 2008 - Workshopband, Bonn: 2008
URL: http://www11.informatik.uni-erlangen.de/Forschung/Publikationen/TESO%202008.pdf
BibTeX: Download
, , :
White and Grey-Box Verification and Validation Approaches for Safety- and Security-Critical Software Systems
In: Information Security Technical Report 13 (2008), p. 10-16
ISSN: 1363-4127
DOI: 10.1016/j.istr.2008.03.002
URL: http://www.sciencedirect.com/science/article/pii/S1363412708000071
BibTeX: Download
, , :
Qualität und Zuverlässigkeit im Software Engineering
In: Zeitschrift für wirtschaftlichen Fabrikbetrieb 103 (2008), p. 407-412
ISSN: 0932-0482
URL: http://www.zwf-online.de/ZW101296
BibTeX: Download
, , :
A DSM protocol aware of both thread migration and memory constraints (Best Paper)
20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08) (Orlando, FL, USA, 16.11.2008 - 18.11.2008)
In: Gonzalez, Teofilo F. (ed.): Proceedings of the 20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08), Anaheim, CA, USA: 2008
URL: http://www2.informatik.uni-erlangen.de/publication/download/LVM-PDCS.pdf
BibTeX: Download
, , :
Evaluation of RDMA opportunities in an Object-Oriented DSM
20th International Workshop on Languages and Compilers for Parallel Computing (LCPC '07) (Urbana, Illinois, 11.10.2007 - 13.10.2007)
In: Vikram Adve, María Jesús Garzarán, Paul Petersen (ed.): Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-85261-2_15
URL: http://www2.informatik.uni-erlangen.de/publication/download/LCPC_rdma.pdf
BibTeX: Download
, :
Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster
20th International Workshop on Languages and Compilers for Parallel Computing (LCPC '07) (Urbana, Illinois, 11.10.2007 - 13.10.2007)
In: Vikram Adve, María Jesús Garzarán, Paul Petersen (ed.): Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Berlin Heidelberg: 2008
DOI: 10.1007/978-3-540-85261-2_13
URL: http://www2.informatik.uni-erlangen.de/publication/download/LCPC_LVM.pdf
BibTeX: Download
, :
DAGMA: Mining Directed Acyclic Graphs (Outstanding Paper Award)
IADIS European Conference on Data Mining 2008 (Amsterdam, The Netherlands, 24.07.2008 - 26.07.2008)
In: Hans Weghorn ; Ajith P. Abraham (ed.): Proceedings of the IADIS European Conference on Data Mining, Amsterdam, The Netherlands: 2008
URL: http://www2.informatik.uni-erlangen.de/publication/download/ecdm2008-dagma.pdf
BibTeX: Download
, , , , :
Solving the School Time Tabling Problem Using Tabu Search, Simulated Annealing, Genetic and Branch & Bound Algorithms
7th International Conference on the Practice and Theory of Automated Timetabling (PATAT '08) (Montreal, 19.08.2008 - 22.08.2008)
In: Burke Edmund, Gendreau Michel (ed.): PATAT '08 Proceedings of the 7th International Conference on the Practice and Theory of Automated Timetabling 2008
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2008/Wilke08-STS.pdf
BibTeX: Download
, :
2007
Application of a memetic algorithm to the calibration of micro-lithography
In: Grosan, Crina; Abraham, Ajith (ed.): Hybrid Evolutionary Algorithms, Berlin Heidelberg: Springer, 2007, p. 201-239
ISBN: 978-3-540-73296-9
DOI: 10.1007/978-3-540-73297-6
BibTeX: Download
, , , , :
Graph-based procedural abstraction
International Symposium on Code Generation and Optimization, CGO 2007 (San Jose, CA, 11.03.2007 - 14.03.2007)
In: International Symposium on Code Generation and Optimization (CGO'07) 2007
DOI: 10.1109/CGO.2007.14
URL: http://www2.informatik.uni-erlangen.de/publication/download/cgo2007-shrink.pdf
BibTeX: Download
, , , , , :
Self-Adaptive Ant Colony Optimisation Applied to Function Allocation in Vehicle Networks
Genetic and Evolutionary Computation Conference (GECCO-2007) (London, 07.07.2007 - 11.07.2007)
In: Proceeding Genetic and Evolutionary Computation Conference (GECCO-2007) 2007
DOI: 10.1145/1276958.1277352
URL: http://www2.informatik.uni-erlangen.de/publication/download/paperGECCO2007.pdf
BibTeX: Download
, , , :
Reuse of Software in Distributed Embedded Automotive Systems
In: Navet, Nicolas ; Simonot-Lion, Françoise (ed.): Automotive Embedded Systems Handbook, London: Taylor & Francis / CRC Press, 2007, p. 8.1-8.19
ISBN: 084938026X
BibTeX: Download
, , :
Esodyp+: Prefetching in the Jackal Software DSM
Proceedings of the Euro-Par 2007 Conference (Rennes, France, 28.08.2007 - 31.08.2007)
In: Kermarrec, Anne-Marie; Bougé, Luc; Priol, Thierry (ed.): EuroPar 2007 - Parallel Processing, Berlin Heidelberg: 2007
DOI: 10.1007/978-3-540-74466-5_60
URL: http://www2.informatik.uni-erlangen.de/publication/download/esodyp.pdf
BibTeX: Download
, , , , :
Reparallelization and Migration of OpenMP Programs
7th International Symposium on Cluster Computing and the Grid (CCGrid '07) (Rio de Janeiro, Brazil, 14.05.2007 - 17.05.2007)
In: Proceedings of the 7th International Symposium on Cluster Computing and the Grid (CCGrid '07), New York, NY, USA: 2007
DOI: 10.1109/CCGRID.2007.96
URL: http://www2.informatik.uni-erlangen.de/publication/download/migration-OpenMP.pdf
BibTeX: Download
, , , , :
JaMP: An Implementation of OpenMP for a Java DSM
In: Concurrency and Computation-Practice & Experience 18 (2007), p. 2333-2352
ISSN: 1532-0626
DOI: 10.1002/cpe.1178
URL: http://www2.informatik.uni-erlangen.de/publication/download/jamp-journal.pdf
BibTeX: Download
, , , :
Reparallelisierung und Migration von OpenMP-Applikationen (Young Researchers Award)
21. Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2007) (Hamburg, 31.05.2007 - 01.06.2007)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2007) 2007
URL: http://www2.informatik.uni-erlangen.de/publication/download/migration-OpenMP-PARS.pdf
BibTeX: Download
, :
Hard Real-time Scheduling mittels Column Generation (Bachelor thesis, 2007)
BibTeX: Download
:
Parallel Dynamic Parameter Adaption of Adaptive Array Antennas Based on Nature Inspired Optimisation
In: Journal of Computers 2 (2007), p. 64-75
ISSN: 1796-203X
DOI: 10.4304/jcp.2.3.64-76
URL: http://www.jcomputers.us/index.php?m=content&c=index&a=show&catid=74&id=931http://www.academypublisher.com/jcp/index.html
BibTeX: Download
, , , :
Adaptive Optimierung des Prefetch-Verhaltens bei objektorientierten Multi-Tier Client-Server-Systemen
Knowledge Discovery, Data Mining, and Machine Learning (Halle, 24.09.2007 - 26.09.2007)
In: Hinneburg, Alexander ; Klinkenberg, Ralf ; Mierswa, Ingo (ed.): Workshop-Week: Lernen-Wissen-Adaption (LWA 2007) 2007
URL: http://www2.informatik.uni-erlangen.de/publication/download/lwa_2007.pdf
BibTeX: Download
, , :
Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken (Dissertation, 2007)
URL: https://www.ps.tf.fau.de/files/2020/04/norbertoster_dissertation2007.pdf
BibTeX: Download
:
Automatische Testdatengenerierung mittels multi-objektiver Optimierung
Software Engineering 2007 (Hamburg, 27.03.2007 - 30.03.2007)
In: Wolf-Gideon Bleek, Henning Schwentner, Heinz Züllighoven (ed.): Software Engineering 2007 - Beiträge zu den Workshops, Bonn: 2007
URL: http://subs.emis.de/LNI/Proceedings/Proceedings106/gi-proc-106-007.pdf
BibTeX: Download
, :
Automatische, modellbasierte Testdatengenerierung durch Einsatz evolutionärer Verfahren
Informatik 2007 - 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) (Bremen, 24.09.2007 - 27.09.2007)
In: Rainer Koschke, Otthein Herzog, Karl H Rödiger, Marc Ronthaler (ed.): Informatik 2007 - Informatik trifft Logistik, Bonn: 2007
URL: http://cs.emis.de/LNI/Proceedings/Proceedings110/gi-proc-110-067.pdf
BibTeX: Download
, , , :
Computer Safety, Reliability, and Security
Berlin Heidelberg: 2007
(Lecture Notes in Computer Science, Vol. 4680)
ISBN: 978-3-540-75100-7
DOI: 10.1007/978-3-540-75101-4
URL: http://link.springer.com/content/pdf/10.1007%2F978-3-540-75101-4.pdf
BibTeX: Download
, (ed.):
Interface Coverage Criteria Supporting Model-Based Integration Testing
20th International Conference on Architecture of Computing Systems (ARCS 2007) (Zürich, 12.03.2007 - 15.03.2007)
In: Marco Platzner, Karl E Grosspietsch, Christian Hochberger, Andreas Koch (ed.): Proceedings of the 20th International Conference on Architecture of Computing Systems (ARCS 2007), Zürich: 2007
BibTeX: Download
, , :
Relabeling and the independence theorem in the double-pushout approach to graph transformations
In: Bulletin of the European Association for Theoretical Computer Science, EATCS 91 (2007), p. 208-223
ISSN: 0252–9742
URL: http://www2.informatik.uni-erlangen.de/publication/download/parindep.pdf
BibTeX: Download
:
Design and Implementation of a DAG-Miner (Diploma thesis, 2007)
URL: http://www2.informatik.uni-erlangen.de/publication/download/DA-sitowert.pdf
BibTeX: Download
:
evolFIR: Evolving redundancy-free FIR structures
2007 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2007) (Edinburgh, 05.08.2007 - 08.08.2007)
In: Arslan, Tughrul (ed.): Proceedings of the 207 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2007), Los Alamitos, CA: 2007
DOI: 10.1109/AHS.2007.50
BibTeX: Download
, , , :
2006
Word Order and Discontinuities in Dependency Grammar
In: Acta Cybernetica 17 (2006), p. 617-632
ISSN: 0324-721X
URL: http://www2.informatik.uni-erlangen.de/publication/download/bartha.ps
BibTeX: Download
, , , :
Computational Life Sciences II - Second International Symposium, CompLife 2006
berlin Heidelberg: 2006
(Lecture Notes in Bioinformatics, Vol. 4216)
ISBN: 978-3-540-45767-1
DOI: 10.1007/11875741
BibTeX: Download
, , (ed.):
Requirements Engineering
In: Kirn, Stefan ; Herzog, Otthein ; Lockemann, Peter C. ; Spaniol, Otto (ed.): Multiagent Engineering, Berlin Heidelberg: Springer, 2006, p. 359-382
ISBN: 978-3-540-31406-6
DOI: 10.1007/3-540-32062-8_19
BibTeX: Download
, , , :
Dynamic hardware-based optimization for adaptive array antennas
In: Zha, Xuan F. ; Howlett, H. J. (ed.): Integrated Intelligent Systems for Engineering Design, Amsterdam, The Netherlands: IOS Press, 2006, p. 362-388
ISBN: 1-58603-675-0
URL: http://www2.informatik.uni-erlangen.de/publication/download/AdaptiveHardware.pdf
BibTeX: Download
, , :
A novel Mathematical Model for the Optimization of DNA-Chip Design and its Implementation
EuroGP2006 & EvoCOP2006, incorporating EvoWorkshops 2006 (Budapest, 10.04.2006 - 12.04.2006)
In: Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi (ed.): Applications of Evolutionary Computing, Berlin Heidelberg: 2006
DOI: 10.1007/11732242_3
BibTeX: Download
, , :
Procedural Abstraction for ARM-Architectures (Diploma thesis, 2006)
URL: http://www2.informatik.uni-erlangen.de/publication/download/DA-sialdrew.pdf
BibTeX: Download
:
Optimisation of the Allocation of Functions in Vehicle Networks (Dissertation, 2006)
URL: http://www2.informatik.uni-erlangen.de/publication/download/diss-hardung.pdf
BibTeX: Download
:
Optimisation of the Variant Combination of Control Units Considering the Order History
Operations Research 2005 (Bremen, 07.09.2005 - 09.09.2005)
In: Hans-Dietrich Haasis ; Herbert Kopfer ; Jörn Schönberger (ed.): Operations Research Proceedings 2005 - Selected Papers of the Annual International Conference of the German Operations Research Society, Berlin Heidelberg: 2006
DOI: 10.1007/3-540-32539-5_57
URL: http://www2.informatik.uni-erlangen.de/publication/download/Bremen_VO.pdf
BibTeX: Download
, :
SPiCE in der Praxis - Interpretationshilfe für Anwender und Assessoren
Heidelberg: dPunkt Verlag, 2006
ISBN: 978-3-89-864341-2
BibTeX: Download
, , , :
Automatic Design of Features for Classification of Physiological Signals Using Genetic Programming (Diploma thesis, 2006)
URL: http://pswt.informatik.uni-erlangen.de/publication/download/DA-janda.pdf
BibTeX: Download
:
Modellbasierte Generierung von Beherrschungsmechanismen für Inkonsistenzen in komponentenbasierten Systemen (Dissertation, 2006)
BibTeX: Download
:
JaMP: An Implementation of OpenMP for a Java DSM
Workshop on Compilers for Parallel Computers (A Coruna, Spain, 09.01.2006 - 11.01.2006)
In: Proceedings of the 12th Workshop on Compilers for Parallel Computers 2006
URL: http://www2.informatik.uni-erlangen.de/publication/download/jamp.pdf
BibTeX: Download
, , , :
Mining Molecular Datasets on Symmetric Multiprocessor Systems
2006 IEEE International Conference on Systems, Man and Cybernetics (Taipei, Taiwan, 08.10.2016 - 11.10.2006)
In: Proceedings of the 2006 IEEE International Converence on Systems, Man and Cybernetics, New York: 2006
DOI: 10.1109/ICSMC.2006.384889
URL: http://www2.informatik.uni-erlangen.de/publication/download/SMC2006.pdf
BibTeX: Download
, , , :
The ParMol package for frequent subgraph mining
Third International Workshop on Graph Based Tools (GraBaTs) (Natal, Brasil, 21.09.2006 - 22.09.2006)
In: Zündorf, Albert ; Varro, Daniel (ed.): Third International Workshop on Graph Based Tools 2006
URL: http://www2.informatik.uni-erlangen.de/publication/download/GraBaTs2006_ParMol.pdf
BibTeX: Download
, , , , :
The ParMol Package for Frequent Subgraph Mining
In: Electronic Communications of the EASST Volume 1 (2006), p. 1-12
ISSN: 1863-2122
URL: http://journal.ub.tu-berlin.de/eceasst/article/viewFile/85/63
BibTeX: Download
, , , , :
Automatic Test Data Generation by Multi-Objective Optimisation
25th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2006) (Gdansk, 26.09.2006 - 29.09.2006)
In: Janusz Górski (ed.): Computer Safety, Reliability, and Security, Berlin Heidelberg: 2006
DOI: 10.1007/11875567_32
URL: http://link.springer.com/content/pdf/10.1007%2F11875567.pdf
BibTeX: Download
, :
Adaption in distributed systems: an evolutionary approach
8th Conference on Genetic and evolutionary computation (GECCO'06) (Seattle, WA, 08.07.2006 - 12.07.2006)
In: Mike Cattolico (ed.): Proceedings of the 8th Conference on Genetic and evolutionary computation (GECCO'06), NY, USA: 2006
DOI: 10.1145/1143997.1144031
BibTeX: Download
, :
Evolutionary adaption in complex systems using the example of a logistics problem
In: International Transactions on Systems Science and Applications 2 (2006), p. 157-166
ISSN: 1751-1461
BibTeX: Download
, :
String Generating Hypergraph Grammars with Word Order Restrictions
International Conference on Graph Transformations (ICGT 2006) (Natal, Brasilia, 17.09.2006 - 23.09.2006)
In: Corradini, A. ; Ehrig, Hartmut ; Montanari, U. ; Ribeiro, L. ; Rozenberg, Grzegorz (ed.): Graph Transformations - ICGT 2006, Berlin Heidelberg: 2006
DOI: 10.1007/11841883_11
URL: http://www2.informatik.uni-erlangen.de/publication/download/riedl.pdf
BibTeX: Download
, , :
An Integrated Framework for Distributed Timetabling
Conf. on the Pratice and Theory of Automated Timetabling (PATAT 2006) (Brno, 30.08.2006 - 01.09.2006)
In: Burke Edmund K., Rudová Hana (ed.): Proc. 6th Int. Conf. on the Pratice and Theory of Automated Timetabling (PATAT 2006) 2006
BibTeX: Download
:
Extension and parallelization of a graph-mining-algorithm (Diploma thesis, 2006)
URL: http://www2.informatik.uni-erlangen.de/publication/download/DA-simawoer.pdf
BibTeX: Download
:
Edgar: the Embedding-baseD GrAph MineR
International Workshop on Mining and Learning with Graphs (Berlin, 18.09.2006 - 22.09.2006)
In: Gärtner, Thomas ; Garriga, Gemma C. ; Meinl, Thorsten (ed.): Proceedings of the International Workshop on Mining and Learning with Graphs 2006
URL: http://www2.informatik.uni-erlangen.de/publication/download/MLG2006_Edgar.pdf
BibTeX: Download
, , , , :
2005
Learning from Noise Data with the Help of Logic Programming Systems
Intl. Conf. on Artificial Intelligence, Knowledge Engineering, Data Bases (AIKED 2005) (Salzburg, 13.02.2005 - 15.02.2005)
In: WSEAS Transactions on Information Science and Application 2005
URL: http://www.worldses.org/journals/information/information-february2005.doc
BibTeX: Download
, :
Computational Life Sciences - First International Symposium, CompLife 2005
Berlin Heidelberg: 2005
(Lecture Notes in Bioinformatics, Vol. 3695)
ISBN: 978-3-540-29104-6
DOI: 10.1007/11560500
URL: http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3695&issue=preprint
BibTeX: Download
, , , , (ed.):
MoSS: A Program for Molecular Substructure Mining
Open Source Data Mining Workshop on Frequent Pattern Mining Implementations (OSDM 2005) (Chicago, IL, 21.08.2005 - 21.08.2005)
In: Goethals, Bart ; Nijssen, Siegfried ; Zaki, Mohammed J. (ed.): Proceedings of Open Source Data Mining Workshop on Frequent Pattern Mining Implementations (OSDM 2005) 2005
DOI: 10.1145/1133905.1133908
URL: http://www2.informatik.uni-erlangen.de/publication/download/moss_osdm.pdf
BibTeX: Download
, , :
An Evolutionary Approach to Tetris
6th Metaheuristics International Conference (MIC 2005) (Wien, 22.08.2005 - 26.08.2005)
In: 6th Metaheuristics International Conference 2005
URL: http://www2.informatik.uni-erlangen.de/publication/download/mic.pdf
BibTeX: Download
, , :
SPiCE in der Praxis - Interpretationshilfe für Anwender und Assessoren
Heidelberg: dPunkt Verlag, 2005
ISBN: 978-3-89-864341-2
BibTeX: Download
, , , :
A Lexicon for Metaphors and Idioms
In: Schnorbusch, Daniel ; Langer, Stefan (ed.): Semantik im Lexikon, Tübingen: Gunter Narr Verlag, 2005, p. 205-224 (Tübinger Beiträge zur Linguistik, Vol.479)
ISBN: 3-8233-6099-X
BibTeX: Download
, , :
Implementation and Optimization of the Lattice Boltzmann Method for the Jackal DSM System (Bachelor thesis, 2005)
URL: http://www2.informatik.uni-erlangen.de/publication/download/BT-sialdrew.pdf
BibTeX: Download
:
Graph Transformations and Neural Networks
In: Wang, John (ed.): Encyclopedia of Data Warehousing and Mining, Hershey, PA, USA: Idea Group, 2005, p. 534-539
ISBN: 9781591405573
DOI: 10.4018/978-1-59140-557-3.ch101
BibTeX: Download
:
Why emergent systems can enhance system quality
(2005)
BibTeX: Download
(Techreport)
, , :- Hardung Bernd, Kollert Thomas, Kókai Gabriella, Krüger Andreas:
Optimierung von Steuergerätevarianten unter Berücksichtigung der Kundenbestellungen
12th International Conference and Exhibition Electronic Systems for Vehicles (Baden-Baden, Germany, 06.10.2005 - 07.10.2005)
In: VDI Berichte Nr. 1907, Düsseldorf: 2005
URL: http://www2.informatik.uni-erlangen.de/publication/download/BadenBaden.pdf
BibTeX: Download
Adaptive smart antennae receiver controlled by a hardware-based genetic optimiser
In: International Journal of Embedded Systems 1 (2005), p. 50-64
ISSN: 1741-1068
DOI: 10.1504/IJES.2005.008808
BibTeX: Download
, , :
Subgraph Mining
In: Wang, John (ed.): Encyclopedia of Data Warehousing and Mining, Hershey, PA, USA: Idea Group, 2005, p. 1059-1063
ISBN: 9781591405573
DOI: 10.4018/978-1-59140-557-3
BibTeX: Download
, :
Parallel Mining for Frequent Fragments on a Shared-Memory Multiprocessor -Results and Java-Obstacles-
Workshop der GI-Fachgruppe "Maschinelles Lernen, Wissensentdeckung, Data Mining" (FGML) (Saarbrücken, Germany, 10.10.2005 - 12.10.2005)
In: Bauer, Mathias ; Kröner, Alexander ; Brandherm, Boris (ed.): LWA 2005 - Beiträge zur GI-Workshopwoche Lernen, Wissensentdeckung, Adaptivität 2005
BibTeX: Download
, , :
Development of a model-library for quick estimation of resources of Field-Programmable Gate Arrays and Application Specific Integrated Circuits for automated Intellectual Property core generation with redFIR 2
17th EURO Mini Conference: Continuous Optimization in the Industry (Pécs, Hungary, 29.06.2005 - 01.07.2005)
In: 17th EURO Mini Conference: Continuous Optimization in the Industry, Budapest: 2005
URL: http://www2.informatik.uni-erlangen.de/publication/download/pecs.pdf
BibTeX: Download
, , :
Quick Estimation of Resources of FPGAs and ASICs Using Neural Networks
Workshop der GI-Fachgruppe "Maschinelles Lernen, Wissensentdeckung, Data Mining" (FGML) (Saarbrücken, Germany, 10.10.2005 - 12.10.2005)
In: Bauer, Mathias ; Kröner, Alexander ; Brandherm, Boris (ed.): LWA 2005 - Beiträge zur GI-Workshopwoche Lernen, Wissensentdeckung, Adaptivität 2005
URL: http://www2.informatik.uni-erlangen.de/publication/download/lwa05-Kokai.pdf
BibTeX: Download
, , :
3rd International Workshop on Mining Graphs, Trees and Sequences (MGTS 2005)
2005
URL: http://www2.informatik.uni-erlangen.de/publication/download/mgts2005.pdf
BibTeX: Download
, , (ed.):
Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software
Second International Workshop on Software Quality (SOQUA 2005) (Erfurt, 20.09.2005 - 22.09.2005)
In: Ralf Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder (ed.): Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Berlin Heidelberg: 2005
DOI: 10.1007/11558569_16
URL: http://link.springer.com/content/pdf/10.1007%2F11558569.pdf
BibTeX: Download
:
Adaption population size and strategies in multi agents systems using evolutionary computation
In: Hohenheim (ed.): Technischer Bericht, Universität Hohenheim, 2005
BibTeX: Download
(Techreport)
, :
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
In: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (ed.): Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig, Berlin Heidelberg: Springer-verlag, 2005, p. 134-149
ISBN: 3-540-24936-2
DOI: 10.1007/978-3-540-31847-7_8
URL: http://www2.informatik.uni-erlangen.de/publication/download/hebook.pdf
BibTeX: Download
:
Near Overhead-free Heterogeneous Thread-migration
2005 IEEE International Conference on Cluster Coomputing (Boston, Massachusetts, USA, 26.09.2005 - 30.09.2005)
In: Proceedings of the 2005 IEEE International Conference on Cluster Coomputing, New York: 2005
DOI: 10.1109/CLUSTR.2005.347042
URL: http://www2.informatik.uni-erlangen.de/publication/download/thread_migration.pdf
BibTeX: Download
, :
A quantitative comparison of the subgraph miners MoFa, gSpan, FFSM, and Gaston
9th European Conference on Principles and Practices of Knowledge Discovery in Databases (Porto, Portugal, 03.10.2005 - 07.10.2005)
In: Jorge, Alipio; Torgo, Luis; Brazdil, Pavel; Camacho, Rui; Gama, Joao (ed.): Knowledge Discovery in Database: PKDD 2005, Berlin Heidelberg: 2005
DOI: 10.1007/11564126_39
URL: http://www2.informatik.uni-erlangen.de/publication/download/PKDD05.pdf
BibTeX: Download
, , , :
Evolving Swarms that Build 3D Structures
IEEE Congress on Evolutionary Computation (Edinburgh, UK, 02.09.2005 - 05.09.2005)
In: IEEE Congress on Evolutionary Computation 2005
DOI: 10.1109/CEC.2005.1554858
URL: http://www2.informatik.uni-erlangen.de/publication/download/creativeSwarmsCec05.pdf
BibTeX: Download
, , :
2004
Word Order and Discontinuities in a Dependency Grammar for Hungarian
2nd Conference on Hungarian Computational Linguistics (MSZNY 2004) (Szeged, Hungary, 09.12.2004 - 10.12.2004)
In: Alexin, Zoltán ; Csendes, Dóra (ed.): Proceedings of the 2nd Conference on Hungarian Computational Linguistics (MSZNY 2004), Szeged, Hungary: 2004
URL: http://www2.informatik.uni-erlangen.de/publication/download/barta.pdf
BibTeX: Download
, , :
Advanced Compiling Techniques to reduce RAM Usage of Static Operating Systems (Dissertation, 2004)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/65
BibTeX: Download
:
Advanced Pruning Strategies to Speed Up Mining Closed Molecular Fragments
2004 IEEE Conference on Systems, Man & Cybernetics (Den Haag, 10.10.2004 - 13.10.2004)
In: Thissen, Wil ; Wieringa, Peter ; Pantic, Maja ; Ludema, Marcel (ed.): Proceedings of the 2004 Intl Conference on Systems, Man and Cybernetics 2004
DOI: 10.1109/ICSMC.2004.1401251
URL: http://www2.informatik.uni-erlangen.de/publication/download/advancedPruning_SMC2004.pdf
BibTeX: Download
, , :
Evolving a Heuristic Function for the Game of Tetris
LWA 2004 - Beiträge zur GI-Workshopwoche Lernen, Wissensentdeckung, Adaptivität (Berlin, 04.10.2004 - 06.10.2004)
In: Scheffer, Tobias (ed.): Lernen, Wissensentdeckung und Adaptivitat, LWA 2004 2004
BibTeX: Download
, , :
Syntaxanalyse auf Basis der Dependenzgrammatik (Dissertation, 2004)
BibTeX: Download
:
Modeling Discontinuous Constituents with Hypergraph Grammars
Second International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003) (Charlottesville, VA, 27.09.2003 - 01.10.2003)
In: Pfaltz, John L. ; Nagl, Manfred ; Böhlen, Boris (ed.): Applications of Graph Transformations with Industrial Relevance - Second International Workshop, AGTIVE 2003, Berlin Heidelberg: 2004
DOI: 10.1007/978-3-540-25959-6_12
URL: http://www2.informatik.uni-erlangen.de/publication/download/AGTIVE03.pdf
BibTeX: Download
:
Graph Based Molecular Data Mining - An Overview
2004 IEEE International Conference on Systems, Man and Cybernetics (Den Haag, The Netherlands, 10.10.2004 - 13.10.2004)
In: Thissen, Wil ; Wieringa, Peter ; Pantic, Maja ; Ludema, Marcel (ed.): Proceedings of the 2004 IEEE International Converence on Systems, Man and Cybernetics 2004
DOI: 10.1109/ICSMC.2004.1401253
URL: http://www2.informatik.uni-erlangen.de/publication/download/graphBasedDM_SMC2004.pdf
BibTeX: Download
, :
Genetic Algorithms to Improve Mask and Illumination Geometries in Lithographic Imaging Systems
1st European Workshop on Hardware Optimisation (EVOHOT2004) (Coimbra, 03.04.2004 - 05.04.2004)
In: Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero (ed.): Applications of Evolutionary Computing - EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Berlin Heidelberg: 2004
DOI: 10.1007/978-3-540-24653-4_22
BibTeX: Download
, , , , :
Reuse of Software in Distributed Embedded Automotive Systems
Fourth ACM International Conference on Embedded Software (EMSOFT 2004) (Pavia, Italy, 27.09.2004 - 29.09.2004)
In: Proceedings of the 4th ACM International Conference on Embedded Software, New York, NY, USA: 2004
DOI: 10.1145/1017753.1017787
URL: http://www2.informatik.uni-erlangen.de/publication/download/p203-hardung.pdf
BibTeX: Download
, , :
Basiswissen Software-Projektmanagement - Aus- und Weiterbildung zum Certified Projektmanager nach iSQI-Standard
Heidelberg: dpunkt.verlag, 2004
ISBN: 3898642305
BibTeX: Download
, , , :
Latency Reduction in Software-DSMs by Means of Dynamic Function Splicing
16th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'04) (Cambridge, MA, USA, 09.11.2004 - 11.11.2004)
In: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems, Anaheim, CA, USA: 2004
URL: http://www2.informatik.uni-erlangen.de/publication/download/pdcs04dfs.pdf
BibTeX: Download
, , :
Erweiterte Fragmentsuche in Moleküldatenbanken (Diploma thesis, 2004)
URL: http://www2.informatik.uni-erlangen.de/publication/download/DA-meinl-fragmente.pdf
BibTeX: Download
:
Hybrid Fragment Mining with MoFa and FSG
2004 IEEE International Conference on Systems, Man and Cybernetics (Den Haag, The Netherlands, 10.10.2004 - 13.10.2004)
In: Thissen, Wil ; Wieringa, Peter ; Pantic, Maja ; Ludema, Marcel (ed.): Proceedings of the 2004 IEEE International Converence on Systems, Man and Cybernetics 2004
DOI: 10.1109/ICSMC.2004.1401250
URL: http://www2.informatik.uni-erlangen.de/publication/download/hybridFragmentMining_SMC2004.pdf
BibTeX: Download
, :
Discriminative Closed Fragment Mining and Pefect Extensions in MoFa
Second Starting AI Researchers' Symposium (STAIRS 2004) (Valencia, Spain, 22.08.2004 - 23.08.2004)
In: Onaindia, Eva ; Staab, Steffen (ed.): STAIRS 2004 - Proceedings of the Second Starting AI Researchers' Symposium, Amsterdam: 2004
URL: http://www2.informatik.uni-erlangen.de/publication/download/closedFragments_STAIRS2004.pdf
BibTeX: Download
, , :
Mining fragments with fuzzy chains in molecular databases
orkshop on Mining Graphs, Trees and Sequences (MGTS '04) (Pisa, Italy, 24.09.2004 - 24.09.2004)
In: Kok, Joost N. ; Washio, Takashi (ed.): Proceedings of the Workshop on Mining Graphs, Trees and Sequences (MGTS '04) 2004
URL: http://www2.informatik.uni-erlangen.de/publication/download/fuzzyChains_MGTS2004.pdf
BibTeX: Download
, , :
VisualDiaGen – A Tool for Visually Specifying and Generating Visual Editors
Second International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003) (Charlottesville, VA, 27.09.2003 - 01.10.2003)
In: Pfaltz, John L. ; Nagl, Manfred ; Böhlen, Boris (ed.): Applications of Graph Transformations with Industrial Relevance - Second International Workshop, AGTIVE 2003, Berlin Heidelberg: 2004
DOI: 10.1007/978-3-540-25959-6_29
URL: http://www2.informatik.uni-erlangen.de/publication/download/Minas-Agtive03.pdf
BibTeX: Download
:
Visual specification of visual editors with DiaGen
Second International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003) (Charlottesville, VA, 27.09.2003 - 01.10.2003)
In: Pfaltz, John L. ; Nagl, Manfred ; Böhlen, Boris (ed.): Second International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Berlin Heidelberg: 2004
DOI: 10.1007/978-3-540-25959-6_39
URL: http://www2.informatik.uni-erlangen.de/publication/download/Minas-Agtive03-Demo.pdf
BibTeX: Download
:
Automatische Generierung optimaler datenflussorientierter Testdaten mittels evolutionärer Verfahren
21. Treffen der Fachgruppe TAV [Test, Analyse und Verifikation von Software] (Berlin, 17.06.2004 - 18.06.2004)
In: Udo Kelter (ed.): Softwaretechnik-Trends 2004
URL: http://pi.informatik.uni-siegen.de/stt/24_3/01_Fachgruppenberichte/TAV/TAV21P4Oster.pdf
BibTeX: Download
:
A Data Flow Approach to Testing Object-Oriented Java-Programs
Probabilistic Safety Assessment and Management (PSAM7 - ESREL'04) (Berlin, 14.06.2004 - 18.06.2004)
In: Cornelia Spitzer, Ulrich Schmocker, Vinh N. Dang (ed.): Probabilistic Safety Assessment and Managment, London: 2004
DOI: 10.1007/978-0-85729-410-4_180
URL: http://link.springer.com/chapter/10.1007%2F978-0-85729-410-4_180
BibTeX: Download
, :
Ontologies supporting cooperations in mass customization - a pragmatic approach
International Conference on Mass Customization and Personalization Theory and Practice in Central Europe (MCP-CE 2004) (Novi Sad, 21.09.2004 - 23.09.2004)
In: Proceedings of the International Conference on Mass Customization and Personalization Theory and Practice in Central Europe (MCP-CE 2004) 2004
URL: http://www.mcp-ce.org/images/proceedings/2004/8-Dietrich.pdf
BibTeX: Download
, , , , :
Introducing the Parallel Random Access Machine Together with FORTRAN 90/95
In: Bulletin of the European Association for Theoretical Computer Science, EATCS 82 (2004), p. 299-314
ISSN: 0252–9742
URL: http://www2.informatik.uni-erlangen.de/publication/download/PRAM-FTN.pdf
BibTeX: Download
:
Parsing String Generating Hypergraph Grammars
Second International Conference on Graph Transformations (ICGT 04) (Rome, Italy, 28.09.2004 - 01.10.2004)
In: Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (ed.): Graph Transformations - Second International Conference, ICGT 2004, Berlin Heidelberg: 2004
DOI: 10.1007/978-3-540-30203-2_25
URL: http://www2.informatik.uni-erlangen.de/publication/download/ICGT04.pdf
BibTeX: Download
, :
Using Object Combining for Object Prefetching in DSM Systems
11th Workshop on Compilers for Parallel Computers (CPC 2004) (Seeon, 07.07.2004 - 09.07.2004)
In: Gerndt, Michael ; Kereku, Edmond (ed.): Proceedings of the 11th Workshop on Compilers for Parallel Computers (CPC 2004) 2004
URL: http://www2.informatik.uni-erlangen.de/publication/download/cpc2004.ps.gz
BibTeX: Download
, :
Prozessübergreifendes Management - Grundlagen erfolgreicher Projekte
Berlin: Springer, 2004
ISBN: 3-540-22388-6
BibTeX: Download
, , , :
Syntactically Correct Genetic Programming
Grammatical Evolution (GEWS 2004) (Seattle, WA, USA, 26.06.2004 - 30.06.2004)
In: Cagnoni, Stefano ; Keijzer, M. ; O'Neill, M. ; Ryan, C. (ed.): Proceedings of the 3rd Grammatical Evolution Workshop (GEWS 2004) 2004
URL: https://www2.cs.fau.de/publication/download/vanyi_zvada_gew04.pdf.gz
BibTeX: Download
, :
Improving grammar-based evolutionary algorithms via attributed derivation trees
7th European Conference on Genetic Programming (EuroGP2004) (Coimbra, Portugal, 05.04.2004 - 07.04.2004)
In: Maarten Keijzer, Terence Soule, Una-May O'Reilly, Ernesto Costa, Simon M. Lucas (ed.): Genetic Programming - 7th European Conference, EuroGP 2004, Berlin Heidelberg: 2004
DOI: 10.1007/978-3-540-24650-3_19
BibTeX: Download
, :
2003
GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation)
Amsterdam: 2003
(Electronic Notes in Theoretical Computer Science, Vol. 72)
ISBN: 0444514082
URL: http://www.sciencedirect.com/science/journal/15710661/72/3
BibTeX: Download
, (ed.):- Dormeyer Ricarda, Fischer Ingrid, Weber-Russell Sylvia:
A lexicon for Metaphors and Idioms
Arbeitsgruppe Semantisches Wissen im Lexikon (München, 26.02.2003 - 28.02.2003)
In: Langer, Stefan ; Schnorbusch, Daniel (ed.): Semantik im Lexikon 2003
URL: http://www.cis.uni-muenchen.de/events/dgfs2003/
BibTeX: Download
Design and Implementation of a USB Stack for the Java-based JX Operating System (Bachelor thesis, 2003)
URL: http://www4.informatik.uni-erlangen.de/Projects/JX/publications/BA-I4-2003-01-Dreweke.ps
BibTeX: Download
:
Context-exploiting shapes for diagram transformation
In: Machine Graphics and Vision 12 (2003), p. 117-132
ISSN: 1230-0535
URL: http://www.ipipan.waw.pl/MGV/MGV12.html#V12N1
BibTeX: Download
, , :
Mask and Source Optimization for Lithographic Imaging Systems
Wave-Optical Systems Engineering II (San Diego, CA, 31.12.2003 - 31.12.2003)
In: Wyrowski, F. (ed.): Wave-Optical Systems Engineering II, SPIE 5182 2003
DOI: 10.1117/12.504732
URL: http://www2.informatik.uni-erlangen.de/publication/download/spie5182_12.ps.gz
BibTeX: Download
, , , , :
Optimization of one-and two dimensional masks in the optical lithography
Treffen der Fachgruppe Maschinelles Lernen, Wissensentdeckung, Data Mining der Gesellschaft für Informatik (FGML 2003) (Karlsruhe, 06.10.2003 - 08.10.2003)
In: Treffen der Fachgruppe Maschinelles Lernen, Wissensentdeckung, Data Mining der Gesellschaft für Informatik (FGML 2003) 2003
URL: http://www2.informatik.uni-erlangen.de/publication/download/fgml03.ps.gz
BibTeX: Download
, , , , :
Incorporating Linkage Learning into the GeLog Framework
In: Acta Cybernetica 16 (2003), p. 209-228
ISSN: 0324-721X
URL: http://www2.informatik.uni-erlangen.de/publication/download/acta.ps.gz
BibTeX: Download
, :
Ein Modell zur Beschreibung und Lösung von Zeitplanungsproblemen (Dissertation, 2003)
BibTeX: Download
:
A General View on Timetabling Problems
PATAT 2002 (Gent, 21.08.2003 - 23.08.2003)
In: Proc. 4th Int. Conference on the Practice and Theory of Automated Timetabling IV, Berlin: 2003
URL: http://www2.informatik.uni-erlangen.de/publication/download/AI02.ps.gz
BibTeX: Download
, :
A Standard Framework for Timetabling Problems
4th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2002) (Gent, 21.08.2002 - 23.08.2002)
In: Burke Edmund K., de Causmaecker Patrick (ed.): Practice and Theory of Automated Timetabling - 4th International Conference (PATAT 2002), Berlin Heidelberg: 2003
DOI: 10.1007/b11828
BibTeX: Download
, , :
Entwicklungsprozess für vernetzte Elektroniksysteme
11th International Conference and Exhibition Electronic Systems for Vehicles (Baden-Baden, 25.09.2003 - 26.09.2003)
In: VDI Berichte Nr. 1789, Düsseldorf: 2003
URL: http://www2.informatik.uni-erlangen.de/publication/download/030925_BadenBaden.pdf
BibTeX: Download
, , , , :
Dynamic Function Splicing in Jackal (Diploma thesis, 2003)
URL: http://www2.informatik.uni-erlangen.de/publication/download/DA.pdf
BibTeX: Download
:
Development of methods how to avoid the overfitting-effect within the GeLog-system
7th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES'2003) (Oxford, 03.09.2003 - 05.09.2003)
In: Vasile Palade, Robert J. Howlett, Lakhmi Jain (ed.): Knowledge-Based Intelligent Information and Engineering Systems - 7th International Conference, KES 2003, Berlin Heidelberg: 2003
DOI: 10.1007/978-3-540-45226-3_131
URL: http://www2.informatik.uni-erlangen.de/publication/download/KES2003.ps.gz
BibTeX: Download
:
Erfolge und Probleme evolutionärer Algorithmen, induktiver logischer Programmierung und ihrer Kombination (Habilitation, 2003)
BibTeX: Download
:
XML-based specification of diagram editors
Proc. Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'03) (Warschau, 05.04.2003 - 06.04.2003)
In: Bardohl, R. ; Ehrig, Hartmut (ed.): UNIGRA'03 Proc. Uniform Approaches to Graphical Process Specification Techniques (Satellite Event for ETAPS 2003), Amsterdam, NL: 2003
DOI: 10.1016/S1571-0661(04)80750-3
URL: http://www2.informatik.uni-erlangen.de/publication/download/Unigra03.pdf
BibTeX: Download
:
Systemsynthese hierarchischer Prozessgraphen für rekonfigurierbare Hardware (Diploma thesis, 2003)
BibTeX: Download
:
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
8th International Workshop on Formal Methodes for Parallel Programming: Theory and Applications (FMPPTA) (Nizza, 26.04.2003 - 26.04.2003)
In: Proceedings of 17th International Parallel and Distributed Processing Symposium (IPDPS) 2003
DOI: 10.1109/IPDPS.2003.1213433
URL: http://www2.informatik.uni-erlangen.de/publication/download/proto_proof.pdf
BibTeX: Download
, , , :
A Controlled experiment on inheritance depth as a cost factor for maintenance
In: Journal of Systems and Software 65 (2003), p. 115-126
ISSN: 0164-1212
DOI: 10.1016/S0164-1212(02)00053-5
URL: http://pswt.informatik.uni-erlangen.de/publication/download/jss.pdf
BibTeX: Download
, , , :
Ein sprachunabhängiger Ansatz zur Entwicklung deklarativer, robuster LA-Grammatiken mit einer exemplarischen Anwendung auf das Deutsche und das Englische (Dissertation, 2003)
BibTeX: Download
:
Will Darwins's Law Help Us to Improve Our Resist Models?
Advances in Resist Technology and Processing, SPIE 5039 (Santa Clara, CA, 23.02.2003 - 23.02.2003)
In: Theodore H. Fedynyshyn (ed.): Advances in Resist Technology and Processing XX 2003
DOI: 10.1117/12.485078
URL: http://www2.informatik.uni-erlangen.de/publication/download/spie5039-33.pdf
BibTeX: Download
, , , , , , :
A graphical user interface for evolutionary algorithms
In: Acta Cybernetica 16 (2003), p. 337-365
ISSN: 0324-721X
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=0344736897&origin=inward
BibTeX: Download
:
Compiler Optimized Remote Method Invocation
5th IEEE Conf. on Cluster Computing (CC 2003) (Hong Kong, 01.12.2003 - 04.12.2003)
In: Proc. 5th IEEE Conf. on Cluster Computing 2003
DOI: 10.1109/CLUSTR.2003.1253308
URL: http://www2.informatik.uni-erlangen.de/publication/download/cc2003.pdf
BibTeX: Download
, :
Avoiding syntactically incorrect individuals via parameterized operators applied on derivation trees
2003 Congress on Evolutionary Computation, CEC 2003 (Canberra, ACT, Australia, 08.12.2003 - 12.12.2003)
In: Sarker, R. ; Kazi, F. M. A. (ed.): Proceedings of the 2003 Congress on Evolutionary Computation (CEC 2003) 2003
DOI: 10.1109/CEC.2003.1299442
BibTeX: Download
, :
2002
Inter-Task Register-Allocation for Static Operating Systems
Joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems (LCTES/SCOPES '02) (Berlin, 19.06.2002 - 21.06.2002)
In: Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems (LCTES/SCOPES '02) 2002
DOI: 10.1145/566225.513855
URL: http://www2.informatik.uni-erlangen.de/publication/download/p10-barthelmann.pdf
BibTeX: Download
:
Integrierte Hardware- und Softwareplanung flexibler Fertigungssysteme (Dissertation, 2002)
BibTeX: Download
:
Constructing shapely nested graph transformations
APPLIGRAPH Workshop on Applied Graph Transformation (AGT'2002) (Grenoble, 12.04.2002 - 13.02.2002)
In: Kreowski, Hans-Jörg ; Plump, Detlef (ed.): AGT'2002 Proc. APPLIGRAPH Workshop on Applied Graph Transformation (Satellite Event to ETAPS 2002) 2002
URL: http://www2.informatik.uni-erlangen.de/publication/download/AGT2002.ps.gz
BibTeX: Download
, , :
Context-exploiting shapes for diagram transformations
1st European Workshop on Diagrammatics and Design (D&D 2002) (Bielsko-Biala, 23.09.2002 - 24.09.2002)
In: Suwa, M. (ed.): 1st European Workshop on Diagrammatics and Design 2002
URL: http://www2.informatik.uni-erlangen.de/publication/download/DuD02-abs.pdf
BibTeX: Download
, , :
Steuerungsentwurf mit Petrinetzen
In: SPS-Magazin : Zeitschrift für Automatisierungstechnik 4/5 (2002), p. 44-47
ISSN: 0935-0187
BibTeX: Download
, , :
Incorporating Linkage Learning into the GeLog Framework
Third Conference of PhD Students in Computer Science CS² (Szeged, Hungary, 01.07.2002 - 14.07.2002)
In: Proc. 3rd Conference of PhD Students in Computer Science, CS², Szeged: 2002
BibTeX: Download
, :
Structural Coverage Criteria for Testing Object-Oriented Software (Dissertation, 2002)
BibTeX: Download
:
Expansion of the GeLog System by Automatic Adaption of Parameters
2nd WSEAS Int. Conf. on Scientific Computation and Soft Computing (Rethymnon, Kreta, 07.07.2002 - 14.07.2002)
In: Proc. 2nd WSEAS International Conference on Scientific Computation and Soft Computing 2002
URL: http://www2.informatik.uni-erlangen.de/publication/download/kreta_gelog.ps.gz
BibTeX: Download
:
Ausarbeitung und Implementierung von Methoden um den Overfitting-Effekt im GeLog-System zu vermeiden
Lehren - Lernen - Aktivität, Learning Lab Lower Saxony (Hannover, 07.10.2002 - 09.10.2002)
In: Kókai, Gabriella ; Zeidler, Jens (ed.): Treffen der Fachgruppe Maschinelles Lernen, Wissensentdeckung, Data Mining der Gesellschaft für Informatik (FGML 2002) 2002
URL: http://www2.informatik.uni-erlangen.de/publication/download/GELOG2002.ps.gz
BibTeX: Download
, :
An Experimental Comparison of Genetic and Classical Concept Learning Methods
Genetic and Evolutionary Computation Conference (GECCO 2002) (New York, NY, 09.07.2002 - 13.07.2002)
In: Langdon, W.; Cantu-Paz, E.; Mathias, K.; Roy, R.; Davis, D.; Poli, R.; Balakrishnan, K.; Honavar, V.; Rudolph, G.; Wegener, J.; Bull, L.; Potter, M.; Schultz, A.; Miller, J.; Burke, E.; Jonoska, N. (ed.): Proceedings of the 2002 Genetic and Evolutionary Computation Conference (GECCO 2002) 2002
URL: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2002/LCS051.pdf
BibTeX: Download
, , :
Structure, abstraction and direct manipulation in diagram editors
2nd Intl. Conf. Diagrams 2002 (Callaway Gardens, GA, 18.04.2002 - 20.04.2002)
In: Hegarty, M. ; Meyer, B. ; Narayanan, N. (ed.): Diagrammatic Representation and Inference Second International Conference, Diagrams 2002, Berlin Heidelberg: 2002
DOI: 10.1007/3-540-46037-3
URL: http://www2.informatik.uni-erlangen.de/publication/download/Diagrams2002.ps.gz
BibTeX: Download
, :- Leuchtenberger D., Fischer Ingrid, Eitschberger M.,:
Mädchen + Technik Praktikum 2001: Technisch-Naturwissenschaftliches Schnupperpraktikum für Schülerinnen
(2002)
BibTeX: Download
(anderer)
Concepts and realization of a diagram editor generator based on hypergraph transformation
In: Science of Computer Programming 44 (2002), p. 157-180
ISSN: 0167-6423
DOI: 10.1016/S0167-6423(02)00037-0
BibTeX: Download
:
Specifying diagram languages by means of hypergraph grammars
Thinking with Diagrams '98 (Aberystwyth, UK, 22.08.1993 - 23.08.1993)
In: Michael Anderson ; Bernd Meyer ; Patrick Olivier (ed.): Diagrammatic representation and reasoning, London: 2002
DOI: 10.1007/978-1-4471-0109-3_32
URL: http://www2.informatik.uni-erlangen.de/publication/download/TwD98.pdf
BibTeX: Download
:
Specifying graph-like diagrams with DiaGen
International Workshop on Graph Based Tools (GraBaTs 2002) (Barcelona, 07.10.2002 - 08.10.2002)
In: Mens, T. ; Schürr, A. ; Taentzer, Gabi (ed.): Proc. International Workshop on Graph-Based Tools (GraBaTs'02), Amsterdam: 2002
DOI: 10.1016/S1571-0661(05)80761-3
URL: http://www2.informatik.uni-erlangen.de/publication/download/GraBaTs02.pdf
BibTeX: Download
:
Visual PLC-programming using signal interpreted petri nets
American Control Conference 2002 (ACC 2002) (Anchorage, AK, 08.05.2002 - 10.05.2002)
In: Proc. of the American Control Conference 2002 2002
DOI: 10.1109/ACC.2002.1025461
URL: http://www2.informatik.uni-erlangen.de/publication/download/ACC2002.pdf
BibTeX: Download
, :
Unparsing of diagrams with DiaGen
International Conference on Graph Transformation (ICGT 2002) (Barcelona, 07.10.2002 - 12.10.2002)
In: Corradini, A. ; Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (ed.): Graph Transformation - First International Conference, ICGT 2002, Berlin Heidelberg: 2002
DOI: 10.1007/3-540-45832-8
URL: http://www2.informatik.uni-erlangen.de/publication/download/ICGT02.ps.gz
BibTeX: Download
, :
Internetwahlen: Demokratische Wahlen über das Internet?
In: Informatik-Spektrum 25 (2002), p. 138-150
ISSN: 0170-6012
DOI: 10.1007/s002870200216
URL: http://www2.informatik.uni-erlangen.de/publication/download/wahlen.pdf
BibTeX: Download
:
Finding plagiarisms among a set of programs with JPlag
In: Journal of Universal Computer Science 8 (2002), p. 1016-1038
ISSN: 0948-695X
DOI: 10.3217/jucs-008-11-1016
URL: http://pswt.informatik.uni-erlangen.de/publication/download/jplag.pdf
BibTeX: Download
, , :
Two controlled experiments assessing the usefulness of design pattern documentation during program maintenance
In: IEEE Transactions on Software Engineering 28 (2002), p. 595-606
ISSN: 0098-5589
DOI: 10.1109/TSE.2002.1010061
URL: http://pswt.informatik.uni-erlangen.de/publication/download/patdoc_tse2001.pdf
BibTeX: Download
, , , :
Extracting Collocations from Syntactically Annotated Corpora
Treffen der Fachgruppe Maschinelles Lernen, Wissensentdeckung, Data Mining der Gesellschaft für Informatik (FGML 2002) (Hannover, 07.10.2002 - 09.10.2002)
In: Kókai, Gabriella ; Zeidler, Jens (ed.): Treffen der Fachgruppe Maschinelles Lernen, Wissensentdeckung, Data Mining der Gesellschaft für Informatik (FGML 2002) 2002
URL: http://www2.informatik.uni-erlangen.de/publication/download/FGML02.pdf
BibTeX: Download
, , :
A Graphical User Interface for Evolutionary Algorithms
Conference of PhD Students in Computer Science CS² (Szeged, Hungary, 01.07.2002 - 04.07.2002)
In: Csendes, T. (ed.): Proceedings of the Conference of PhD Students in Computer Science CS² 2002
BibTeX: Download
:
Object Combining: A new aggressive optimization for Object Intensive Programs
ACM JavaGrande ISCOPE 2002 Conference (Seattle, WA, 03.11.2002 - 05.11.2002)
In: Proceeding JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, New York: 2002
DOI: 10.1145/583810.583829
URL: http://www2.informatik.uni-erlangen.de/publication/download/jg02-jackal.ps
BibTeX: Download
, , , :
A Hybrid Genetic Algorithm for School Timetabling
AI2002 15th Australian Joint Conference on Artificial Intelligence (Canberra, 02.12.2002 - 06.12.2002)
In: Mc Kay B., Slaney J. (ed.): AI 2002: Advances in Artificial Intelligence - 15th Australian Joint Conference on Artificial Intelligence, Berlin Heidelberg: 2002
DOI: 10.1007/3-540-36187-1_40
URL: http://www2.informatik.uni-erlangen.de/publication/download/AI02.ps.gz
BibTeX: Download
, , :
LAG System: Attribute Grammar Specification via Inductive Learning
Lehren - Lernen - Adaptivität, Learning Lab Lower Saxony (Hannover, Germany, 07.10.2002 - 09.10.2002)
In: Kókai, Gabriella ; Zeidler, Jens (ed.): Treffen der Fachgruppe maschinelles Lernen der Gesellschaft für Informatik (FGML 2002) 2002
BibTeX: Download
:
2001
Java and numerical computing
In: Computing in Science & Engineering 3 (2001), p. 18-24
ISSN: 1521-9615
DOI: 10.1109/5992.908997
URL: http://www2.informatik.uni-erlangen.de/publication/download/cise-ron.pdf
BibTeX: Download
, , , :
Internet-based development of logic controllers using signal interpreted Petrinets and IEC 61131
5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001) (Orlando, FL, 22.07.2001 - 25.07.2001)
In: Callaos, Nagib ; da Silva, Ivan Nunes ; Molero, Jorge (ed.): Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001) 2001
URL: http://www2.informatik.uni-erlangen.de/publication/download/Sci2001.pdf
BibTeX: Download
, :
Integration von Petrinetzen in den Steuerungsentwurf nach IEC 61131
SPS/IPC/Drives 2001 (Nürnberg, 27.11.2001 - 29.11.2001)
In: Tagungsband SPS/IPC/Drives 2001 2001
URL: http://www2.informatik.uni-erlangen.de/publication/download/SPS-Drives2001.pdf
BibTeX: Download
, , :
Java communications for large-scale parallel computing
3rd International Conference on Large-Scale Scientific Computations (Sozopol/Bulgaria, 06.06.2001 - 10.06.2001)
In: Marbenov, S. ; Wasniewski, J. ; Yalamov, P. (ed.): Large-Scale Scientific Computing, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-45346-6_3
URL: http://www2.informatik.uni-erlangen.de/publication/download/scicomp-getov.pdf
BibTeX: Download
, :
Multiparadigm communications in Java for Grid computing
In: Communications of the ACM 44 (2001), p. 118-125
ISSN: 0001-0782
DOI: 10.1145/383845.383872
URL: http://www2.informatik.uni-erlangen.de/publication/download/cacm-getov.pdf
BibTeX: Download
, , , :
Optimizing Employee Schedules by a Hybrid Genetic Algorithm
EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM (Como, 18.04.2001 - 20.04.2001)
In: Boers Egbert J.W., Gottlieb Jens, Lanzi Pier Luca, Smith Robert E., Cagnoni Stefano, Hart Emma, Raidl Günther R., Tijink H. (ed.): Applications of Evolutionary Computing EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-45365-2
URL: http://www2.informatik.uni-erlangen.de/publication/download/EvoSTIM2001_Groebner.ps.gz
BibTeX: Download
, :
Rostering with a Hybrid Genetic Algorithm
5th International Conference on Artificial Neural Networks and Genetic Algorithms (ICANNGA 2001) (Prague, 22.04.2001 - 25.04.2001)
In: Kurkova Vera, Steele Nigel C., Neruda Roman, Karny Miroslav (ed.): Artificial Neural Nets and Genetic Algorithms Proceedings of the International Conference, Berlin Heidelberg: 2001
DOI: 10.1007/978-3-7091-6230-9
URL: http://www2.informatik.uni-erlangen.de/publication/download/ICANNGA2001_Groebner.ps.gz
BibTeX: Download
, :
Exploiting object locality in JavaParty, a distributed computing environment for workstation clusters
9th Intl. Workshop on Compiler for Parallel Computers (CPC 2001) (Edinburgh, Scotland/UK, 27.06.2001 - 29.06.2001)
In: O'Boyle, Michael ; Fursin, Grigori ; Ashby, Tom ; Franke, Bjoern ; Long, Shun (ed.): Proceedings of the 9th Intl. Workshop on Compiler for Parallel Computers (CPC 2001) 2001
URL: http://www2.informatik.uni-erlangen.de/publication/download/jp-local-calls.pdf
BibTeX: Download
, :
Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen (Dissertation, 2001)
BibTeX: Download
:
Transformation of shaped nested graphs and diagrams
RULE 2001, affil. with "Principles, Logics, and Implementations of High-Level Programming Language" PLI 2001 (Florenze, Italy, 04.09.2001 - 04.09.2001)
In: van den Brand, M. ; Verma, R. (ed.): Proc. 2nd International Workshop on Rule-based Programming, Amsterdam: 2001
DOI: 10.1016/S1571-0661(04)00294-4
URL: http://www2.informatik.uni-erlangen.de/publication/download/RULE2001.pdf
BibTeX: Download
, :
Illustrating Evolutionary Computation with Mathematica
San Francisco: Morgan Kaufmann Publishers, 2001
ISBN: 978-1558606371
URL: http://pages.cpsc.ucalgary.ca/~jacob/IEC/IEC%20Main%20Page/IEC%20Main%20Page.htm
BibTeX: Download
:
GeLog - A System Combining Genetic Algorithm with Inductive Logic Programming
International Conference on Computational Intelligence, 7th Fuzzy Days (Dortmund, 01.10.2001 - 03.10.2001)
In: Reusch, B. (ed.): Computational Intelligence. Theory and Applications - International Conference, 7th Fuzzy Days, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-45493-4
URL: http://www2.informatik.uni-erlangen.de/publication/download/GeLog-paper_DA.ps.gz
BibTeX: Download
:
Giving Structural Descriptions of Tree-like Objects from Binary Images Using Genetic Programming
Genetic and Evolutionary Computation Conference (GECCO 2001) (San Fransisco, CA, 07.07.2001 - 11.07.2001)
In: Spector, Lee ; Goodman, Erik D. ; Wu, Annie ; Langdon, William B. ; Voigt, Hans-Michael ; Gen, Mitsuo ; Sen, Sandip ; Dorigo, Marco ; Pezeshk, Shahram ; Garzon, Max H. ; Burke, Edmund K. (ed.): Proceedings of the 2001 Genetic and Evolutionary Computation Conference (GECCO 2001), San Francisco: 2001
URL: http://www2.informatik.uni-erlangen.de/publication/download/gecco2001a.ps.gz
BibTeX: Download
, :
Abstraction in graph-transformation based diagram editors
Second International Workshop on Graph Transformation and Visual Modeling Techniques (Crete, Greece, 12.07.2001 - 13.07.2001)
In: Second International Workshop on Graph Transformation and Visual Modeling Techniques, Amsterdam: 2001
DOI: 10.1016/S1571-0661(04)00182-3
URL: http://www2.informatik.uni-erlangen.de/publication/download/RULE2001.pdf
BibTeX: Download
, :
Efficient Java RMI for Parallel Programming
In: Acm Transactions on Programming Languages and Systems 23 (2001), p. 747-775
ISSN: 0164-0925
DOI: 10.1145/506315.506317
URL: http://www2.informatik.uni-erlangen.de/publication/download/toplas_manta01.ps.Z
BibTeX: Download
, , , , , , :
Specifying diagram languages by means of hypertraph grammars
In: Anderson, M. ; Meyer, B. ; Olivier, P. (ed.): Diagrammatic Representation and Reasoning, London: Springer, 2001, p. 565-579
ISBN: 1-85233-242-5
DOI: 10.1007/978-1-4471-0109-3
URL: http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-0-22-2094610-0,00.html
BibTeX: Download
:
Spezifikation und Generierung graphischer Diagrammeditoren (Habilitation, 2001)
BibTeX: Download
:
Specifying and implementing visual process modeling languages with DiaGen
UNIGRA 2001, Uniform Approaches to Graphical Process Specification Techniques (a Satellite Event of ETAPS 2001) (Genova, Italy, 31.03.2001 - 01.04.2001)
In: Ehrig, Hartmut ; Ermel, C. ; Padberg, J. (ed.): Specifying and implementing visual process modeling languages with diagen, Amsterdam: 2001
DOI: 10.1016/S1571-0661(04)80944-7
URL: http://www2.informatik.uni-erlangen.de/publication/download/Unigra01.ps.gz
BibTeX: Download
, :
Implementierung eines evolutionären Verfahrens zur Risikoabschätzung (Diploma thesis, 2001)
BibTeX: Download
:
Stundenplanerstellung für Schulen mit Evolutionären Verfahren (Mid-study thesis, 2001)
BibTeX: Download
:
Leistungsaspekte Paralleller Objektorientierter Programmiersprachen (Habilitation, 2001)
BibTeX: Download
:
Verschiedene Realisierungsmöglichkeiten für komplexe Zahlen in Java im Vergleich
In: it + ti - Informationstechnik und Technische Informatik 43 (2001), p. 159-165
ISSN: 0944-2774
DOI: 10.1524/itit.2001.43.3.159
URL: http://www2.informatik.uni-erlangen.de/publication/download/complex-itti.pdf
BibTeX: Download
:
JavaGrande - High Performance Computing with Java
Workshop on Applied Parallel Computing, New Paradigms for HPC in Industry and Academia (Para2000) (Bergen, Norway, 18.06.2000 - 21.06.2000)
In: Sørevik, Tor ; Manne, Fredrik ; Moe, Randi ; Gebremedhin, Assefaw Hadish (ed.): Applied Parallel Computing. New Paradigms for HPC in Industry and Academia, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-70734-4_5
BibTeX: Download
, , , , , , :
Computability in an Introductory Course on Programming
In: Bulletin of the European Association for Theoretical Computer Science, EATCS 73 (2001), p. 153-164
ISSN: 0252–9742
URL: http://www2.informatik.uni-erlangen.de/publication/download/comput.pdf
BibTeX: Download
:
An evolutionary optimum searching tool
14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 (Budapest, 04.06.2001 - 07.06.2001)
In: Monostori, Laszlo, Vancza, Jozsef, Ali, Moonis (ed.): Engineering of Intelligent Systems 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-45517-5
BibTeX: Download
, :
An Experimental Evaluation of the Genetic Evolutionary Algorithms Programming Library
Treffen der Fachgruppe maschinelles Lernen der Gesellschaft für Informatik (FGML 2001) (Dortmund, 08.10.2001 - 10.10.2001)
In: Klinkenberg, Ralf (ed.): Treffen der Fachgruppe maschinelles Lernen der Gesellschaft für Informatik (FGML 2002) 2001
BibTeX: Download
, :- Veldema Ronald, Bhoedjang R. A. F., Hofman R. F. H., Hofman C. J. H., Bal H. E.:
Runtime Optimizations for a Java DSM Implementation
ACM-ISCOPE conference on Java Grande (JGI'01) (Standford, CA, 02.06.2001 - 04.06.2001)
In: Proceeding JGI '01 Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, New York: 2001
DOI: 10.1145/376656.376842
URL: http://www2.informatik.uni-erlangen.de/publication/download/javagrande2001-ronald.ps
BibTeX: Download
Source-Level Global Optimizations for Fine-Grain Distributed Shared Memory Systems
8th ACM SIGPLAN symposium on Principles and practices of parallel programming (PPoPP 2001) (Snowbird, UT, 18.06.2001 - 20.06.2001)
In: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practices of parallel programming (PPoPP 2001), New York: 2001
DOI: 10.1145/379539.379578
URL: http://www2.informatik.uni-erlangen.de/publication/download/ppopp01-ronald.ps.gz
BibTeX: Download
, , , , :
Optimizing Java specific overheads, Java at the speed of C?
9th International Conference, HPCN Europe 2001 (Amsterdam, 25.06.2001 - 27.06.2001)
In: Bob Hertzberger, Alfons Hoekstra, Roy Williams (ed.): High-Performance Computing and Networking - 9th International Conference, HPCN Europe 2001, Berlin Heidelberg: 2001
DOI: 10.1007/3-540-48228-8_78
URL: http://www2.informatik.uni-erlangen.de/publication/download/hpcn01.pdf
BibTeX: Download
, , :
Verteilte Konfigurationsverwaltung im Kontext des Software Engineering Porzesses (Dissertation, 2001)
BibTeX: Download
:
Flexible wireless communication network for mobile robot agents
In: Industrial Robot: An International Journal 28 (2001), p. 220-232
ISSN: 0143-991X
DOI: 10.1108/01439910110389380
BibTeX: Download
, :
Using decision trees to infer semantic functions of attribute grammars
In: Acta Cybernetica 15 (2001), p. 279-304
ISSN: 0324-721X
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=0035198320&origin=inward
BibTeX: Download
, :
2000
Understanding Idioms
KONVENS 2000 / SPRACHKOMMUNIKATION, 5. Konferenz zur Verarbeitung natürlicher Sprache - 9. ITG-Fachtagung Sprachkommunikation (Ilmenau, 09.10.2000 - 12.10.2000)
In: Zühlke, W. ; Schukat-Talamazzini, E. (ed.): Proc. 5. Konferenz zur Verarbeitung natürlicher Sprache - 9. ITG-Fachtagung Sprachkommunikation, Berlin: 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/konvens.ps.gz
BibTeX: Download
, :
Mädchen + Technik Praktikum 2000, Technisch-Naturwissenschaftliches Schnupperpraktikum für Schülerinnen
(2000)
BibTeX: Download
(anderer)
, , :
Attributed Graph Transformation with Partial Attribution
Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000) (Berlin, 25.03.2000 - 27.03.2000)
In: Ehrig, Hartmut ; Taentzer, Gabi (ed.): Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Berlin: 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/AttrNN.ps.gz
BibTeX: Download
, , :
Learning and Rewriting in Fuzzy Rule Nets
International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999) (Kerkrade, Netherlands, 01.09.1999 - 03.09.1999)
In: Nagl, Manfred ; Schürr, A. ; Münch, M. (ed.): Applications of Graph Transformations with Industrial Relevance - International Workshop (AGTIVE’99), Berlin Heidelberg: 2000
DOI: 10.1007/3-540-45104-8_21
URL: http://www2.informatik.uni-erlangen.de/publication/download/agtive99.ps.gz
BibTeX: Download
, , :
Editing, visualizing, and implementing signal interpreted petri nets
7. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'2000) (Koblenz, 02.10.2000 - 03.10.2000)
In: Proc. 7. Workshop Algorithmen und Werkzeuge für Petrinetze, Koblenz: 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/awpn2000.ps.gz
BibTeX: Download
, :
Complex numbers for Java
In: Concurrency Practice and Experience 12 (2000), p. 477-491
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200005)12:63.0.CO;2-W
URL: http://www2.informatik.uni-erlangen.de/publication/download/complexe.pdf
BibTeX: Download
, :
A generic model for diagram syntax and semantics
GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (ICALP Workshop) (Genova, Switzerland, 15.07.2000 - 16.07.2000)
In: Rolim, José (ed.): Proceedings of the ICALP Workshops on Graph Transformation and Visual Modelling Techniques (GT-VMT'2002), Waterloo, Onterio/CA: 2000
URL: http://www.di.unipi.it/~andrea/Workshops/ICALP2K-Satellite/GT-VMT.html
BibTeX: Download
, :
Towards generic rule-based visual programming
IEEE Symposium on Visual Languages (VL 2000) (Seattle, WA, 10.09.2000 - 13.09.2000)
In: Proc. IEEE Symposium on Visual Languages 2000, Los Alamitos: 2000
DOI: 10.1109/VL.2000.874354
URL: http://www2.informatik.uni-erlangen.de/publication/download/vl00.pdf
BibTeX: Download
, :
Towards rule-based visual programming of generic visual systems
First International Workshop on Rule-Based Programming (RULE 2000) (Montreal, Canada, 19.09.2000 - 19.09.2000)
In: Dershowitz, Nachum ; Kirchner, Claude (ed.): Proc. of the First International Workshop on Rule-Based Programming (RULE 2000) 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/RULE2000.pdf
BibTeX: Download
, :
Über generisches visuelles Programmieren
Softwarevisualisierung 2000 (Schloß Dagstuhl, Wadern, 11.05.2000 - 12.05.2000)
In: Diehl, S. ; Kerren, A. (ed.): Tagungsband des GI-Workshops Softwarevisualisierung 2000 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/SV2000.ps.gz
BibTeX: Download
, :
Ein genetisch logisches Programmiersystem
Treffen der Fachgruppe maschinelles Lernen der Gesellschaft für Informatik (FGML 2000) (Sankt Augustin, 18.09.2000 - 20.09.2000)
In: Leopold, E. ; Kirsten, M. (ed.): Treffen der Fachgruppe maschinelles Lernen der Gesellschaft für Informatik (FGML 2000) 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/GeLog-paper_DA.ps.gz
BibTeX: Download
, , :
Generating diagram editors providing free-hand editing as well as syntax-directed editing
Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000) (Berlin, 25.03.2000 - 27.03.2000)
In: Ehrig, Hartmut ; Taentzer, Gabi (ed.): Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Berlin: 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/GraTra2000.pdf
BibTeX: Download
, :
Hypergraphs as a uniform diagram representation model
6th International Workshop on Theory and Application of Graph Transformations (TAGT'98) (Paderborn, 16.11.1998 - 20.11.1998)
In: Ehrig, Hartmut ; Engels, Gregor ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (ed.): Theory and Application of Graph Transformations - 6th International Workshop (TAGT’98), Berlin Heidelberg: 2000
DOI: 10.1007/978-3-540-46464-8_20
URL: http://www2.informatik.uni-erlangen.de/publication/download/tagt98.pdf
BibTeX: Download
:
Creating semantic representations of diagrams
International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999) (Kerkrade, Netherlands, 01.09.1999 - 03.09.1999)
In: Nagl, Manfred ; Schürr, A. ; Münch, M. (ed.): Applications of Graph Transformations with Industrial Relevance - International Workshop (AGTIVE’99), Berlin Heidelberg: 2000
DOI: 10.1007/3-540-45104-8_15
URL: http://www2.informatik.uni-erlangen.de/publication/download/AGTIVE99.pdf
BibTeX: Download
, :
Generating diagram editors with DiaGen
International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999) (Kerkrade, Netherlands, 01.09.1999 - 03.09.1999)
In: Nagl, Manfred ; Schürr, A. ; Münch, M. (ed.): Applications of Graph Transformations with Industrial Relevance - International Workshop (AGTIVE’99), Berlin Heidelberg: 2000
DOI: 10.1007/3-540-45104-8_35
URL: http://www2.informatik.uni-erlangen.de/publication/download/AGTIVE99-demo.pdf
BibTeX: Download
, :
A survey on concurrent object-oriented languages
In: Concurrency and Computation-Practice & Experience 12 (2000), p. 917-980
ISSN: 1532-0626
DOI: 10.1002/1096-9128(20000825)12:103.0.CO;2-F
URL: http://www2.informatik.uni-erlangen.de/publication/download/cool-survey.pdf
BibTeX: Download
:
Cooperating distributed garbage collectors for clusters and beyond
In: Concurrency Practice and Experience 12 (2000), p. 595-610
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200005)12:73.0.CO;2-D
URL: http://www2.informatik.uni-erlangen.de/publication/download/dgc.pdf
BibTeX: Download
:
Cooperating distributed garbage collectors for clusters and beyond
8th Workshop on Compilers for Parallel Computers (CPC 2000) (Aussois, France, 04.01.2000 - 07.01.2000)
In: Proceedings of the 8th Workshop on Compilers for Parallel Computers (CPC 2000) 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/dgc.pdf
BibTeX: Download
:
JavaGrande: Hochleistungsrechnen mit Java
OOP'2000 (München)
In: Proc. Objekt-Orientiertes Programmieren, -: 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/oop00.pdf
BibTeX: Download
:
JavaGrande - Hochleistungsrechnen mit Java
In: Informatik-Spektrum 23 (2000), p. 79-89
ISSN: 0170-6012
DOI: 10.1007/s002870050153
URL: http://www2.informatik.uni-erlangen.de/publication/download/jgf.pdf
BibTeX: Download
:
Locality optimization in JavaParty by means of static type analysis
In: Concurrency Practice and Experience 12 (2000), p. 613-628
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200007)12:83.0.CO;2-G
URL: http://www2.informatik.uni-erlangen.de/publication/download/static.pdf
BibTeX: Download
, :
More efficient serialization and RMI for Java
In: Concurrency Practice and Experience 12 (2000), p. 495-518
ISSN: 1040-3108
DOI: 10.1002/1096-9128(200005)12:73.0.CO;2-W
URL: http://www2.informatik.uni-erlangen.de/publication/download/serialrmi.pdf
BibTeX: Download
, , :
JPlag: Finding plagiarisms among a set of programs
(2000)
BibTeX: Download
(Techreport)
, , :
Graph transformations - Where they come from and where they should go
Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000) (Berlin, 25.03.2000 - 27.03.2000)
In: Ehrig, Hartmut ; Taentzer, Gabi (ed.): Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Berlin: 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_appligraph2000.pdf
BibTeX: Download
:
The joy of teaching theoretical computer science or Teaching Theoretical Computer Science to Would-Be Hackers
In: Bulletin of the European Association for Theoretical Computer Science, EATCS 70 (2000), p. 165-166
ISSN: 0252–9742
URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_beatcs2000.pdf
BibTeX: Download
:
Local Views on Distributed Systems and their Communications
6th International Workshop on Theory and Application of Graph Transformations (TAGT'98) (Paderborn, 16.11.1998 - 20.11.1998)
In: Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Theory and Application of Graph Transformations - 6th International Workshop (TAGT’98), Berlin Heidelberg: 2000
DOI: 10.1007/978-3-540-46464-8_12
URL: http://www2.informatik.uni-erlangen.de/publication/download/TAGT.ps.gz
BibTeX: Download
, , :
Time Series Prediction for Workforce Management Systems for Call Centres
Second ICSC Symposium on Neural Computation (NC2000) (Berlin, 23.05.2000 - 26.05.2000)
In: Bothe H., Rojas R. (ed.): Proc. Second ICSC Symposium on Neural Computation NC2000 2000
BibTeX: Download
, :
1999
Application of graph transformation to visual languages
In: Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific Publisher, 1999, p. 105-180 (Applications, Languages and Tools, Vol.2)
ISBN: 978-981-02-4020-2
DOI: 10.1142/9789812815149_0003
BibTeX: Download
, , , :
Irregular parallel algorithms in Java
6th Int. Workshop on Solving Irregularly Structured Problems in Parallel (San Juan, Puerto Rico, USA, 12.04.1999 - 16.04.1999)
In: Rolim, José (ed.): Parallel and Distributed Processing, Berlin Heidelberg: 1999
DOI: 10.1007/BFb0097988
URL: http://www2.informatik.uni-erlangen.de/publication/download/irregular99.pdf
BibTeX: Download
, , :
Describing Neural Networks with Graph Transformations (Dissertation, 1999)
BibTeX: Download
:
Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation
9. GI/ITG-Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme (FBT99) (München)
In: Spies, Katharina ; Schätz, Bernhard (ed.): Formale Beschreibungstechniken für verteilte Systeme - 9. GI/ITG Fachgespräch, München: 1999
URL: http://www2.informatik.uni-erlangen.de/publication/download/fbts.pdf
BibTeX: Download
, :
Fair multi-branch locking of several locks
In: International Journal of Parallel and Distributed Systems and Networks 2 (1999), p. 17-26
ISSN: 1206-2138
URL: http://www2.informatik.uni-erlangen.de/publication/download/locks.pdf
BibTeX: Download
, :
Java as a basis for parallel data mining in workstation clusters
7th International Conference on High-Performance Computing and Networking (HPCN) (Amsterdam, NL, 12.04.1999 - 14.04.1999)
In: Sloot, P. ; Bubak, M. ; Hoekstra, Alfons G. ; Hertzberger, B. (ed.): Proc. 7th International Conference on High Performance Computing and Networking (HPCN Europe), Berlin Heidelberg: 1999
DOI: 10.1007/BFb0100648
URL: http://www2.informatik.uni-erlangen.de/publication/download/dataminps.pdf
BibTeX: Download
, , , , :
Complex numbers for Java
3rd International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'99) (San Francisco/USA, 07.12.1999 - 10.12.1999)
In: Matsuoka, Satoshi ; Oldehoeft, Rodney R. ; Tholburn, Marydell (ed.): Computing in Object-Oriented Parallel Environments, Berlin Heidelberg: 1999
DOI: 10.1007/10704054_1
URL: https://www2.cs.fau.de/publication/download/complexe.pdf
BibTeX: Download
, :
Komplexe Zahlen für Java
Java-Informationstage JIT'99 (Düsseldorf, 20.09.1999 - 21.09.1999)
In: Cap, C. H. (ed.): Java-Informations-Tage JIT'99, Berlin Heidelberg: 1999
DOI: 10.1007/978-3-642-60247-4_24
URL: http://www2.informatik.uni-erlangen.de/publication/download/complexd.pdf
BibTeX: Download
, :
More efficient object serialization
6th Int. Workshop on Solving Irregularly Structured Problems in Parallel (San Jose, Puerto Rico/USA, 12.04.1999 - 16.04.1999)
In: Rolim, José (ed.): Parallel and Distributed Processing, Berlin Heidelberg: 1999
DOI: 10.1007/BFb0097962
URL: https://www2.cs.fau.de/publication/download/serialrmi.pdf
BibTeX: Download
, :
Stochastic Search Methods
In: Berthold, Michael R. ; Hand, D. J. (ed.): Intelligent Data Analysis - An Introduction, Berlin Heidelberg: Springer, 1999, p. 299-350
ISBN: 978-3-662-03971-7
DOI: 10.1007/978-3-662-03969-4_9
BibTeX: Download
:
Translating diagrams
(1999)
URL: http://www2.informatik.uni-erlangen.de/publication/download/tr-99.pdf
BibTeX: Download
(Techreport)
:
A more efficient RMI
ACM 1999 conference on Java Grande (San Francisco, CA, 12.06.1999 - 14.06.1999)
In: Fox, Geoffrey; Schauser, Klaus; Snir, Marc (ed.): Proceedings of the ACM 1999 conference on Java Grande, New York: 1999
DOI: 10.1145/304065.304117
URL: https://www2.cs.fau.de/publication/download/serialrmi.pdf
BibTeX: Download
, , :
JavaParty: Erfahrungen mit verteiltem und parallelem Programmieren in Java
OOP'99 (München)
In: Paulisch, Frances (ed.): Objekt-Orientiertes Programmieren, -: 1999
URL: http://www2.informatik.uni-erlangen.de/publication/download/oop99.pdf
BibTeX: Download
:
Effizientes RMI für Java
Java-Informations-Tage JIT'99 (Düsseldorf, 20.09.1999 - 21.09.1999)
In: Cap, C. H. (ed.): Java-Informations-Tage JIT'99, Berlin Heidelberg: 1999
DOI: 10.1007/978-3-642-60247-4_13
URL: http://www2.informatik.uni-erlangen.de/publication/download/rmi-german.pdf
BibTeX: Download
, , :
Java Entwicklungsumgebungen im Vergleich
(1999)
URL: http://www2.informatik.uni-erlangen.de/publication/download/idevergl.pdf
BibTeX: Download
(Techreport)
, , :
Describing systems of processes by means of high-level replacement
In: Ehrig, Hartmut ; Montanari, H. ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific Publisher, 1999, p. 401-450 (Concurrency, Parallelism, and Distribution, Vol.3)
ISBN: 978-981-02-4021-9
DOI: 10.1142/9789812814951_0007
URL: http://www2.informatik.uni-erlangen.de/publication/download/handbook.pdf
BibTeX: Download
:
Special Issue on Categorical Approaches to Computing by Graph Transformation
Dordrecht, The Netherlands: 1999
(Applied Categorical Structures, Vol. 7)
BibTeX: Download
, (ed.):
Distributed Graph Transformation with Application to Visual Design of Distributed Systems
In: Ehrig, Hartmut ; Montanari, U. ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Singapore: World Scientific Publisher, 1999, p. 269-340
ISBN: 978-981-02-4021-9
DOI: 10.1142/9789812814951_0005
BibTeX: Download
, , , :
Iterim Java Grande Forum Report
JGF-TR-4 (1999)
URL: http://www2.informatik.uni-erlangen.de/publication/download/jgf-tr-4-beta.pdf
BibTeX: Download
(Techreport)
, , , , , , , , , , :
1998
RESH - Rechnernetze als Supercomputer und Hochleistungsdatenbanken: Zwischenbericht
(1998)
URL: http://www2.informatik.uni-erlangen.de/publication/download/1998-23.pdf
BibTeX: Download
(Techreport)
, , , , , :
CeBIT'98 brachte wertvolle Kontakte zur Industrie
In: UNIKATH-Neues vom Campus der Universität Karslruhe, 1998, p. 24-25
BibTeX: Download
(Techreport)
, :
Building Lexicons out of a Database for Idioms
First International Conference on Language Resources and Evaluation (LREC 1998) (Granada, Spain, 28.05.1998 - 30.05.1998)
In: Rubio, Antonio ; Gallardo, Nativiad ; Castro, Rosa ; Tejada, Antonio (ed.): Proceedings of the First International Conference on Language Resources and Evaluation 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/lrec.pdf
BibTeX: Download
, :
A Database for Verbal Idioms
Conference of the European Association for Lexicography (Euralex'98) (Liège, Belgium, 04.08.1998 - 08.08.1998)
In: Fontenelle, Th. ; Hilismann, Ph. ; Michiels, A. ; Moulin, A. ; Theissen, S. (ed.): Proceedings of the Conference of the European Association for Lexicography (Euralex'98), Liège: 1998
Open Access: http://www.euralex.org/elx_proceedings/Euralex1998_1/Ricarda%20DORMEYER,%20Ingrid%20FISCHER%20&%20Martina%20KEILA%20Database%20for%20Verbal%20Idioms.pdf
URL: http://www2.informatik.uni-erlangen.de/publication/download/euralex98.ps.gz
BibTeX: Download
, , :
Formalizing Neural Networks
5. GI-Workshop Fuzzy-Neuro-Systems (FNS'98) (München, 18.03.1998 - 20.03.1998)
In: Brauer, Wilfried (ed.): Fuzzy-Neuro-Systeme'98 - Computational Intelligence - Proceedings of the 5. GI-Workshop Fuzzy-Neuro-Systems (FNS'98), Kaiserslautern: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/GI-Neuro.ps.gz
BibTeX: Download
, , :
Proving Properties of Neural Networks with Graph Transformations
IEEE International Joint Conference on Neural Networks (Anchorage, AK, 04.05.1998 - 09.05.1998)
In: Proceedings of the IEEE International Joint Conference on Neural Networks 1998
DOI: 10.1109/IJCNN.1998.682307
URL: http://www2.informatik.uni-erlangen.de/publication/download/ijcnn98a.ps.gz
BibTeX: Download
, , :
Showing the Equivalence of Two Training Algorithms - Part 1
IEEE International Joint Conference on Neural Networks (Anchorage, AK, 04.05.1998 - 09.05.1998)
In: Proceedings of the IEEE International Joint Conference on Neural Networks 1998
DOI: 10.1109/IJCNN.1998.682308
URL: http://www2.informatik.uni-erlangen.de/publication/download/ijcnn98b.ps.gz
BibTeX: Download
, , :
Showing the Equivalence of Two Training Algorithms - Part 2
IEEE International Joint Conference on Neural Networks (Anchorage, AK, 04.05.1998 - 09.05.1998)
In: Proceedings of the IEEE International Joint Conference on Neural Networks 1998
DOI: 10.1109/IJCNN.1998.682309
URL: http://www2.informatik.uni-erlangen.de/publication/download/ijcnn98c.ps.gz
BibTeX: Download
, , :
Visual Design of Distributed Object Systems by Graph Transformation
International Workshop on Communication Based Systems (Berlin)
In: Hommel, Günther (ed.): Proceedings International Workshop on Communication Based Systems, Berlin: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/gFKT98.ps.gz
BibTeX: Download
, , :
Vektorbasierte Neuronale Netze (Habilitation, 1998)
BibTeX: Download
:
Seminarbeiträge Cache-Optimierung
(1998)
URL: http://www2.informatik.uni-erlangen.de/publication/download/1998-05.pdf
BibTeX: Download
(Techreport)
, , :
Evolution and Coevolution of Developmental Programs
In: Computer Physics Communications 121-122 (1998), p. 46-50
ISSN: 0010-4655
DOI: 10.1016/S0010-4655(99)00277-5
URL: http://www.sciencedirect.com/science/article/pii/S0010465599002775
BibTeX: Download
:
Evolving Development Programs
Joint Conference of Information Sciences, 2nd Workshop on Frontiers of Evolutionary Algorithms (FEA'98) (Research Triangle Park, NC)
In: Proceedings of the 2nd Workshop on Frontiers of Evolutionary Algorithms (FEA'98) 1998
BibTeX: Download
:
Large-scale parallel geophysical algorithms in Java: A feasibility study
In: Concurrency and Computation-Practice & Experience 10 (1998), p. 1143-1154
ISSN: 1532-0626
DOI: 10.1002/(SICI)1096-9128(199809/11)10:11/133.0.CO;2-W
URL: http://www2.informatik.uni-erlangen.de/publication/download/veltran.pdf
BibTeX: Download
, , :
Large-scale parallel geophysical algorithms in Java: A feasibility study
In: Leading Edge (Tulsa, OK) 17 (1998), p. 1662-1666
ISSN: 1070-485X
URL: https://www2.cs.fau.de/publication/download/tle.pdf
BibTeX: Download
, , :
Large-scale parallel geophysical algorithms in Java: A feasibility study
ACM Workshop on Java for High-Performance Network Computing (Palo Alto, CA, 28.02.1998 - 01.03.1998)
In: Fox, Geoffrey C. (ed.): Proc. of the ACM Workshop on Java for High-Performance Network Computing, New York: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/veltran.pdf
BibTeX: Download
, , :
Large-scale parallel geophysical algorithms in Java: A feasibility study
1998 (1998), p. 32
BibTeX: Download
(Techreport)
, , :
Parallelizing large-scale geophysical algorithms in Java
Fourth International Conference on Mathematical and Numerical Aspects of Wave Propagation (Waves'98) (Golden, Colorado/USA, 01.06.1998 - 05.06.1998)
In: De Santro, John A. ; Cohen, Gary (ed.): Fourth International Conference on Mathematical and Numerical Aspects of Wave Propagation (Waves'98), Philadelphia PA: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/siamWP98.pdf
BibTeX: Download
, , :
The lexical entry of phrasal isioms
3rd International Symposium on Phraseology (ISP-3) (Stuttgart)
In: Heid, U. (ed.): Proceedings of the 3rd International Symposium on Phraseology (ISP-3), Stuttgart: 1998
BibTeX: Download
:
Graphtransformation zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle
9. Workshop Transaktionen und ihre Anwendung (Warnemünde, 28.01.1998 - 30.01.1998)
In: Flach, Guntram ; Heurer, Andreas ; Meyer, Holger (ed.): Beiträge zum 9. Workshop Transaktionen und ihre Anwendung 1998
BibTeX: Download
, , :
Debugging und maschinelles Lernen von Prolog-Programmen (Dissertation, 1998)
BibTeX: Download
:
Automatically generating environments for dynamic diagram languages
IEEE Symposium on Visual Languages (VL'98) (Halifax, Canada, 01.09.1998 - 04.09.1998)
In: IEEE (ed.): Proceedings of the IEEE Symposium on Visual Languages (VL'98), Los Alamitos: 1998
DOI: 10.1109/VL.1998.706137
URL: http://www2.informatik.uni-erlangen.de/publication/download/VL98.pdf
BibTeX: Download
:
Hypergraph representation of diagrams in diagram editors
Workshop on Formalizing Reasoning with Visual and Diagrammatic Representations (Orlando, FL, 23.10.1998 - 25.10.1998)
In: Jensen, David D. ; Goldberg, Henry (ed.): AAAI FAll Symposium 1998, Menlo Park, Calif.: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/FRVDR98.pdf
BibTeX: Download
:
N-Guide - Ein System zur Erstellung grafischer Benutzeroberflächen (Dissertation, 1998)
BibTeX: Download
:
Data parallelism in Java
Proc. 12th Int. Symposium on High Performance Computing Systems and Applications (HPCS'98) (Edmonton, Canada, 20.05.1998 - 22.05.1998)
In: Schaefer, J. (ed.): High Performance Computing Systems and Applications, New York: 1998
DOI: 10.1007/978-1-4615-5611-4_11
URL: https://www2.cs.fau.de/publication/download/forall.pdf
BibTeX: Download
:
Is Java ready for computational science?
2nd European Parallel and Distributed Systems Conference (Euro-PDS'98) (Vienna/Austria, 01.07.1998 - 03.07.1998)
In: Bukhres, O. ; El-Rewini, H. (ed.): 2nd European Parallel and Distributed Systems Conference 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/javaCS.pdf
BibTeX: Download
:
Locality optimization in JavaParty by means of static type analysis
7th International Workshop on Compilers for Parallel Computers (CPC 1998) (Linköping, 29.06.1998 - 01.07.1998)
In: Fritzson, Peter (ed.): Proceedings of the 7th International Workshop on Compilers for Parallel Computers (CPC 1998) 1998
BibTeX: Download
, :
Locality optimization in JavaParty by means of static type analysis
First UK Workshop on Java for High Performance Network Computing (Southampton/UK, 02.09.1998 - 03.09.1998)
In: Pritchard, David ; Reeve, Jeff (ed.): First UK Workshop on Java for High Performance Network Computin 1998
URL: https://www2.cs.fau.de/publication/download/static.pdf
BibTeX: Download
, :
Fallstudie: Parallele Realisierung geophysikalischer Basisalgorithmen in Java
In: Informatik - Forschung und Entwicklung 13 (1998), p. 72-78
ISSN: 0178-3564
DOI: 10.1007/s004500050099
URL: http://www2.informatik.uni-erlangen.de/publication/download/fallstudie.pdf
BibTeX: Download
, , :
JavaParty - portables paralles und verteiltes Programmieren in Java
Java-Informations-Tage (JIT'98) (Frankfurt/Main, 12.11.1998 - 13.11.1998)
In: Cap, C. H. (ed.): Java-Informations-Tage, Berlin Heidelberg: 1998
DOI: 10.1007/978-3-642-59984-2_3
URL: http://www2.informatik.uni-erlangen.de/publication/download/partyd.pdf
BibTeX: Download
, , :
Describing Systems of Processes by the Double-Pushout Approach: Jungles as Distributed Data Structures
6th International Workshop on Theory and Application of Graph Transformations (TAGT'98) (Paderborn, 16.11.1998 - 20.11.1998)
In: Hartmut Ehrig, Grzegorz Rozenberg (ed.): Theory and Application of Graph Transformations - 6th International Workshop (TAGT’98) 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_TAGT98.pdf
BibTeX: Download
:
Foundations of Parallel Algorithms
31 (1998)
ISSN: 1611-4205
BibTeX: Download
(Techreport)
:
Java Grande Forum Report : Making Java work for high-end computing
JGF-TR-1 (1998)
URL: http://www2.informatik.uni-erlangen.de/publication/download/sc98grande.pdf
BibTeX: Download
(Techreport)
, , , , , , , , , , :
Forschungsprojekte des Lehrstuhls für Programmiersysteme der Universität Karlsruhe (TH)
In: Informatik - Forschung und Entwicklung 13 (1998), p. 93-96
ISSN: 0178-3564
DOI: 10.1007/s004500050101
URL: http://www2.informatik.uni-erlangen.de/publication/download/jahr1997.pdf
BibTeX: Download
, , , :
1997
Modelling Neural Networks with Graph Transformation Systems
IEEE International Joint Conference on Neural Networks (IJCNN '97) (Houston, TX, 09.06.1997 - 12.06.1997)
In: Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN'97) 1997
URL: http://www2.informatik.uni-erlangen.de/publication/download/icnn97.ps.gz
BibTeX: Download
, :
Special Issue: Graph Grammar Based Specifications
In: International Journal of Software Engineering & Knowledge Engineering 7 (1997), p. 397-524
ISSN: 0218-1940
DOI: 10.1142/S0218194097000230
URL: http://www.worldscientific.com/toc/ijseke/07/04
BibTeX: Download
, :
Fair multi-branch locking of several locks
IASTED Intl. Conf. on Parallel and Distributed Computing and Systems (PDCS) (Washington D.C./USA, 13.10.1997 - 16.10.1997)
In: Li, K. ; Olariu, S. ; Pan, Y. ; Stojmenovic, I. (ed.): Proceedings of the 1997 IASTED Intl. Conf. on Parallel and Distributed Computing and Systems (PDCS) 1997
URL: https://www2.cs.fau.de/publication/download/locks.pdf
BibTeX: Download
, :
Evolutionary Algorithms with Mathematica
Second International Mathematica Symposium (IMS 97) (Rovaniemi, Finland, 29.06.1997 - 04.07.1997)
In: Keränen, V. ; Mitic, Peter ; Hietamäki, A. (ed.): Second International Mathematica Symposium, Southampton, UK: 1997
BibTeX: Download
:
Simulierte Evolution mit Mathematica
Heidelberg: dpunkt-Verlag, 1997
(Principia Evolvica)
ISBN: 978-3920993485
BibTeX: Download
:- Junicke H, Schenzel K, Heinemann F W, Pelz K, Bögel H, Steinborn, D:
Synthesis and Characterization of cis- and trans-Tetrachlorobis(pyridine)- platinum(IV)
In: Zeitschrift für Anorganische und Allgemeine Chemie 623 (1997), p. 603-607
ISSN: 0044-2313
BibTeX: Download
Wort für Wort - Repräsentation und Verarbeitung verbaler Phraseologismen (Phraseo-Lex) (Dissertation, 1997)
BibTeX: Download
:
Diagram editing with hypergraph parser support
IEEE Symposium on Visual Languages (VL '97) (Capri, Italy, 23.09.1997 - 26.09.1997)
In: Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97), Los Alamitos: 1997
DOI: 10.1109/VL.1997.626587
URL: http://www2.informatik.uni-erlangen.de/publication/download/VL97.pdf
BibTeX: Download
:- Philippsen Michael, Zenger M.:
JavaParty: Transparent remote objects in Java
Symposium on Principles and Practice of Parallel Programming, Workshop on Java for Science and Engineering Computation (Las Vegas, NV, 21.06.1997 - 21.06.1997)
In: Symposium on Principles and Practice of Parallel Programming, Workshop on Java for Science and Engineering Computation 1997
URL: http://www2.informatik.uni-erlangen.de/publication/download/party.pdf
BibTeX: Download
JavaParty: Transparent remote objects in Java
In: Concurrency Practice and Experience 9 (1997), p. 1225-1242
ISSN: 1040-3108
DOI: 10.1002/(SICI)1096-9128(199711)9:113.0.CO;2-F
URL: http://www2.informatik.uni-erlangen.de/publication/download/party.pdf
BibTeX: Download
, :
Documenting design patterns in code eases program maintenance
Workshop on Process Modelling and Empirical Studies of Software Evolution at the International Conference on Software Engineering (ICSE) (Boston/USA, 18.05.1997 - 18.05.1997)
In: Harrison, Rachel ; Shepperd, Martin ; Daly, John W. (ed.): ICSE Workshop - Process Modeling and Empirical Studies of Software Evolution 1997
URL: http://pswt.informatik.uni-erlangen.de/publication/download/jakk_pmesse97.pdf
BibTeX: Download
, , :
Visual definition of virtual documents for the world-wide web
Third International Workshop on the Principles of Document Processing (PODP'96) (Palo Alto, CA, 23.09.1996 - 23.09.1996)
In: Nicholas, Charles K. ; Wood, Derick (ed.): Principles of Document Processing - Third International Workshop (PODP '96), Berlin Heidelberg: 1997
DOI: 10.1007/3-540-63620-X
URL: http://www2.informatik.uni-erlangen.de/publication/download/PODP96.ps.gz
BibTeX: Download
, :
Soft-Computing - Prinzip, Simulation und Anwendung (Habilitation, 1997)
BibTeX: Download
:
Simulation of Marburg Model Neural Networks using NeuroGraph
World Congress on Scientic Computation, Modelling and Applied Mathematics (IMACS 97) (Berlin, 24.08.1997 - 29.08.1997)
In: Wang Junping, Allen Myron B., Chen Benito M., Mathew Tarek (ed.): Proc. World Congress on Scientic Computation, Modelling and Applied Mathematics (IMACS 97) 1997
BibTeX: Download
, :
Optimization of Flow-Shop Problems using Evolutionary Algorithms - A Case Study
European Conference for Intelligent Technologies (EUFIT'97) (Aachen, 08.09.1997 - 11.09.1997)
In: Zimmermann H.-J. (ed.): Proc. European Conference for Intelligent Technologies (EUFIT'97) 1997
BibTeX: Download
, :
1996
Incremental Anaphora Resolution in a Chart-based Semantics Construction Framework using lambda-DRT
Discourse Anaphora and Anaphor Resolution Colloquium (DAARC 96) (Lancaster, UK, 17.07.1996 - 18.07.1996)
In: Botley, S. ; Gass, J. (ed.): Proceedings of the Discourse Anaphora and Anaphor Resolution Colloquium (DAARC 96) 1996
URL: http://www2.informatik.uni-erlangen.de/publication/download/Daarc96.ps.gz
BibTeX: Download
, , :
Parsing decomposable idioms
16th International Conference on Computational Linguistics (COLING 1996) (Copenhagen, Denmark, 05.08.1996 - 09.08.1996)
In: Tsujii, J. (ed.): Proceedings of the 16th International Conference on Computational Linguistics 1996
DOI: 10.3115/992628.992696
URL: http://www2.informatik.uni-erlangen.de/publication/download/Coling96.ps.gz
BibTeX: Download
, :
Representing Phraseologisms with Discourse Representation Theory
Dialogue'96 - Computational Linguistics and its Application (Moscow)
In: Narin'yani, A.S. (ed.): Proc. Dialogue'96 - Computational Linguistics and its Application 1996
URL: http://www2.informatik.uni-erlangen.de/publication/download/Dialogue96.ascii
BibTeX: Download
, :
Von großen Böcken und einer Menge Staub - Zur maschinellen Verarbeitung modifizierter Idiome mit semantisch-autonomen Komponenten
3rd Konvens Conference (Bielefeld, 07.10.1996 - 09.10.1996)
In: Gibbon, D. (ed.): Natural Language Processing and Speech Technology, Results of the 3rd Konvens Conference, Berlin: 1996
URL: http://www2.informatik.uni-erlangen.de/publication/download/Konvens96.ps.gz
BibTeX: Download
, :
Ein generisches Organisationsschema der Konfigurationsverwaltung im Software-Engineering (Dissertation, 1996)
BibTeX: Download
:
A New Approach to Consistency Control in Software Engineering
18th International Conference on Software Engineering (ICSE 1996) (Berlin, 25.03.1996 - 29.03.1996)
In: Proceedings of the 18th International Conference on Software Engineering (ICSE 1996), New York: 1996
DOI: 10.1109/ICSE.1996.493424
BibTeX: Download
, , :
Interval Construction with Partially Ordered Object Versions
Int. Conference on Interval Methods and Computer Aided Proofs in Science and Engineering (Interval'96) (Würzburg, 30.09.1996 - 02.10.1996)
In: von Gudenberg, Jürgen Wolff (ed.): Proceedings of the Int. Conference on Interval Methods and Computer Aided Proofs in Science and Engineering (Interval'96) 1996
URL: http://www2.informatik.uni-erlangen.de/publication/download/INTE96.pdf
BibTeX: Download
, , :
Evolution Programs Evolved
4th International Conference on Parallel Problem Solving from Nature (PPSN-IV) (Berlin, 22.09.1996 - 26.09.1996)
In: Voigt, Hans-Michael ; Ebeling, W. ; Rechenberg, I. ; Schwefel, Hans-Paul (ed.): Parallel Problem Solving from Nature - PPSN IV - International Conference on Evolutionary Computation. 4th International Conference on Parallel Problem Solving from Nature, Berlin Heidelberg: 1996
DOI: 10.1007/3-540-61723-X
URL: http://www2.informatik.uni-erlangen.de/publication/download/PPSN-96-EvolutionPrograms.ps.gz
BibTeX: Download
:
Evolving evolution programs: genetic programming and L-systems
First Annual Conference on Genetic Programming (GP-96) (Stanford, CA, 28.07.1996 - 31.07.1996)
In: Koza, John R. (ed.): Proceedings of the 1st annual conference on genetic programming (GP-96), Cambridge, MA, USA: 1996
URL: http://www2.informatik.uni-erlangen.de/publication/download/GP-96-EvolutionPrograms.ps.gz
BibTeX: Download
:
A high-level visual language for generating web structures
IEEE Symposium on Visual Languages (VL '96) (Boulder, CO, 03.09.1996 - 06.09.1996)
In: Proceedings of the IEEE Symposium on Visual Languages (VL '96), Los Alamitos: 1996
DOI: 10.1109/VL.1996.545299
URL: http://www2.informatik.uni-erlangen.de/publication/download/VL96.pdf
BibTeX: Download
, :
Visualizing information repositories on the world-wide web
5. Internationales Symposium für Informationswissenschaft (ISI'96) (Berlin, 17.10.1996 - 19.10.1996)
In: Krause, J. ; Herfurth, M. ; Marx, J. (ed.): Herausforderungen an die Informationswirtschaft, Konstanz: 1996
URL: http://www2.informatik.uni-erlangen.de/publication/download/ISI96.pdf
BibTeX: Download
, :
Java Seminarbeiträge
(1996)
URL: http://www2.informatik.uni-erlangen.de/publication/download/1996-24.pdf
BibTeX: Download
(Techreport)
:
On outward and inward productions in the categorical graph-grammar approach and Delta-grammars
In: Mathematical Structures in Computer Science 6 (1996), p. 527-543
ISSN: 0960-1295
URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_MSCS1996.pdf
BibTeX: Download
:
Fehlerklassifikation auf Röntgenbildbasis
Symposium Anwendung von Fuzzy-Technologien und Neuronalen Netzen (Aachen, 19.06.1996 - 21.06.1996)
In: Transferstelle Mikroelektronik/Fuzzy Technologien (ed.): Tagungsband Symposium Anwendung von Fuzzy-Technologien und Neuronalen Netzen 1996
BibTeX: Download
, , :
1995
Chart-based Incremental Semantics Construction with Anaphora Resolution Using lambda-DRT
Fourth International Workshop on Parsing Technologies (IWPT-95) (Prague, 20.09.1995 - 24.09.1995)
In: Bunt, H. (ed.): Proc. of the Fourth International Workshop on Parsing Technologies (IWPT-95) 1995
URL: http://www2.informatik.uni-erlangen.de/publication/download/Daarc96.ps.gz
BibTeX: Download
, , :
Genetic L-System Programming: Breeding and Evolving Artificial Flowers with Mathematica
First International Mathematica Symposium (IMS'95) (Southampton, 16.07.1995 - 20.07.1995)
In: Keränen, V. ; Mitic, Peter (ed.): Mathematics with Vision: Proceedings of the First International Mathematica Symposium, Southampton/UK: 1995
URL: http://www2.informatik.uni-erlangen.de/publication/download/IMS-ArtFlowers.ps.gz
BibTeX: Download
:
MathEvolvica - Simulierte Evolution von Entwicklungsprogrammen der Natur (Dissertation, 1995)
BibTeX: Download
:
Modeling Growth with L-Systems & Mathematica
In: Mathematica in Education and Research 4 (1995), p. 12-19
ISSN: 1065-2965
URL: http://www2.informatik.uni-erlangen.de/publication/download/ModelingGrowth.ma.ps.gz
BibTeX: Download
:- Jacob C, Rehder J, Siemandel, J, Friedmann A:
XNeuroGene: a system for evolving artificial neural networks
Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '95) (Durham, NC, 18.01.1995 - 20.01.1995)
In: Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '95) 1995
DOI: 10.1109/MASCOT.1995.378653
BibTeX: Download
Detecting quantified global predicates in parallel programs
1st International EURO-PAR Conference (Stockholm, 29.08.1995 - 31.08.1995)
In: Haridi, S. ; Ali, K. ; Magnusson, P. (ed.): EURO-PAR '95 Parallel Processing - First International EURO-PAR Conference, Berlin Heidelberg: 1995
DOI: 10.1007/BFb0020481
URL: http://www2.informatik.uni-erlangen.de/publication/download/Europar95.pdf
BibTeX: Download
:
DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams
11th IEEE International Symposium on Visual Languages (VL'95) (Darmstadt, 05.09.1995 - 09.09.1995)
In: Haarslev, V. (ed.): Proceedings of the 11th IEEE International Symposium on Visual Languages (VL'95) 1995
DOI: 10.1109/VL.1995.520810
URL: http://www2.informatik.uni-erlangen.de/publication/download/VL95.pdf
BibTeX: Download
, :
Automatic alignment of array data and processes to reduce comminication time on DMPPs
Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'95) (Santa Barbara/CA/USA, 19.07.1995 - 21.07.1995)
In: Wexelblat, Richard L. (ed.): Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'95), New York: 1995
DOI: 10.1145/209936.209953
URL: http://www2.informatik.uni-erlangen.de/publication/download/Alignment-2.pdf
BibTeX: Download
:
Enabling compiler transformations for pSather
(1995)
URL: https://www2.informatik.uni-erlangen.de/publication/download/EnablingTrafos.pdf
BibTeX: Download
(Techreport)
:
Imperative concurrent object-oriented languages: An annotated bibliography
(1995)
URL: http://www2.informatik.uni-erlangen.de/publication/download/COOL-bib.pdf
BibTeX: Download
(Techreport)
:
Imperative concurrent object-oriented languages
(1995)
URL: https://www2.informatik.uni-erlangen.de/publication/download/cool-survey.pdf
BibTeX: Download
(Techreport)
:
Automatic synchronization elimination in synchronous FORALLs
The Fifth Symposium on the Frontiers of Massively Parallel Computation (Frontiers'95) (Mc Lean, VA/USA, 06.02.1995 - 09.02.1995)
In: Frontiers '95 : The Fifth Symposium on the Frontiers of Massively Parallel Computation, Los Alamitos, CA: 1995
DOI: 10.1109/FMPC.1995.380435
URL: https://www2.cs.fau.de/publication/download/front95.pdf
BibTeX: Download
, :
A note on outward and inward productions in the categorical graph-grammar approach and delta-grammars
In: Electronic Notes in Theoretical Computer Science - (1995), p. 238-245
ISSN: 1571-0661
DOI: 10.1016/S1571-0661(05)80202-6
URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_ENTCS1995.pdf
BibTeX: Download
:
Parallele Programmiersprachen
In: Waldschmidt, Klaus (ed.): Parallelrechner: Architekturen - Systeme - Werkzeuge, Stuttgart: Teubner, 1995, p. 411-470
ISBN: 978-3519021353
URL: https://www2.cs.fau.de//publication/download/schneider_ParSprachen.pdf
BibTeX: Download
:
DiaGen: A generator for diagram editors based on a hypergraph model
2nd International Workshop on Next Generation Information Technologies and Systems (NGITS'95) (Naharia, 27.06.1995 - 29.06.1995)
In: Motro, A. ; Tennenholtz, M. (ed.): Next Generation Information Technologies and Systems (NGITS '95), Second International Workshop 1995
URL: http://www2.informatik.uni-erlangen.de/publication/download/NGITS95.pdf
BibTeX: Download
, :
Generating editors for direct manipulation of diagrams
5th East-West International Conference on Human-Computer Interaction (EWHCI'95) (Moscow, 03.07.1995 - 07.07.1995)
In: Blumenthal, B. ; Gornostaev, J. ; Unger, C. (ed.): Human-Computer Interaction 5th International Conference, EWHCI '95, Berlin Heidelberg: 1995
DOI: 10.1007/3-540-60614-9_2
URL: http://www2.informatik.uni-erlangen.de/publication/download/EWHCI95.pdf
BibTeX: Download
, :
An Integrated Development Environment for Neural Networks, Genetic Algorithms and Fuzzy Logic
Third European Congress on Intelligent Techniques and Soft Computing (EUFIT'95) (Aachen, 28.08.1995 - 31.08.1995)
In: Zimmermann H.-J. (ed.): Proceedings of the Third European Congress on Intelligent Techniques and Soft Computing (EUFIT'95) 1995
BibTeX: Download
:- Wilke Peter, Rehder Jan, Billing Gunnar, Nilson Jörg:
NeuroGraph - A Simulation Environment for Neural Networks, Genetic Algorithms and Fuzzy Logic
International Conference on Artificial Neural Nets and Genetic Algorithms (ICANNGA'95) (Alès, 18.04.1995 - 21.04.1995)
In: Pearson, David W., Steele, Nigel C., Albrecht, Rudolf F. (ed.): Artificial Neural Nets and Genetic Algorithms - Proceedings of the International Conference (ICANNGA'95), Berlin Heidelberg: 1995
DOI: 10.1007/978-3-7091-7535-4
BibTeX: Download
Integration of Genetic Algorithms and Fuzzy Logic into a Neural Network Simulation Environment, Analysis and Simulation of Computer and Telecommunication Systems
Proc. Int. Workshop on Modelling, MASCOTS95 (Durham, NC, USA, 19.01.1995 - 19.01.1995)
BibTeX: Download
, , , :
Integration of Genetic Algorithms and Fuzzy Logic into a Neural Network Simulation Environment
International Workshop on Modeling, Analysis, and Simulation of Computer (MASCOTS'95)and Telecommunication Systems (MASCOTS'95) (Durham, NC, 18.01.1995 - 20.01.1995)
In: Dowd Patrick W., Gelenbe Erol (ed.): Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'95) 1995
DOI: 10.1109/MASCOT.1995.378668
BibTeX: Download
, , , :
NeuroGraph - An Integrated Development Environment for Neural Networks - Genetic Algorithms and Fuzzy Logic
EUFIT95 (Aachen, 30.08.1995 - 30.08.1995)
BibTeX: Download
, , , , :
Marktübersicht Simulatoren für neuronale Netze auf PCs, Workstations und verteilten Rechnersystemen
Frankfurt: VDE Verlag, 1995
BibTeX: Download
, :
1994
Die kompositionelle Bildung von Diskursrepräsentationsstrukturen über einer Chart
2. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS 94) (Wien, 28.09.1994 - 30.09.1994)
In: Trost, Harald (ed.): Proceedings 2. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS 94), Berlin Heidelberg: 1994
URL: http://www2.informatik.uni-erlangen.de/publication/download/Konvens94.ps.gz
BibTeX: Download
:
Evolutionary Programming of Artificial Nervous Systems
39. Internationales Wissenschaftliches Kolloquium der TU Ilmenau (IWK'94) (Ilmenau, 27.09.1994 - 30.09.1994)
In: Köhler E. (ed.): Tagungsband 39. Internationales Wissenschaftliches Kolloquium der TU Ilmenau (IWK'94) 1994
BibTeX: Download
:
Evolution of Typed Expressions describing Art Nervous Systems
Conference on Artificial Neural Networks (ICANN '94) (Sorrento, 26.05.1994 - 29.05.1994)
In: Marinaro, Maria ; Morasso, Pietro G. (ed.): ICANN ’94 - Proceedings of the International Conference on Artificial Neural Networks, Berlin Heidelberg: 1994
DOI: 10.1007/978-1-4471-2097-1
BibTeX: Download
:
Genetic L-System Programming
3rd International Conference on Parallel Problem Solving from Nature (PPSN-III) (Jerusalem, 09.10.1994 - 14.10.1994)
In: Davidor, Yuval, Schwefel, Hans-Paul, Männer, Reinhard (ed.): Parallel Problem Solving from Nature - PPSN III - International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Berlin Heidelberg: 1994
DOI: 10.1007/3-540-58484-6
BibTeX: Download
:
Typed Expressions Evolution of Artificial Nervous Systems
First Conference on Evolutionary Computation, IEEE World Congress on Computational Intelligence (Orlando, FL, 27.06.1994 - 29.06.1994)
In: Proceedings of the First IEEE Conference on Evolutionary Computation 1994
DOI: 10.1109/ICEC.1994.349899
BibTeX: Download
:
XNeuroGene: A system for evolving artificial neural networks
International Conference on Artificial Neural Networks (ICANN 94) (Sorrento, 26.05.1994 - 29.05.1994)
In: Marinaro, Maria ; Morasso, Pietro G. (ed.): ICANN ’94 - Proceedings of the International Conference on Artificial Neural Networks, Berlin Heidelberg: 1994
DOI: 10.1007/978-1-4471-2097-1
BibTeX: Download
, , , :
Cyclic debugging for pSather, a parallel object-oriented programming language
Proc. DAGS'94 Symposium (Hanover, NH)
In: Makedon, F. (ed.): Proc. DAGS'94 Symposium 1994
URL: http://www2.informatik.uni-erlangen.de/publication/download/DAGS94.pdf
BibTeX: Download
:
Fault detection for sequentially controlled machines using temporal constraint nets
2nd International Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess '94) (Helsinki)
In: Ruakonen, T. (ed.): Preprints IFAC Symposium on Fault Detection 1994
URL: http://www2.informatik.uni-erlangen.de/publication/download/Safeprocess94.pdf
BibTeX: Download
:
Automatic alignment of array data and processes to reduce communication time on DMPPs
(1994)
URL: http://www2.informatik.uni-erlangen.de/publication/download/Alignment-2.pdf
BibTeX: Download
(Techreport)
:
Optimierungstechniken zur Übersetzung paralleler Programmiersprachen (Dissertation, 1994)
BibTeX: Download
:
Sather 1.0 tutorial
(1994)
URL: http://www2.informatik.uni-erlangen.de/publication/download/SatherTutorial.pdf
BibTeX: Download
(Techreport)
:
Data and process alignment in Modula-2*
Intl. Workshop on Automatic Parallelization (AP'93) (Saarbrücken, Germany, 01.03.1993 - 03.03.1993)
In: Kessler, C.W. (ed.): Automatic Parallelization - New Approaches to Code Generation, Data Distribution, and Performance Prediction, Wiesbaden: 1994
DOI: 10.1007/978-3-322-87865-6_10
URL: http://www2.informatik.uni-erlangen.de/publication/download/Alignment-1.pdf
BibTeX: Download
, :
Project Triton: Towards improved programmability of parallel computers
In: David J. Lilja ; Peter L. Bird (ed.): The Interaction of Compilation Technology and Computer Architecture, Boston, Dordrecht, London: Kluwer Academic Publishers, 1994, p. 249-281
ISBN: 978-1-4613-6154-1
DOI: 10.1007/978-1-4615-2684-1_10
URL: http://www2.informatik.uni-erlangen.de/publication/download/Triton.pdf
BibTeX: Download
, , , , , :
Graph Transformations in Computer Science
Berlin Heidelberg: 1994
(Lecture Notes Computer Science, Vol. 776)
ISBN: 978-3-540-57787-4
DOI: 10.1007/3-540-57787-4
BibTeX: Download
, (ed.):
Zur programmiertechnischen Beherrschung von massivem Parallelismus
Softwareentwicklung für Supercomputer (Karlsruhe, Germany, 03.03.1994 - 04.03.1994)
In: Schreiner, A. ; Schnepf, E. (ed.): Drittes ODIN Symposium, Rechenzentrum Universität Karlsruhe 1994
BibTeX: Download
, , , , , , :
A Generator for Diagram Editors (Dissertation, 1994)
BibTeX: Download
:
Interaction in really graphical user interfaces
IEEE Symposium on Visual Languages (VL'94) (St. Louis, MO, 04.10.1994 - 07.10.1994)
In: Ambler, A. L. ; Kimura, T. D. (ed.): Proceedings of the IEEE Symposium on Visual Languages (VL'94) 1994
DOI: 10.1109/VL.1994.363608
URL: http://www2.informatik.uni-erlangen.de/publication/download/VL94.pdf
BibTeX: Download
, :
NeuroGraph - A Neural Network Simulation Environment with Components for Genetic Algorithms and Fuzzy Logic
39. wiss. Kolloquium TU Ilmenau (Ilemnau, 27.09.1994 - 30.09.1994)
In: TU Ilmenau (ed.): Proc. 39. wiss. Kolloquium TU Ilmenau 1994
BibTeX: Download
:
Design and Implementation of Neural Networks for Matching Contours in CAD Models
International Conference on Artificial Neural Networks (ICANN 94) (Amsterdam, 27.06.1994 - 02.07.1994)
In: Marinaro Maria, Morasso Pietro G. (ed.): Proceedings of the International Conference on Artificial Neural Networks (ICANN 94) 1994
BibTeX: Download
, , , :
Verteilte Simulation Neuronaler Netze mit NeuroGraph V3.0
Transputer Anwender Treffen (TAT94) (Aachen, 26.09.1994 - 27.09.1994)
In: Flieger R., Grebe R. (ed.): Proc. Transputer Anwender Treffen (TAT94) 1994
BibTeX: Download
, :
1993
Knowledge Representation Techniques Using Neural Networks for Robotic Fine-Manipulation (Dissertation, 1993)
BibTeX: Download
:
Die kompositionelle Bildung von Diskursrepräsentationsstrukturen über einer Chart (Diploma thesis, 1993)
URL: http://www2.informatik.uni-erlangen.de/publication/download/DA-fischer.ps.gz
BibTeX: Download
:
Ein Inferenzmechanismus zum beispielbasierten Lernen natürlicher Sprache (Dissertation, 1993)
BibTeX: Download
:
Synchronization barrier elimination in synchronous FORALLs
(1993)
URL: https://www2.cs.fau.de/publication/download/front95.pdf
BibTeX: Download
(Techreport)
, :
Triton/1: A massively-parallel mixed-mode computer designed to support high level languages
2nd Workshop on Heterogeneous Processing (WHP 93) (Newport Beach/CA/USA, 13.04.1993 - 16.04.1993)
In: Proceedings of the 2nd Workshop on Heterogeneous Processing (WHP 93), New York: 1993
DOI: 10.1109/WHP.1993.664368
URL: http://www2.informatik.uni-erlangen.de/publication/download/triton-hp.pdf
BibTeX: Download
, , , :
The Modula-2* environment for parallel programming
Conference on Massively Parallel Programming Models (MPPM'93) (Berlin, Germany, 20.09.1993 - 23.09.1993)
In: Giloi, Wolfgang K. (ed.): Programming Models for Massively Parallel Computers, Los Alamitos: 1993
DOI: 10.1109/PMMP.1993.315555
URL: http://www2.informatik.uni-erlangen.de/publication/download/mppm93.pdf
BibTeX: Download
, , , , :
The Modula-2* environment for parallel programming
3rd International Workshop on Compilers for Parallel Computers (CPC 1993) (Delft, NL, 13.12.1993 - 16.12.1993)
In: Henk Sips (ed.): Proceedings of the 3rd International Workshop on Compilers for Parallel Computers (CPC 1993) 1993
URL: http://www2.informatik.uni-erlangen.de/publication/download/mppm93.pdf
BibTeX: Download
, , , , :
NeXTGene: A graphical user-interface for GENESIS under NeXTStep and Genetic Algorithms
1st International Conference on Artificial Neural Nets and Genetic Algorithms (ICANNGA'93) (Innsbruck)
In: Albrecht, Rudolf F. ; Reeves, C. R. ; Steele, Nigel C. (ed.): Artificial Neural Nets and Genetic Algorithms - Proceedings of the International Conference (ICANNGA'93), Wien: 1993
DOI: 10.1007/978-3-7091-7533-0_87
BibTeX: Download
, :
Evolution of Neural Net Architectures by a Hierarchical Grammar-Based Genetic Systems
1st International Conference on Artificial Neural Nets and Genetic Algorithms (ICANNGA'93) (Innsbruck)
In: Albrecht, Rudolf F. ; Reeves, C. R. ; Steele, Nigel C. (ed.): Artificial Neural Nets and Genetic Algorithms - Proceedings of the International Conference (ICANNGA'93), Wien: 1993
DOI: 10.1007/978-3-7091-7533-0_12
URL: http://www2.informatik.uni-erlangen.de/publication/download/ANNGA93.1.ps.gz
BibTeX: Download
, :
The NeuroGraph Neural Network Simulator
International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS 1993) (San Diego, CA, 17.01.1993 - 20.01.1993)
In: Schwetman Herbert D., Walrand Jean C., Bagchi Kallol Kumar, DeGroot Doug (ed.): Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS 1993), Los Alamitos, CA: 1993
BibTeX: Download
, :
Modelling and monitoring real-time systems with temporal contraint nets
Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93) (Edinburgh, Scotland, 01.06.1993 - 04.06.1993)
In: Chung, P. W. ; Lovegrove, G. ; Ali, Moonis (ed.): Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93), London: 1993
URL: http://www2.informatik.uni-erlangen.de/publication/download/INTE96.pdf
BibTeX: Download
:
Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung
Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung (Dresden, 27.09.1993 - 01.10.1993)
In: Reichel, H. (ed.): Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Berlin Heidelberg: 1993
DOI: 10.1007/978-3-642-78486-6_56
URL: http://www2.informatik.uni-erlangen.de/publication/download/GI93-visual.pdf
BibTeX: Download
:
Specification of diagram editors providing layout adjustment with minimal change
IEEE Symposium on Visual Languages (VL'93) (Bergen, 24.08.1993 - 27.08.1993)
In: Proceedings of the IEEE Symposium on Visual Languages (VL'93) 1993
DOI: 10.1109/VL.1993.269618
URL: http://www2.informatik.uni-erlangen.de/publication/download/VL93.pdf
BibTeX: Download
, :
Compiling machine-independent parallel programs
In: Acm SIGPLAN Notices 28 (1993), p. 99-108
ISSN: 0362-1340
DOI: 10.1145/163114.163127
URL: http://www2.informatik.uni-erlangen.de/publication/download/sigplan93.pdf
BibTeX: Download
, , :
Compiling machine-independent parallel programs
(1993)
URL: https://www2.informatik.uni-erlangen.de/publication/download/sigplan93.pdf
BibTeX: Download
(Techreport)
, , :
Project Triton: Towards improved programmability of parallel machines
26th Hawaii International Conference on System Sciences (HICSS) (Wailea, Maui, Hawaii/USA, 04.01.1993 - 08.01.1993)
In: Proceedings of the 26th Hawaii International Conference on System Sciences (HICSS), New York: 1993
DOI: 10.1109/HICSS.1993.270745
URL: https://www2.cs.fau.de/publication/download/Triton.pdf
BibTeX: Download
, , , :
On categorical graph grammars integrating structural transformations and operations on labels
In: Theoretical Computer Science (1993), p. 257-274
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90070-A
URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_TCS1993.pdf
BibTeX: Download
:
Programmiersprachen - Werkzeug und Objekt der Informatik
(1993)
URL: https://www2.cs.fau.de/publication/download/schneider_Werkzeug.pdf
BibTeX: Download
(Techreport)
:
Ausnahmebehandlung in verteilten Programmiersprachen: Sprach- und Verifikationskonzepte (Dissertation, 1993)
BibTeX: Download
:
Programming parallel supercomputers
Joint international conference on mathematical methods and supercomputing in nuclear applications (M and C and SNA '93) (Karlsruhe, 19.04.1993 - 23.04.1993)
In: Küster, H. ; Stein, E. ; Werner, W. (ed.): Proceedings of the International Conference on Mathematical Methods and Supercomputing in Nuclear Applications 1993
URL: http://www2.informatik.uni-erlangen.de/publication/download/nuclear.pdf
BibTeX: Download
, :
NeuroGraph - A Neural Network Simulation Environment
Workshop Neural Network Simulation (Berkeley, CA)
In: International Computer Science Institute ICSI (ed.): Workshop Neural Network Simulation 1993
BibTeX: Download
:
NeuroGraph - Ein Simulator für künstliche Neuronale Netze auf paralleler Hardware
8. ASIM Symposium Simulationstechnik (Berlin, 28.09.1993 - 30.09.1993)
In: Sydow A. (ed.): Proc. 8. ASIM Symposium Simulationstechnik 1993
BibTeX: Download
:
Simulation of Neural Networks and Genetic Algorithms in a Distributed Computing Environment using NeuroGraph
World Congress on Neural Networks (WCNN'93) (Portland, 11.07.1993 - 15.07.1993)
In: World Congress on Neural Networks 1993
BibTeX: Download
:
Simulation of Neural Networks and Genetic Algorithms in a Distributed Computing Environment using NeuroGraph
International Conference on Artificial Neural Networks (ICANN'93) (Amsterdam, 13.09.1993 - 16.09.1993)
In: Gielen Stan, Kappen Bert (ed.): Proceedings of the International Conference on Artificial Neural Networks (ICANN'93), London: 1993
DOI: 10.1007/978-1-4471-2063-6_316
BibTeX: Download
:
Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph
6th Italian Conference on Neural Networks (WIRN'93) (Salerno)
In: Caianiello Eduardo R. (ed.): Proceedings of the 6th Italian Conference on Neural Networks (WIRN'93) 1993
BibTeX: Download
:
Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph
Conference on Computation and Neural Systems (CNS*93) (Washington, D.C., 31.07.1993 - 07.08.1993)
In: Eeckman Frank H., Bower James M. (ed.): Proceedings of the 1993 Conference on Computation and Neural Systems (CNS*93) 1993
BibTeX: Download
:
Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph
International Workshop on Artificial Neural Networks (IWANN'93) (Sitges, 09.06.1993 - 11.06.1993)
In: Mira Jose, Cabestany Joan, Prieto Alberto (ed.): New Trends in Neural Computation: International Workshop on Artificial Neural Networks (IWANN'93), Berlin Heidelberg: 1993
DOI: 10.1007/3-540-56798-4_179
BibTeX: Download
:
Visualization of Neural Networks using NeuroGraph
In: Franklin, Stephen D. (ed.): Visualization in Scientific Computing, Addison Wesley, 1993, p. 12pp
BibTeX: Download
:
Visualization of Neural Networks using NeuroGraph
IFIP WG3.2 Working Conference on Visualization in Scientific Computing: Uses in University Education (Irvine, CA, 28.07.1993 - 30.07.1993)
In: Franklin Stephen D., Stubberud Allen R., Wiedeman Lyle P. (ed.): Proceedings of the IFIP WG3.2 Working Conference on Visualization in Scientific Computing: Uses in University Education 1993
BibTeX: Download
:
Erkennung von Blechteilen mit Neuronalen Netzen
In: Zeitschrift für Wirtschaftliche Fertigung und Automatisierung (1993), p. 526-528
ISSN: 0932-0482
BibTeX: Download
, , , :
Simulating Neural Networks in a Distributed Computing Environment Using NeuroGraph
International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS'93) (San Diego, CA, 17.01.1993 - 20.01.1993)
In: Schwetman Herbert D., Walrand Jean C., Bagchi Kallol Kumar, DeGroot Doug (ed.): Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS'93) 1993
BibTeX: Download
, :
Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware mit NeuroGraph
Economic Parallel Processing (EPP'93) (Wien, 19.02.1993)
In: Judmann K.P., Rothauser E. (ed.): Proceedings of the Economic Parallel Processing (EPP'93) 1993
BibTeX: Download
, , :
NeuroGraph - Ein Simulator für künstliche Neuronale Netze auf paralleler Hardware
3. PASA-Workshop Parallele Systeme und Algorithmen (Bonn, 01.04.1993 - 02.04.1993)
In: GI (ed.): Proceedings of the 3. PASA-Workshop Parallele Systeme und Algorithmen 1993
BibTeX: Download
, :
Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware mit NeuroGraph
Europäischer Informatik-Kongreß Architektur von Rechensystemen (Euro-ARCH 1993) (München, 18.10.1993 - 19.10.1993)
In: Spies P. P. (ed.): Proceedings des Europäischen Informatik-Kongresses Architektur von Rechensystemen (Euro-ARCH 1993) 1993
BibTeX: Download
, :
1992
Entwicklung einer objektorientierten Repräsentation für kompositionelle Aspekte der Wortsemantik (Mid-study thesis, 1992)
BibTeX: Download
:
Wachsende Zellstrukturen - ein selbstorganisierendes neuronales Netzwerkmodell (Dissertation, 1992)
BibTeX: Download
:
Überwachung technischer Prozesse mit Zeitconstraintnetzen (Dissertation, 1992)
BibTeX: Download
:
Automatic data distribution for nearest neighbor networks
Fourth Symposium on the Frontiers of Massively Parallel Computation (Frontiers '92) (Mc Lean, VA, USA, 19.10.1992 - 21.10.1992)
In: Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation (Frontiers '92) 1992
DOI: 10.1109/FMPC.1992.234890
URL: http://www2.informatik.uni-erlangen.de/publication/download/front92.pdf
BibTeX: Download
:
Compiling for massively parallel machines
International Workshop on Code Generation (Dagstuhl Castle, Germany, 20.05.1991 - 24.05.1991)
In: Giegerich, Robert ; Graham, Susan L. (ed.): Code Generation - Concepts, Tools, Techniques, Berlin Heidelberg: 1992
DOI: 10.1007/978-1-4471-3501-2_6
URL: http://www2.informatik.uni-erlangen.de/publication/download/dagstuhl.pdf
BibTeX: Download
, :
Modula-2* and its compilation
First International ACPC (Austrian Center for Parallel Computation) Conference (Salzburg, Austria, 30.09.1991 - 02.10.1991)
In: Zima, Hans P. (ed.): Parallel Computation: First International ACPC Conference, Berlin Heidelberg: 1992
DOI: 10.1007/3-540-55437-8_79
URL: http://www2.informatik.uni-erlangen.de/publication/download/salzburg.pdf
BibTeX: Download
, :
Project: Triton: Towards improved programmability of parallel machines
(1992)
URL: https://www2.cs.fau.de/publication/download/Triton.pdf
BibTeX: Download
(Techreport)
, , , :
Projekt Triton: Beiträge zur Verbesserung der Programmierbarkeit hochparalleler Rechensysteme
In: Informatik - Forschung und Entwicklung 7 (1992), p. 1-13
ISSN: 0178-3564
URL: http://www2.informatik.uni-erlangen.de/publication/download/d-triton.pdf
BibTeX: Download
, , , :
Über Graphgrammatiken, eine Spezifikationsmethode für Programmiersprachen und verteilte Systeme (Dissertation, 1992)
BibTeX: Download
:
Graphgrammatiken - Festschrift zur 20-Jahrfeier des Lehrstuhls für Programmiersprachen
(1992)
BibTeX: Download
(Techreport)
:
A critique of the programming language C*
In: Communications of the ACM 35 (1992), p. 21-24
ISSN: 0001-0782
DOI: 10.1145/129888.376122
URL: http://www2.informatik.uni-erlangen.de/publication/download/CstarCritique.pdf
BibTeX: Download
, , :
From Modula-2* to efficient parallel code
(1992)
URL: https://www2.cs.fau.de/publication/download/wien.pdf
BibTeX: Download
(Techreport)
, , , :
From Modula-2* to efficient parallel code
3rd International Workshop on Compilers for Parallel Computers (CPC 1992) (Vienna, Austria, 06.07.1992 - 09.07.1992)
In: Zima, Hans P. (ed.): Proceedings of the 3rd International Workshop on Compilers for Parallel Computers (CPC 1992) 1992
URL: http://www2.informatik.uni-erlangen.de/publication/download/wien.pdf
BibTeX: Download
, , , :
Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware
(1992), p. 4
BibTeX: Download
(Techreport)
, :
ROSE - Konzeption und Implementierung einer Programmierumgebung für rechnerorganisierte Software-Entwicklung (Dissertation, 1992)
BibTeX: Download
:
1991
FLEXMAP - A neural network with linear time and space complexity for the travelling salesman problem
Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN'91) (Singapore, 18.11.1991 - 21.11.1991)
DOI: 10.1109/IJCNN.1991.170519
BibTeX: Download
, :
Graphische Beschreibung von objektorientierten Programmen (Dissertation, 1991)
BibTeX: Download
:
A Distributed Network Simulation Environment for Multi-Processing Systems
IEEE International Joint Conference on Neural Networks (IJCNN'91) (SIngapore, 18.11.1991 - 21.11.1991)
In: IEEE (ed.): Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN'91) 1991
DOI: 10.1109/IJCNN.1991.170556
BibTeX: Download
, :
Erfahrungen mit der MasPar MP-1
Conference on Supercomputing and Applications (Bochum)
In: Ehlich, Hartmut ; Schloßer, Karl-Heinz ; Wojcieszynski, Brigitte (ed.): Bochumer Schriften zur Parallelen Datenverarbeitung, Bochum: 1991
URL: http://www.philippsen.com/mypapers/bib/I001.bib
BibTeX: Download
:
Modula-2* and its compilation
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/salzburg.pdf
BibTeX: Download
(Techreport)
, , :
Objektorientierte Softwaretechnik
Prozeßrechensysteme ’91 - Automatisierungs- und Leitsysteme in den neunziger Jahren (Berlin, 25.02.1991 - 27.02.1991)
In: Hommel, Günter (ed.): Prozeßrechensysteme ’91 - Automatisierungs- und Leitsysteme in den neunziger Jahren 1991
DOI: 10.1007/978-3-642-76501-8
BibTeX: Download
:
Hochgradiger Parallelismus
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/d-hochparallel.pdf
BibTeX: Download
(Techreport)
, :
Hochgradiger Parallelismus
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/d-hochparallel.pdf
BibTeX: Download
(Techreport)
, :
A critique of the programming language C*
(1991)
URL: http://www2.informatik.uni-erlangen.de/publication/download/CstarCritique.pdf
BibTeX: Download
(Techreport)
, , :
CANTOR - The implementation of a set theoretic concept
Rencontres des etablissements de recherche en informatique des villes jumelees avec Rennes (Rennes)
BibTeX: Download
:
1990
Graphgrammatikalische Hilfsmittel zur Beschreibung verteilter Systeme (Dissertation, 1990)
BibTeX: Download
:
Ausnahmebehandlung in objektorienierte Programmiersprachen (Dissertation, 1990)
DOI: 10.1007/978-3-642-84166-8
BibTeX: Download
:
Ein operationelles Modell zur Syntax- und Semantikspezifikation (Dissertation, 1990)
BibTeX: Download
:
The Triton project
(1990)
BibTeX: Download
(Techreport)
, , :
Verteilte Termersetzung als Berechungsmodell für objektorientierte Systeme (Dissertation, 1990)
BibTeX: Download
:
Describing distributed systems by categorical graph grammars
15th International Workshop on Graph-theoretic Concepts in Computer Science (WG'89) (Castle Rolduc, 14.06.1989 - 16.06.1989)
In: Manfred Nagl (ed.): Graph-Theoretic Concepts in Computer Science - 15th International Workshop (WG '89), Berlin Heidelberg: 1990
DOI: 10.1007/3-540-52292-1_9
BibTeX: Download
:
Verschiedene Beiträge
In: Krückeberg, F. ; Spaniol, Otto (ed.): VDI-Lexikon Informatik und Kommunikationstechnik, Berlin Heidelberg: Springer, 1990
ISBN: 978-3540632498
BibTeX: Download
:
Software für RISC: optimierende Compiler
In: Arndt Bode (ed.): RISC-Architekturen: Systeme, optimierende Compiler, Anwendungen, Leistungsmessung, Parallelismus, Mannheim: B.I.-Wissenschaftsverlag, 1990, p. 80-117
ISBN: 3-411-14752-0
BibTeX: Download
:
1989
Konzepte für Robotersprachen - Ein Sprachenwurf (Dissertation, 1989)
BibTeX: Download
:
Beschreibung und Analyse kontextfreier Sprachen unter durchgängiger Verwendung von Graphen (Dissertation, 1989)
BibTeX: Download
:
A description of the Rendezvous concept by hypergraph grammars
(1989)
URL: https://www2.cs.fau.de/publication/download/schneider_Rendez-vous_1989.pdf
BibTeX: Download
(Techreport)
:
Heraklit - A language supporting evolution of distributed programs
(1989)
URL: https://www2.cs.fau.de/publication/download/schneider_Heraklit_1989.pdf
BibTeX: Download
(Techreport)
:
Werkzeuge zur Optimierung von logischen Porgrammen: Erkenntnisse aus einem Vergleich mi attributierten Grammatiken (Dissertation, 1989)
BibTeX: Download
:
Eine relationale PROLOG-Semantik (Dissertation, 1989)
BibTeX: Download
:
1988
Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme (Dissertation, 1988)
BibTeX: Download
:
Graph-Theoretic Concepts in Computer Science - International Workshop WG '87
Berlin Heidelberg: 1988
(Lecture Notes in Computer Science, Vol. 314)
DOI: 10.1007/3-540-19422-3
BibTeX: Download
, (ed.):
Objektorientierte Strukturierung verteilter Software und statische Typprüfung
Prozeßrechensysteme ’88 - Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik (Stuttgart, 02.03.1988 - 03.03.1988)
In: Lauber, Rudolf (ed.): Prozeßrechensysteme ’88 - Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik, Berlin Heidelberg: 1988
DOI: 10.1007/978-3-642-73445-8_45
BibTeX: Download
:
Physikalische Maßeinheiten und das Typkonzept moderner Programmiersprachen
In: Informatik-Spektrum 11 (1988), p. 256-263
ISSN: 0170-6012
BibTeX: Download
:
Tasks as first class objects in a hierarchy of task types
In: Universität Erlangen (ed.): Interner Bericht, 1988
URL: https://www2.cs.fau.de/publication/download/schneider_FirstClass_1988.pdf
BibTeX: Download
(Techreport)
:
Entwurf und Implementierung der mengentheoretischen Programmiersprache CANTOR (Dissertation, 1988)
BibTeX: Download
:
1987
Graphgrammatiken in der Softwaretechnik (Theorie und Anwendungen) (Habilitation, 1987)
DOI: 10.1007/978-3-642-74024-4
BibTeX: Download
:
Entwurf einer interpretierenden Programmumgebung für mehrere Sprachen (Dissertation, 1987)
BibTeX: Download
:
Chancen und Herausforderungen von Ada, Stellungsnahme zu Schwärtzel et al.
In: Informatik-Spektrum 10 (1987), p. 164-165
ISSN: 0170-6012
BibTeX: Download
, :
1986
Eine Programmierungsumgebung für verteiltes Pearl - Codeerzeugung mittels Programmiersynthese (Dissertation, 1986)
BibTeX: Download
:
Programmverifikation
In: Computer-Magazin (1986), p. 50-55
ISSN: 0343-2572
BibTeX: Download
:
Verschiedene Beiträge
In: Schneider, Hans Jochen (ed.): Lexikon der Informatik und Datenverarbeitung, München Wien: R. Oldenbourg Verlag, 1986
ISBN: 9783486226621
BibTeX: Download
:
Ein vollständiges Mengenkonzept in Programmiersprachen - Realisierung mit unkonventioneller Hardware (Dissertation, 1986)
BibTeX: Download
:
1985
Programming Language Concept for Structuring Control Software in Correspondece to the Technical Process
8th ACM International Computing Symposium (Florence, Italy, 27.03.1985 - 29.03.1985)
In: Bucci, G. ; Valle, G. (ed.): Proceedings of the 8th ACM International Computing Symposium, Amsterdam: 1985
BibTeX: Download
:
Programmiersprachen mit Mengenkonzept für unkonventionelle Hardware
(1985), p. 88
BibTeX: Download
(Techreport)
, , :
1984
Problem Oriented Programming Languages (translated into English by Valerie H. Cottrell & Wendy J. Pitkin)
Chichester, New York: Wiley, John & Sons, 1984
ISBN: 978-0471901112
BibTeX: Download
:
Programmiersprachen und Programmierumgebungen
28. Jahrestagung der GMDS (Heidelberg, 26.09.1983 - 28.09.1983)
In: C. O. Köhler, P. Tautu, G. Wagner, K. Schlaefer (ed.): Beitrag der Informationsverarbeitung zum Fortschritt der Medizin - 28. Jahrestagung der GMDS, Berlin Heidelberg: 1984
DOI: 10.1007/978-3-642-82158-5_8
BibTeX: Download
:
Some Remarks Concerning the Complexity of Sorting and Searching in an Orthogonal Memory
10th International Workshop on Graphtheoretic Concepts in Computer Science (WG '84) (Berlin, 13.06.1984 - 15.06.1984)
In: Pape, U. (ed.): Proceedings of the 10th International Workshop on Graphtheoretic Concepts in Computer Science (WG'84), Linz, Austria: 1984
BibTeX: Download
:
Vorteile höherer Programmiersprachen in der Leittechnik
PEARL in der Leittechnik (Hannover)
In: Tagungsband PEARL in der Leittechnik 1984
BibTeX: Download
:
1983
Formale Beschreibung des inkrementellen Programmierens-im-Grossen mit Graph-Grammatiken (Dissertation, 1983)
BibTeX: Download
:
Sprachkonstrukte zur Spezifikation und korrekten Implementation von Schutzproblemen (Dissertation, 1983)
BibTeX: Download
:
Proceedings of the International Computing Symposium (ICS'83)
Nürnberg: 1983
ISBN: 978-3519024323
BibTeX: Download
(ed.):
Programmiersprachen und Programmierumgebungen - Mit Anwendungen im Ingenieurbereich
Datenverarbeitung in der Konstruktion '83
In: Datenverarbeitung in der Konstruktion '83 1983
BibTeX: Download
:
Tagungsband PEARL-Tagung
1983
BibTeX: Download
(ed.):
Verschiedene Beiträge
In: Schneider, Hans Jochen (ed.): Lexikon der Informatik und Datenverarbeitung, München: Oldenbourg, 1983
ISBN: 9783486226621
BibTeX: Download
:
Zusammenhänge und Unterschiede zwischen Graph-Grammatiken und Petri-Netzen sowie verwandter Systeme (Diploma thesis, 1983)
BibTeX: Download
:
1982
Eine Programmiersprache mit mengentheoretischen Konstrukten und deren effiziente Implementierung (Dissertation, 1982)
BibTeX: Download
:
Ein neuer Ansatz zur Parallelisierung von Compilern (Dissertation, 1982)
BibTeX: Download
:
Portable Codegenerierung in Übersetzern für Prozess-Programmiersprachen (Dissertation, 1982)
BibTeX: Download
:
Proceedings 8th Workshop on Graph-Theoretic Concepts in Computer Science (WG'82)
München: 1982
BibTeX: Download
, (ed.):
1981
Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten
Wien: 1981
(Computing Supplementum, Vol. 3)
ISBN: 978-3-211-81606-6
DOI: 10.1007/978-3-7091-8596-4
BibTeX: Download
, (ed.):
Ein Verfahren zur Erstellung portabler algorithmischer Laufzeitprogramme (Dissertation, 1981)
BibTeX: Download
:
Algebraic Specifications of the Software Controlling a Parcels Distribution Machine
In: Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten, Wien: Springer, 1981, p. 173-180 (Computing Supplementum, Vol.3)
ISBN: 978-3-211-81606-6
DOI: 10.1007/978-3-7091-8596-4_12
BibTeX: Download
:
Problemorientierte Programmiersprachen
Stuttgart: Teubner, 1981
ISBN: 3-519-02456-X
BibTeX: Download
:
Set-Theoretic Concepts in Programming Languages and their Implementation
Graph-Theoretic Concepts in Computer Science (WG '80) (Bad Honnef, 15.06.1980 - 18.06.1980)
In: Hartmut Noltemeier (ed.): Graphtheoretic Concepts in Computer Science - Proceedings of the International Workshop WG 80, Berlin Heidelberg: 1981
DOI: 10.1007/3-540-10291-4_4
BibTeX: Download
:
Binding of the RNA polymerases from Rhizobium leguminosarum 300 and Escherichia coli to the hybrid plasmid pSA31
8th North American Rhizobium Conference (Winnipeg, 03.08.1981 - 07.08.1981)
In: Clark K. W., Stephens J. H. G. (ed.): Proceedings of the 8th North American Rhizobium Conference 1981
BibTeX: Download
, , , :
1980
Comparison of interactive languages
SEAS Anniversary Meeting 1980 (Beito, Norway)
In: SHARE European Association (ed.): Proceedings of SEAS Anniversary Meeting 1980 1980
BibTeX: Download
:
Portable Software, Tagung 1/1980 des German Chapter of the ACM
Stuttgart: 1980
(Berichte des German Chapter of the ACM)
ISBN: 3-519-02423-3
BibTeX: Download
(ed.):
Wie findet ein Computer Informationen?
In: Umschau in Wissenschaft und Technik 80 (1980), p. 483-486
ISSN: 0041-6347
BibTeX: Download
:
1979
Workshop WG 78 on Graphtheoretic Concepts in Computer Science
München: 1979
ISBN: 3-446-12748-8
BibTeX: Download
, (ed.):
Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage
(1979)
BibTeX: Download
(Techreport)
:
Verschiedene Beiträge
In: Schriever, K.-H. ; Schuh, F. (ed.): Enzyklopädie Naturwissenschaft und Technik, München: Moderne Industrie, 1979
BibTeX: Download
:
Proceedings 4th Workshop on Graph-Theoretic Concepts in Computer Science
München: 1979
BibTeX: Download
, (ed.):
1978
Beschreibung von Programmmoduln zum Entwurf zuverlässiger Softwaresysteme (Dissertation, 1978)
BibTeX: Download
:
Graph-Grammatiken - Theorie, Anwendungen, Implementierungen (Habilitation, 1978)
BibTeX: Download
:
Implementation of graph-grammars using a pseudo-associative memory
3. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science) (Linz, 17.06.1977 - 19.06.1977)
In: Mühlbacher, Jörg (ed.): Datenstrukturen, Graphen, Algorithmen : Ergebnisse des Workshops WG 77, München: 1978
BibTeX: Download
:
Programmentwicklung als konstruktive Aufgabe
(1978)
URL: https://www2.cs.fau.de/publication/download/schneider_Entwicklung_1978.pdf
BibTeX: Download
(Techreport)
:
Synthese von analysierenden Automaten auf Grund von formalen Grammatiken (Dissertation, 1978)
BibTeX: Download
:
Höhere Programmiersprachen für Kleinrechner: Anforderungen, Entwicklungskriterien, Compileraspekte (Dissertation, 1978)
BibTeX: Download
:
Datengraphen und deren Transformation: Ein Konzept zur Spezifikation von Datentypen (Dissertation, 1978)
BibTeX: Download
:
1977
EBIDIS Strukturierte Bildprogrammierung im Dialog (Dissertation, 1977)
BibTeX: Download
:- Göttler, H:
Zweistufige Graphmanipulationssysteme für die Semantik von Programmiersprachen (Dissertation, 1977)
BibTeX: Download
GI - 7. Jahrestagung
Berlin Heidelberg: 1977
(Informatik-Fachberichte, Vol. 10)
ISBN: 978-3-540-08425-9
DOI: 10.1007/978-3-642-48908-2
BibTeX: Download
(ed.):
Graph grammars
International Conference on Fundamentals of Computation Theory (FCT 1977) (Poznan-Kórnik, 19.09.1977 - 12.09.1977)
In: Karpinski, Marek (ed.): Proceedings of the International Conference on Fundamentals of Computation Theory (FCT 1977), Berlin Heidelberg: 1977
DOI: 10.1007/3-540-08442-8_99
BibTeX: Download
:
1976
Conceptual data base description using graph-grammars
Workshops WG 76 ; 2. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science) (Göttingen, 16.06.1976 - 18.06.1976)
In: Noltemeier, H. (ed.): Graphen, Algorithmen, Datenstrukturen - Ergebnisse des Workshops WG 76 ; 2. Fachtagung über Graphentheoretische Konzepte der Informatik, München: 1976
BibTeX: Download
:
Informatik, (Arbeitsberichte zur Hochschulplanung)
In: Beiträge zur Hochschulforschung Ad Acta (1976), p. 82-88
ISSN: 0171-645X
BibTeX: Download
:
Grammars on partial graphs
In: Acta Informatica 6 (1976), p. 297-316
ISSN: 0001-5903
DOI: 10.1007/BF00288659
BibTeX: Download
, :
A general purpose array with a broad spectrum of applications
Computer Architecture - Workshop of the Gesellschaft für Informatik (Erlangen, 22.03.1975 - 23.03.1975)
In: Händler, Wolfgang (ed.): Informatik-Fachberichte - Computer Architecture, Workshop of the Gesellschaft für Informatik, Berlin Heidelberg: 1976
DOI: 10.1007/978-3-642-66400-7
BibTeX: Download
, , :- Schneider, Hans Jürgen ; Nagl, Manfred (ed.):
Programmiersprachen - 4. Fachtagung der GI
Berlin Heidelberg: 1976
(Informatik-Fachberichte, Vol. 1)
ISBN: 978-3-540-07619-3
DOI: 10.1007/978-3-642-66319-2
BibTeX: Download
Programmiersprachen
Berlin: 1976
(Infomatik-Fachberichte, Vol. 1)
BibTeX: Download
, (ed.):
1975
Compiler - Aufbau und Wirkungsweise
Berlin, New York: De Gruyter, 1975
ISBN: 3-11-002058-0
BibTeX: Download
:
Syntax-Directed Description of Incremental Compilers
GI - 4. Jahrestagung (Berlin, 09.10.1974 - 12.10.1974)
In: Siefkes, Dirk (ed.): GI - 4. Jahrestagung, Berlin Heidelberg: 1975
DOI: 10.1007/978-3-662-40087-6
BibTeX: Download
:
Turingmaschinen mit assoziativem Speicherzugriff (Dissertation, 1975)
BibTeX: Download
:
1974
Formale Sprachen von markierten Graphen (Dissertation, 1974)
BibTeX: Download
:
1973
Graph-grammars: An algebraic approach
14th Annual Symposium on Switching and Automata Theory (SWAT 1973) (Iowa, 15.10.1973 - 17.10.1973)
In: IEEE Conference Record of 14th Annual Symposium on Switching and Automata Theory (SWAT 1973) 1973
DOI: 10.1109/SWAT.1973.11
URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_EPS1973.pdf
BibTeX: Download
, , :
Kategorielle Konstruktionen in der Theorie der Graph-Grammatiken
6 (1973), p. 30-55
BibTeX: Download
(Techreport)
, , :
A necessary and sufficient condition for Chomsky-productions over partially ordered symbol sets
GI. Gesellschaft für Informatik e.V. 2. Jahrestagung (Karlsruhe, 02.10.1972 - 04.10.1972)
In: Deussen, Peter (ed.): GI. Gesellschaft für Informatik e.V. 2. Jahrestagung, Berlin Heidelberg: 1973
DOI: 10.1007/978-3-642-80732-9
BibTeX: Download
:
Chomsky-languages for multidimensional input-media
International Computing Symposium (Bonn, 21.05.1973 - 22.05.1973)
In: International Computing Symposium, Amsterdam: 1973
BibTeX: Download
:
Convex graph-grammars
(1973)
BibTeX: Download
(Techreport)
:
Ein Test der Einbettbarkeit markierter Graphen unter Verwendung einer Hash-Codierung
GI Gesellschaft für Informatik e. V. - 3. Jahrestagung (Hamburg, 08.10.1973 - 10.10.1973)
In: Brauer, Wilfried (ed.): GI Gesellschaft für Informatik e. V. - 3. Jahrestagung, Berlin Heidelberg: 1973
DOI: 10.1007/3-540-06473-7_8
BibTeX: Download
:
Fachgespräch über mehrdimensionale formale Sprachen
6 (1973)
BibTeX: Download
(Techreport)
:
1972
Einführung in die Programmierung digitaler Rechenautomaten
Berlin: De Gruyter, 1972
ISBN: 3-11-001969-8
BibTeX: Download
, :
1971
Chomsky-like systems for partially ordered symbol sets
(1971)
BibTeX: Download
(Techreport)
:
Formal systems for structure manipulation
Mensch-Maschine-Kommunikation,Kongreß (Erlangen)
In: Händler, Wolfgang, Weizenbaum, Joseph, Bitzer, Donald (ed.): Display Use for Man-Machine Dialog, München: 1971
BibTeX: Download
:
1970
Chomsky-Systeme für partielle Ordnungen
3 (1970)
BibTeX: Download
(Techreport)
:
Programmieren von Datenverarbeitungsanlagen
De Gruyter, 1970
BibTeX: Download
, :
1969
Zur Verwendung boolescher Übergangsmatrizen in Compilern
In: Elektronische Rechenanlagen mit Computer Praxis 11 (1969), p. 336-337
ISSN: 0013-5720
BibTeX: Download
:
1967
Programmierung numerischer Probleme
1 (1967)
BibTeX: Download
(Techreport)
:
Zur Beschreibung großer kontexfreier Grammatiken
3. Kolloquium Automatentheorie und formale Sprachen
In: Händler, Wolfgang ; Peschl, Ernst ; Unger, Heinz (ed.): 3. Kolloquium Automatentheorie und formale Sprachen, Basel/ Schweiz: 1967
BibTeX: Download
:
Programmieren von Datenverarbeitungsanlagen
Berlin: De Gruyter, 1967
BibTeX: Download
, :
1966
Die Berücksichtigung von Kasus, Genus und anderen Spezifikationen bei formalen Grammatiken natürlicher Sprachen
In: Elektronische Datenverarbeitung 8 (1966), p. 245-248
ISSN: 0374-3012
BibTeX: Download
:
Ein formales Verfahren zur Sprachanalyse und seine Anwendungsmöglichkeiten
Zweites Kolloquium über Syntax natürlicher Sprachen und Datenverarbeitung (Oberwolfach, 28.06.1965 - 29.06.1965)
In: Detering, Klaus ; Pilch, Herbert (ed.): Syntax und Datenverarbeitung II 1966
BibTeX: Download
:
1965
Ein formales Verfahren zur maschinellen Sprachanalyse (Dissertation, 1965)
BibTeX: Download
:
1962
Die Praxis der Fehlerabschätzung bei Anfangswertproblemen
X-4- (1962), p. 135-144
BibTeX: Download
(Techreport)
: