What kind of House music is this?

[Lop-Sided]

Except for a very short period of time, I've never been much of a house music fan. Even though it contains numerous subgenres, the problem is that I've never really gotten to learn much about it, and this caused me to dismiss the entire genre as a whole.

I've been expanding my musical horizons a lot lately, and I've come across some house music that I really like. However, I'm not sure what producers make similar stuff or even what house subgenres they belong to. Can somebody give me more information about what I've posted and sort of guide me in the right direction?

I've heard all of the following tracks on "Tiesto's Club Life" radio show a couple years ago, and I think that they fall under the category of progressive house (but I'm not 100% sure). I guess my question is, can someone verify that this is progressive house and that I'm not completely off?

Spoiler

Empire of the Sun - Rule The World (Aeonism Remix)


Laidback Luke feat. Jonathan Mendelsohn - Till Tonight (Original Mix)


Bertie Blackman - Heart (Timmy And Tommy Remix)

More relaxing stuff. I have no clue as to what kind of house it would be classified as though or who makes similar stuff.

Spoiler

Control One - Gotta Move It (Club Mix)


Fenix - Bass Behavior
(I'm talking about the house break from 1:41-2:11 not the jump portion.)


Lady GaGa - Poker Face (Jody Den Broeder Remix)

Thanks a lot, everybody!

[TheRavestyler]

Sounds like normal house music to me
anyways Hardwell makes Progressive House Music

[Reverse Ghost]

Might be Progressive House or some obscure subgenre

[Thund3rJunky]

Sounds like normal house lol
First one has some deadmau5ish progressive building.

[Matt]

Maybe Trouse ?

[Reverse Ghost]

IT's obviously post-Hardcore Experimental Prog-Tek-House with a little bit of a Nu-style post-Guetta French Electro-House influence. DUH!!

[Digital Audio Tape]

the topic title reminded me of this