Concepedia

Moa Johansson

MJ

Statistics

Publications

10

Citations

299

H-Index

10

Active since

2002

Affiliations

Uppsala University(Current)

Chalmers University of Technology

Moa Johansson is an author at Uppsala University specializing in engineering, computer science, and edge computing.

Top concepts

EngineeringComputer ScienceEdge ComputingAutomated ReasoningComputer EngineeringFormal MethodsProgram AnalysisSignal ProcessingSoftware AnalysisFormal Verification

Publications per year

2002–2018

10

Publications

10

Conjecture Synthesis for Inductive Theories

Moa Johansson, Lucas Dixon, Alan Bundy · Journal of Automated Reasoning · 2010 · 83 citations · Full text

Automated Reasoning, Conjecture Synthesis, Model Theory +2

Benefits of multiuser diversity with limited feedback

Moa Johansson · 2003 · 39 citations

Cross-layer Optimization, Engineering, Diversity Technique +10

Design of a medium access control protocol for a WDMA/TDMA photonic ring network

J. Fransson, Moa Johansson, Matthew Roughan et al. · 2002 · 33 citations · Full text

Free-space Optical Network, Photonics, Engineering +9

Resource Allocation Under Uncertainty Using the Maximum Entropy Principle

Moa Johansson, Mikael Sternad · IEEE Transactions on Information Theory · 2005 · 29 citations

Mathematical Programming, Optimal Resource Allocation, Engineering +16

Quick specifications for the busy programmer

Nicholas Smallbone, Moa Johansson, Koen Claessen et al. · Journal of Functional Programming · 2017 · 28 citations

Engineering, System Programming, Theory Exploration +21

1–5 of 10