Michael Baer

According to our database, Michael Baer authored at least 6 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests.

Michael Baer, Norbert Oster, Michael Philippsen

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2013

Definitions of Managed Objects for the Resource Public Key Infrastructure (RPKI) to Router Protocol.

Randy Bush, Bert Wijnen, Keyur Patel, Michael Baer

RFC, May, 2013

2010

Multiple track 4D-road representation.

Michael Baer, Ulrich Hofmann, Stefan Gies

Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010

2008

Tight Bounds on Minimum Maximum Pointwise Redundancy

Michael Baer

CoRR, 2008

2007

IPsec Security Policy Database Configuration MIB.

Michael Baer, Ricky Charlet, Wes Hardaker, Robert Story, Cliff Wang

RFC, March, 2007

1998

Designing Audio Aura.

Elizabeth D. Mynatt, Maribeth Back, Roy Want, Michael Baer, Jason B. Ellis

Proceedings of the Proceeding of the CHI '98 Conference on Human Factors in Computing Systems, 1998