Sebastian Brand

Orcid: 0000-0003-2278-2042

According to our database1, Sebastian Brand authored at least 32 papers between 2001 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Thermal source separation for 3D defect localization using independent component analysis (ICA) from time-resolved temperature response (TRTR).
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Enhanced non-contact ultrasonic testing using an air-coupled optical microphone.
Proceedings of the 2020 IEEE Sensors, Rotterdam, The Netherlands, October 25-28, 2020, 2020

2017
Study of GHz-SAM sensitivity to delamination in BEOL layers.
Microelectron. Reliab., 2017

2016
Magnetic field and current density imaging using off-line lock-in analysis.
Microelectron. Reliab., 2016

Investigating stress measurement capabilities of GHz Scanning Acoustic Microscopy for 3D failure analysis.
Microelectron. Reliab., 2016

Detection and analysis of stress-induced voiding in Al-power lines by acoustic GHz-microscopy.
Microelectron. Reliab., 2016

2015
Scanning acoustic GHz-microscopy versus conventional SAM for advanced assessment of ball bond and metal interfaces in microelectronic devices.
Microelectron. Reliab., 2015

2012
Optimisation Modelling for Software Developers.
Proceedings of the Principles and Practice of Constraint Programming, 2012

CP and MIP Methods for Ship Scheduling with Time-Varying Draft.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12.
Constraints An Int. J., 2011

CP and IP approaches to cancer radiotherapy delivery optimization.
Constraints An Int. J., 2011

Constraints in Non-Boolean Contexts.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010
Automated inspection and classification of flip-chip-contacts using scanning acoustic microscopy.
Microelectron. Reliab., 2010

2009
The sum-of-increments constraint in the consecutive-ones matrix decomposition problem.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Branch-and-Price Solving in G12.
Proceedings of the Models and Algorithms for Optimization in Logistics, 21.06., 2009

2008
Flexible, Rule-Based Constraint Model Linearisation.
Proceedings of the Practical Aspects of Declarative Languages, 2008

From High-Level Model to Branch-and-Price Solution in G12.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

MiniZinc: Towards a Standard CP Modelling Language.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Encodings of the Sequence Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
ACD Term Rewriting.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Towards "Propagation = Logic + Control".
Proceedings of the Logic Programming, 22nd International Conference, 2006

Infinite Qualitative Simulations by Means of Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Schedulers and redundancy for a class of constraint propagation rules.
Theory Pract. Log. Program., 2005

Constraint-Based Qualitative Simulation.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

2004
Relation Variables in Qualitative Spatial Reasoning.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003
Deductive Generation of Constraint Propagation Rules.
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Schedulers for Rule-Based Constraint Programming.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Constraint Methods for Modal Satisfiability.
Proceedings of the Recent Advances in Constraints, 2003

Constraint Programming for Modelling and Solving Modal Satisfability.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
A Note on Redundant Rules in Rule-Based Constraint Programming.
Proceedings of the Recent Advances in Constraints, 2002

2001
Constraint Propagation in Presence of Arrays
CoRR, 2001


  Loading...