Serge Autexier

According to our database1, Serge Autexier authored at least 64 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
"Es werden vermutlich vor allem Teilassistenzen immer mehr im privaten und beruflichen Alltag Einzug halten".
Wirtschaftsinformatik & Management, 2019

Look what I can do: acquisition of programming skills in the context of living labs.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019


Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners.
Proceedings of the 18th ACM International Conference on Interaction Design and Children, 2019

2018
BEESM, a block-based educational programming tool for end users.
Proceedings of the 10th Nordic Conference on Human-Computer Interaction, Oslo, 2018

2017

2016
Model-Based Specification and Refinement for Cyber-Physical Systems.
Proceedings of the Dynamics in Logistics, 2016

People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras.
Proceedings of the Inclusive Smart Cities and Digital Health, 2016

2015
Similarity-Based Diff, Three-Way Diff and Merge.
Int. J. Software and Informatics, 2015

Structure Formation in Large Theories.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

SHIP - A Logic-Based Language and Tool to Program Smart Environments.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Formal Modelling for Cooking Assistance.
Proceedings of the Software, 2015

2013
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments.
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo).
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

2012
Structure Formation to Modularize Ontologies.
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

SmartTies - Management of Safety-Critical Developments.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System.
Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Towards an Intelligent Tutor for Mathematical Proofs
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010
Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge.
Mathematics in Computer Science, 2010

Recent developments in mega's proof search programming language.
ACM Comm. Computer Algebra, 2010

A Tactic Language for Declarative Proofs.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Adding Change Impact Analysis to the Formal Verification of C Programs.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Semantics-based change impact analysis for heterogeneous collections of documents.
Proceedings of the 2010 ACM Symposium on Document Engineering, 2010

Change Management for Heterogeneous Development Graphs.
Proceedings of the Verification, Induction, Termination Analysis, 2010

2009
Jacques Herbrand: Life, Logic, and Automated Deduction.
Proceedings of the Logic from Russell to Church, 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

Towards Merging PlatOmega and PGIP.
Electr. Notes Theor. Comput. Sci., 2009

Atomic Metadeduction.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.
Mathematics in Computer Science, 2008

Preface.
J. Autom. Reasoning, 2008

2007
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Deep Inference for Automated Proof Tutoring?
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

2006
Development graphs - Proof management for structured specifications.
J. Log. Algebr. Program., 2006

Computer supported mathematics with Omegamega.
J. Applied Logic, 2006

Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Preface -- Workshop Trustworthy Software 2006.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

The MathServe System for Semantic Web Reasoning Services.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
Preface to the special issue of selected papers from FCS/VERIFY 2002.
Int. J. Inf. Sec., 2005

On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

The CoRe Calculus.
Proceedings of the Automated Deduction, 2005

Formal Software Development in MAYA.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Interactive Theorem Proving with Tasks.
Electr. Notes Theor. Comput. Sci., 2004

Assertion-level Proof Representation with Under-Specification.
Electr. Notes Theor. Comput. Sci., 2004

2003
Hierarchical contextual reasoning.
PhD thesis, 2003

Disproving False Conjectures.
Proceedings of the Logic for Programming, 2003

Assertion Application in Theorem Proving and Proof Planning.
Proceedings of the IJCAI-03, 2003

2002
Towards Proof Planning for Mω+.
Electr. Notes Theor. Comput. Sci., 2002

Maintenance of Formal Software Developments by Stratified Verification.
Proceedings of the Logic for Programming, 2002

Integrating HOL-CASL into the Development Graph Manager MAYA.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

The Development Graph Manager MAYA.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
Electr. Notes Theor. Comput. Sci., 2001

A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas.
Electr. Notes Theor. Comput. Sci., 2001

Extending Development Graphs with Hiding.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
VSE: formal methods meet industrial needs.
STTT, 2000

1999
Towards an Evolutionary Formal Software-Development Using CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

System Description: inka 5.0 - A Logic Voyager.
Proceedings of the Automated Deduction, 1999

1998
Simultaneous Quantifier Elimination.
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998


  Loading...