Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lisbeth Fajstrup
Trace Spaces: An Efficient New Technique for State-Space Reduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Efficient Preprocessing Technique for Noise Reduction in Ear Verification System
International Journal of Computer Applications
An Explicit Linearized State-Space Technique for Accelerated Simulation of Electromagnetic Vibration Energy Harvesters
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
A Model Reduction Technique in Space and Time for Fatigue Simulation
Lecture Notes in Applied and Computational Mechanics
Computational Theory
Mechanical Engineering
Mathematics
State Space Reduction Techniques for Model Checking of MANET Protocols
International Journal of Networking and Computing
An Adaptive Prefix-Assignment Technique for Symmetry Reduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Packer: An Innovative Space-Time-Efficient Parallel Garbage Collection Algorithm Based on Virtual Spaces
An Efficient Technique for Solving Lane-Emden Equation
Al-Qadisiyah Journal Of Pure Science
An Efficient Power Reduction Technique in Orthogonal Frequency Division Multiplexing System Using Tone Reservation
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
An Efficient Algorithm for Incremental Update of Concept Spaces
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
