Volker Sorge – Network — University of Birmingham

View Scopus Profile

Accepting PhD Students

PhD projects

Volker Sorge’s research interests include:

Computer algebra
Scientific document analysis
Logic and automated reasoning
He is also involved in the Scientific Document Analysis Group.

Research activity per year

If you made any changes in Pure these will be visible here soon.

Alan Sexton

Computer Science - Associate Professor

Person: Academic

28 shared research output

Peter Lee

Geography - Associate Professor in Collaborative Planning

Person: Academic

3 shared research output

Mark Lee

Computer Science - Interim Head of School of Computer Science

Person: Academic

1 shared research output

S Colton

External person

12 shared research output

A Meier

External person

12 shared research output

R McCasland

External person

7 shared research output

M Suzuki

External person

7 shared research output

SM Watt

External person

6 shared research output

C Benzmuller

External person

5 shared research output

T Walsh

External person

4 shared research output

P Sojka

External person

4 shared research output

WM Farmer

External person

4 shared research output

J Carette

External person

4 shared research output

S Autexier

External person

3 shared research output

M Pollet

External person

3 shared research output

O Caprotti

External person

3 shared research output

E Ferrari

External person

3 shared research output

M Kohlhase

Jacobs University

External person

3 shared research output

J Campbell

External person

3 shared research output

F Wiedijk

External person

3 shared research output

J Rubio

External person

3 shared research output

M Shah

Quaid-i-azam Universty

External person

3 shared research output

J Gow

External person

3 shared research output

M Jamnik

External person

2 shared research output

M Moschner

External person

2 shared research output

J Baker

External person

2 shared research output

S Schulz

External person

2 shared research output

Peter Krautzberger

External person

2 shared research output

JM Borwein

External person

2 shared research output

J Calmet

External person

2 shared research output

A Bolotov

External person

2 shared research output

A Franke

External person

2 shared research output

A Fiedler

External person

2 shared research output

H Horacek

External person

2 shared research output

Davide Cervone

External person

2 shared research output

N Shankar

External person

1 shared research output

R Miner

External person

1 shared research output

A. Jonathan R. Godfrey

External person

1 shared research output

A Cohen

External person

1 shared research output

A Bundy

External person

1 shared research output

J Llados

External person

1 shared research output

J Borwein

External person

1 shared research output

S Biundo

External person

1 shared research output

E Melis

External person

1 shared research output

A Voronkov

External person

1 shared research output

W Windsteiger

External person

1 shared research output

F Theiβ

External person

1 shared research output

P Cairns

External person

1 shared research output

C-P Wirth

External person

1 shared research output

L Cheikhrouhou

External person

1 shared research output

S Watt

External person

1 shared research output

S Taylor

External person

1 shared research output

R Rioboo

External person

1 shared research output

J Fleuriot

External person

1 shared research output

David Tseng

Google, Inc.

External person

1 shared research output

Cezary Kaliszyk

University of Innsbruck

External person

1 shared research output

C Schurmann

External person

1 shared research output

Jacques Carette

McMaster University

External person

1 shared research output

XX Calmet

External person

1 shared research output

T Bouche

External person

1 shared research output

Donal Fitzpatrick

External person

1 shared research output

L Dennis

External person

1 shared research output

M Fisher

External person

1 shared research output

G Sutcliffe

External person

1 shared research output

J-G Dumas

External person

1 shared research output

M Kauers

External person

1 shared research output

E Giunchiglia

External person

1 shared research output

B Tjahjono

External person

1 shared research output

F Bacchus

External person

1 shared research output

V Brezhnev

External person

1 shared research output

J Siekmann

External person

1 shared research output

M Gunal

External person

1 shared research output

B Benhamou

External person

1 shared research output

T Fruhwirth

External person

1 shared research output

T. V. Raman

Google, Inc.

External person

1 shared research output

B Konev

External person

1 shared research output

W Stephan

External person

1 shared research output

P Torres

External person

1 shared research output

S Robinson

External person

1 shared research output

LP Buckland

External person

1 shared research output

D Hutter

Johann Wolfgang Goethe-Universität Frankfurt

External person

1 shared research output

M Rayner

External person

1 shared research output

U Furbach

External person

1 shared research output

T Kanahori

External person

1 shared research output

L Dixon

External person

1 shared research output

I Normann

External person

1 shared research output

G Theodoropoulos

External person

1 shared research output

T Hardin

External person

1 shared research output

K Yamaguchi

External person

1 shared research output

M Pollett

External person

1 shared research output

CS Sacerdoti Coen

External person

1 shared research output

L Henocque

External person

1 shared research output

W Zhang

External person

1 shared research output

H Ikeda

External person

1 shared research output

C Ullrich

External person

1 shared research output

J Harrison

University of Manchester

External person

1 shared research output

Charles Chen

Google, Inc.

External person

1 shared research output

D Berry

External person

1 shared research output

W Farmer

External person

1 shared research output

F Baader

External person

1 shared research output

W Liu

Tsinghua University

External person

1 shared research output

A Raja

External person

1 shared research output

R Trapl

External person

1 shared research output

Florian Rabe

Jacobs University

External person

1 shared research output

A Al-Ali

Quaid-i-azam Universty

External person

1 shared research output

EM Voorhees

External person

1 shared research output

SH Murray

External person

1 shared research output

U Hustadt

External person

1 shared research output

A Distler

External person

1 shared research output

I Ahmad

University of Malakand

External person

1 shared research output

J Zimmer

External person

1 shared research output