Anna-Lena Lamprecht

According to our database1, Anna-Lena Lamprecht authored at least 60 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Ontology of core concept data types for answering geo-analytical questions.
J. Spatial Inf. Sci., 2020

Towards FAIR principles for research software.
Data Sci., 2020

Community curation of bioinformatics software and data resources.
Briefings Bioinform., 2020

APE: A Command-Line Tool and API for Automated Workflow Composition.
Proceedings of the Computational Science - ICCS 2020, 2020

Exploring Student-Controlled Social Comparison.
Proceedings of the Addressing Global Challenges and Quality Education, 2020

2019
Automated workflow composition in mass spectrometry-based proteomics.
Bioinform., 2019

Workflow Discovery Through Semantic Constraints: A Geovisualization Case Study.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

2018
Introduction to the special issue on "Software Business".
J. Syst. Softw., 2018

Track Introduction - Doctoral Symposium 2018.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Domain-specific design of patient classification in cancer-related cachexia research.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Automated Composition of Scientific Workflows in Mass Spectrometry-Based Proteomics.
Proceedings of the 14th IEEE International Conference on e-Science, 2018

Automated Composition of Scientific Workflows: A Case Study on Geographic Data Manipulation.
Proceedings of the 14th IEEE International Conference on e-Science, 2018

Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017

Computing Camps for Girls - A First-Time Experience at the University of Limerick.
Proceedings of the Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing, 2017

Model checking of security properties: A case study on Human-Robot Interaction processes.
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

2016
Scientific workflows.
Int. J. Softw. Tools Technol. Transf., 2016

Scientific workflows with the jABC framework - A review after a decade in the field.
Int. J. Softw. Tools Technol. Transf., 2016

Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework.
Proceedings of the MODELSWARD 2016, 2016

Synthesis from a Practical Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

A Summer Computing Camp Using ChainReaction and jABC.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge.
Proceedings of the 8th Semantic Web Applications and Tools for Life Sciences International Conference, 2015

User-level synthesis: treating product lines as systems of constraints.
Proceedings of the 19th International Conference on Software Product Line, 2015

Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education.
Proceedings of the International Conference on Computational Science, 2015

Foundations of Semantics and Model Checking in a Software Engineering Course.
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

On the Use of XMDD in Software Development Education.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Lessons Learned.
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

The Course's SIB Libraries.
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Modeling and Execution of Scientific Workflows with the jABC Framework.
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Scientific Workflows and XMDD.
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Simplicity-first model-based plug-in development.
Softw. Pract. Exp., 2014

jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Track Introduction: Scientific Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
User-Level Workflow Design - A Bioinformatics Perspective.
Lecture Notes in Computer Science 8311, Springer, ISBN: 978-3-642-45389-2, 2013

Variability Management beyond Feature Models.
Computer, 2013

2012
A constraint-based variability modeling framework.
Int. J. Softw. Tools Technol. Transf., 2012

Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Bioscientific Data Processing and Modeling.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Simplicity principles for plug-in development: the jABC approach.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Loose Programming with PROPHETS.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Semantics-based composition of EMBOSS services.
J. Biomed. Semant., 2011

Constraint-oriented Variability Modeling.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Tailoring Process Synthesis to Domain Characteristics.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Synthesis-Based Variability Control: Correctness by Construction.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows.
Proceedings of the Eternal Systems - First International Workshop, 2011

2010
Bioinformatics: Processes and Workflows.
Proceedings of the Encyclopedia of Software Engineering, 2010

Constraint-Guided Workflow Composition Based on the EDAM Ontology.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Synthesis-Based Loose Programming.
Proceedings of the Quality of Information and Communications Technology, 2010

Tools in Scientific Workflow Composition.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Bio-jETI: a framework for semantics-based service composition.
BMC Bioinform., 2009

Semantics-Based Composition of EMBOSS Services with Bio-jETI.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

From Bio-jETI Process Models to Native Code.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.
BMC Bioinform., 2008

Supporting Process Development in Bio-jETI by Model Checking and Synthesis.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences ( SWAT4LS ) Edinburgh, 2008

Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI.
Proceedings of the Bioinformatics Research and Applications, 2008

2006
Datenflussanalyse als Modelchecking im jABC.
Proceedings of the Software Engineering 2006, 2006

Data-Flow Analysis as Model Checking Within the jABC.
Proceedings of the Compiler Construction, 15th International Conference, 2006


  Loading...