Help
RSS
API
Feed
Maltego
Contact
Domain > lmf.di.uminho.pt
×
Welcome!
Right click nodes and scroll the mouse to navigate the graph.
×
More information on this domain is in
AlienVault OTX
Is this malicious?
Yes
No
DNS Resolutions
Date
IP Address
2025-02-25
185.199.108.153
(
ClassC
)
2025-06-07
185.199.110.153
(
ClassC
)
2026-01-24
185.199.109.153
(
ClassC
)
Port 80
HTTP/1.1 200 OKConnection: keep-aliveContent-Length: 46400Server: GitHub.comContent-Type: text/html; charsetutf-8Last-Modified: Fri, 03 Feb 2023 16:59:42 GMTAccess-Control-Allow-Origin: *ETag: 63dd3d7 !DOCTYPE html>html langen>head> link relstylesheet hrefhttps://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css> meta charsetutf-8> meta http-equivX-UA-Compatible contentIEedge> meta nameviewport contentwidthdevice-width, initial-scale1> title>Logic and Formal Methods Group/title> meta namedescription contentLFM website> meta namekeywords contentsoftware architecture, process calculi, coordination, algebraic reasoning, program transformation, components> meta nameauthor contentRenato Neves > meta namegoogle-site-verification contentDRIp9oJtDGoKi2pPuGMqBkksSgKuidiWN_kRCrZMvkg />!-- base hrefhttp://lmf.di.uminho.pt/ target_parent /> --> link relmask-icon href color#34569c> link hrefextra/css/bootstrap-bw.min.css relstylesheet mediascreen> link hrefextra/css/main2.css relstylesheet>/head>body>div classnavbar navbar-default navbar-fixed-top> div classnavbar-header> button typebutton classnavbar-toggle data-togglecollapse data-target.navbar-responsive-collapse> span classicon-bar>/span> span classicon-bar>/span> span classicon-bar>/span> /button> /div> div classnavbar-collapse collapse navbar-responsive-collapse> ul classnav navbar-nav idmyTab> li classactive>a href#home data-toggletab aria-expandedtrue>Home/a>/li> !--~~~~~~~~~~~~~~~~~ CHANGE TABS HERE ~~~~~~~~~~~~~~~~~~--> li>a href#members data-toggletab aria-expandedfalse>Members/a>/li> li>a href#projects data-toggletab aria-expandedfalse>Projects/a>/li> li>a href#publications data-toggletab aria-expandedfalse>Publications/a>/li> li>a href#tools data-toggletab aria-expandedfalse>Tools/a>/li> li>a href#teaching data-toggletab aria-expandedfalse>Teaching/a>/li> !-- li>a href#events data-toggletab aria-expandedfalse>Events/a>/li> --> /ul> /div>/div>div classsplash> h2 classsplash-title>/h2> div classblue-rect> h4 classsplash-subtitle>Logic and Formal Methods Group/h4> h4 classsplash-subtitle> Research team @ HASLab, Univ. M
Port 443
HTTP/1.1 200 OKConnection: keep-aliveContent-Length: 46400Server: GitHub.comContent-Type: text/html; charsetutf-8Last-Modified: Fri, 03 Feb 2023 16:59:42 GMTAccess-Control-Allow-Origin: *ETag: 63dd3d7 !DOCTYPE html>html langen>head> link relstylesheet hrefhttps://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css> meta charsetutf-8> meta http-equivX-UA-Compatible contentIEedge> meta nameviewport contentwidthdevice-width, initial-scale1> title>Logic and Formal Methods Group/title> meta namedescription contentLFM website> meta namekeywords contentsoftware architecture, process calculi, coordination, algebraic reasoning, program transformation, components> meta nameauthor contentRenato Neves > meta namegoogle-site-verification contentDRIp9oJtDGoKi2pPuGMqBkksSgKuidiWN_kRCrZMvkg />!-- base hrefhttp://lmf.di.uminho.pt/ target_parent /> --> link relmask-icon href color#34569c> link hrefextra/css/bootstrap-bw.min.css relstylesheet mediascreen> link hrefextra/css/main2.css relstylesheet>/head>body>div classnavbar navbar-default navbar-fixed-top> div classnavbar-header> button typebutton classnavbar-toggle data-togglecollapse data-target.navbar-responsive-collapse> span classicon-bar>/span> span classicon-bar>/span> span classicon-bar>/span> /button> /div> div classnavbar-collapse collapse navbar-responsive-collapse> ul classnav navbar-nav idmyTab> li classactive>a href#home data-toggletab aria-expandedtrue>Home/a>/li> !--~~~~~~~~~~~~~~~~~ CHANGE TABS HERE ~~~~~~~~~~~~~~~~~~--> li>a href#members data-toggletab aria-expandedfalse>Members/a>/li> li>a href#projects data-toggletab aria-expandedfalse>Projects/a>/li> li>a href#publications data-toggletab aria-expandedfalse>Publications/a>/li> li>a href#tools data-toggletab aria-expandedfalse>Tools/a>/li> li>a href#teaching data-toggletab aria-expandedfalse>Teaching/a>/li> !-- li>a href#events data-toggletab aria-expandedfalse>Events/a>/li> --> /ul> /div>/div>div classsplash> h2 classsplash-title>/h2> div classblue-rect> h4 classsplash-subtitle>Logic and Formal Methods Group/h4> h4 classsplash-subtitle> Research team @ HASLab, Univ. M
Subdomains
Date
Domain
IP
xdteste2.di.uminho.pt
2025-08-16
193.136.19.158
prajt2.di.uminho.pt
2025-08-18
193.136.19.158
www2.di.uminho.pt
2026-01-18
193.136.19.152
li3.di.uminho.pt
2026-01-22
193.136.19.52
h109.di.uminho.pt
2025-06-12
193.136.19.109
mca.di.uminho.pt
2025-08-20
193.136.19.126
ciberseguranca.di.uminho.pt
2025-06-07
193.136.19.126
quantum-software-engineering.arca.di.uminho.pt
2025-06-08
54.215.62.21
computacao-avancada.di.uminho.pt
2025-08-19
193.136.19.126
omega.di.uminho.pt
2025-08-22
193.136.19.69
natura.di.uminho.pt
2025-08-21
193.136.19.132
necc.di.uminho.pt
2026-01-20
193.136.19.227
necchange.necc.di.uminho.pt
2025-06-12
54.215.62.21
gsd.di.uminho.pt
2025-08-21
193.136.19.96
escada.lsd.di.uminho.pt
2026-01-22
193.136.19.96
gitlab.lsd.di.uminho.pt
2025-08-16
193.136.19.96
wiki-macc.lsd.di.uminho.pt
2025-06-26
193.136.19.96
im-macc.lsd.di.uminho.pt
2025-08-18
193.136.19.96
git-macc.lsd.di.uminho.pt
2025-08-22
193.136.19.96
red.lsd.di.uminho.pt
2026-01-18
193.136.19.96
concierge.lsd.di.uminho.pt
2026-01-17
193.136.19.96
pson.lsd.di.uminho.pt
2026-01-19
193.136.19.96
strongrep.lsd.di.uminho.pt
2026-01-18
193.136.19.96
dump.lsd.di.uminho.pt
2026-01-15
193.136.19.96
cluster.lsd.di.uminho.pt
2026-01-18
193.136.19.96
foreman.cluster.lsd.di.uminho.pt
2026-01-18
193.136.19.96
status.cluster.lsd.di.uminho.pt
2025-08-16
193.136.19.96
portas.lsd.di.uminho.pt
2025-09-01
193.136.19.96
wpsds.lsd.di.uminho.pt
2025-08-21
193.136.19.96
bags.lsd.di.uminho.pt
2025-08-21
193.136.19.96
stratus.lsd.di.uminho.pt
2025-08-21
193.136.19.96
bolt.lsd.di.uminho.pt
2026-01-18
193.136.19.96
cloudy.lsd.di.uminho.pt
2025-08-21
193.136.19.96
klee.di.uminho.pt
2025-05-15
185.199.111.153
moodle.di.uminho.pt
2026-01-22
193.136.19.94
xdteste.di.uminho.pt
2025-06-21
193.136.19.158
msslave.di.uminho.pt
2025-08-26
193.136.19.12
lmf.di.uminho.pt
2025-02-25
185.199.108.153
advancedcomputing.di.uminho.pt
2026-01-12
193.136.19.126
davinci.di.uminho.pt
2025-04-26
185.199.109.153
ssi.di.uminho.pt
2026-01-23
193.136.19.86
reposlink.di.uminho.pt
2025-09-23
193.136.21.106
mhm.di.uminho.pt
2026-01-20
193.136.19.158
gcom.di.uminho.pt
2026-01-18
193.136.9.240
vnetlab.gcom.di.uminho.pt
2026-01-17
193.136.9.206
owncloud.gcom.di.uminho.pt
2026-01-17
193.136.9.241
marco.gcom.di.uminho.pt
2026-01-21
193.136.9.240
polo.gcom.di.uminho.pt
2025-06-12
193.136.9.241
www.gcom.di.uminho.pt
2025-06-21
193.136.9.240
cesium.di.uminho.pt
2025-02-26
75.2.60.5
karaoke.cesium.di.uminho.pt
2025-08-18
193.136.19.148
www.karaoke.cesium.di.uminho.pt
2025-08-01
193.136.19.148
store.cesium.di.uminho.pt
2025-06-05
54.217.137.99
stg.cesium.di.uminho.pt
2025-04-27
75.2.60.5
codeweek.cesium.di.uminho.pt
2025-06-17
13.52.115.166
2022.codeweek.cesium.di.uminho.pt
2025-06-23
54.215.62.21
2023.codeweek.cesium.di.uminho.pt
2025-06-14
13.52.115.166
2016.codeweek.cesium.di.uminho.pt
2024-09-06
52.9.166.110
2017.codeweek.cesium.di.uminho.pt
2025-06-13
13.52.115.166
2018.codeweek.cesium.di.uminho.pt
2024-08-11
50.18.142.31
2019.codeweek.cesium.di.uminho.pt
2025-06-21
13.52.115.166
www.codeweek.cesium.di.uminho.pt
2025-06-11
13.52.115.166
periferico.cesium.di.uminho.pt
2025-02-25
54.215.62.21
pelomundo.cesium.di.uminho.pt
2025-06-24
13.52.115.166
www.dezembrosolidario.cesium.di.uminho.pt
2025-06-08
13.52.115.166
calendario.cesium.di.uminho.pt
2025-06-11
13.52.115.166
www.cesium.di.uminho.pt
2025-02-26
75.2.60.5
infin.di.uminho.pt
2025-06-21
193.136.19.158
join.di.uminho.pt
2026-01-16
66.241.124.140
2022.join.di.uminho.pt
2025-06-08
54.215.62.21
arquivo.join.di.uminho.pt
2025-10-16
193.136.19.227
www.join.di.uminho.pt
2026-01-18
66.241.124.140
tucano.di.uminho.pt
2025-08-18
193.136.19.109
swap.di.uminho.pt
2025-06-27
193.136.19.109
ftp.di.uminho.pt
2026-01-21
193.136.19.10
mcs.di.uminho.pt
2026-01-18
193.136.19.126
eos.di.uminho.pt
2026-01-18
193.136.19.42
prajt.di.uminho.pt
2025-07-02
193.136.19.158
clav.di.uminho.pt
2025-08-21
193.136.19.202
servicify.di.uminho.pt
2026-01-16
193.136.19.158
cibersecurity.di.uminho.pt
2026-01-17
193.136.19.126
hybridproxy.di.uminho.pt
2026-01-24
193.136.19.202
View on OTX
|
View on ThreatMiner
Please enable JavaScript to view the
comments powered by Disqus.
Data with thanks to
AlienVault OTX
,
VirusTotal
,
Malwr
and
others
. [
Sitemap
]