CINECA IRIS Institutional Research Information System

BORGER, EGON
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.068
AS - Asia 6.029
EU - Europa 4.382
SA - Sud America 514
AF - Africa 73
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 23.074
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.643
CN - Cina 1.962
SG - Singapore 1.785
IT - Italia 1.238
HK - Hong Kong 917
SE - Svezia 612
KR - Corea 557
UA - Ucraina 527
DE - Germania 464
BR - Brasile 458
BG - Bulgaria 413
CA - Canada 384
VN - Vietnam 341
FR - Francia 286
FI - Finlandia 245
TR - Turchia 241
CH - Svizzera 240
RU - Federazione Russa 172
GB - Regno Unito 110
JP - Giappone 99
IN - India 27
CI - Costa d'Avorio 24
BD - Bangladesh 21
AR - Argentina 20
BE - Belgio 20
IQ - Iraq 19
AT - Austria 15
MX - Messico 14
SA - Arabia Saudita 11
EC - Ecuador 10
BJ - Benin 9
CO - Colombia 9
PK - Pakistan 9
VE - Venezuela 9
ZA - Sudafrica 9
EG - Egitto 8
MA - Marocco 8
NL - Olanda 8
CR - Costa Rica 7
UZ - Uzbekistan 7
ES - Italia 6
JM - Giamaica 6
AU - Australia 5
CZ - Repubblica Ceca 5
TT - Trinidad e Tobago 5
AE - Emirati Arabi Uniti 4
GT - Guatemala 4
ID - Indonesia 4
MY - Malesia 4
NG - Nigeria 4
AL - Albania 3
AZ - Azerbaigian 3
EU - Europa 3
KZ - Kazakistan 3
LV - Lettonia 3
PH - Filippine 3
PL - Polonia 3
PY - Paraguay 3
TN - Tunisia 3
CL - Cile 2
DZ - Algeria 2
EE - Estonia 2
HN - Honduras 2
HU - Ungheria 2
IL - Israele 2
IR - Iran 2
JO - Giordania 2
NI - Nicaragua 2
PT - Portogallo 2
RO - Romania 2
SN - Senegal 2
UY - Uruguay 2
BH - Bahrain 1
CD - Congo 1
ET - Etiopia 1
GE - Georgia 1
GN - Guinea 1
GR - Grecia 1
GY - Guiana 1
IE - Irlanda 1
KW - Kuwait 1
LU - Lussemburgo 1
NP - Nepal 1
PA - Panama 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
TZ - Tanzania 1
Totale 23.074
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.456
Woodbridge 1.405
Houston 1.054
Singapore 1.021
Ashburn 974
Hong Kong 913
Fairfield 782
Chandler 737
Hefei 728
Jacksonville 714
Milan 637
Santa Clara 548
Seoul 542
Sofia 410
Seattle 376
Ottawa 371
San Jose 371
Cambridge 300
Dallas 299
Wilmington 274
Beijing 244
Bern 236
New York 227
Shanghai 227
Boardman 168
Nanjing 165
Princeton 158
Lawrence 155
Izmir 141
Lauterbourg 138
Jüchen 126
Frankfurt am Main 118
Dearborn 106
Marseille 104
Des Moines 103
Tokyo 98
Los Angeles 90
Buffalo 88
Medford 75
Nanchang 74
Council Bluffs 69
Dong Ket 69
Hanoi 66
Düsseldorf 64
Ho Chi Minh City 63
Istanbul 62
San Diego 40
Helsinki 39
Rome 39
Changsha 32
Shenyang 32
Ogden 31
Kunming 30
Boulder 26
Kocaeli 26
São Paulo 26
Abidjan 24
Hebei 20
Redondo Beach 19
Brussels 18
Norwalk 17
Jiaxing 16
Tianjin 16
Orange 15
Munich 14
Verona 14
Belo Horizonte 13
Guangzhou 13
Berlin 12
Hangzhou 12
Da Nang 11
Haiphong 11
Jinan 11
Redwood City 11
Rio de Janeiro 11
Washington 11
Lanzhou 10
Changchun 9
Cotonou 9
Fuzhou 9
San Francisco 8
Serra 8
Vienna 8
Baghdad 7
Brasília 7
Brooklyn 7
Dhaka 7
Joinville 7
London 7
Orem 7
Porto Alegre 7
Pune 7
San José 7
Tashkent 7
Bắc Ninh 6
Nuremberg 6
Philadelphia 6
Phoenix 6
Boston 5
Caxias do Sul 5
Totale 17.928
Salva come PNG Salva come JPEG
Nome #
Logic and Machines: Decision Problems and Complexity 229
Computation and Proof Theory 226
A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems 222
A Practical Method for Rigorously Controllable Hardware Design 199
Recursively unsolvable algorithmic problems and related questions reexamined 198
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach 197
Correctness proof for the WAM with types 193
The Horn complexity of Boolean functions and Cook's problem 191
Correctness of Compiling Occam to Transputer Code 191
Prefix classes of Krom formulae with identity 190
Logical description of computation processes 189
A Framework to Specify Database Update Views for Prolog 188
A Model for Mathematical Analysis of Functional Logic Programs and their Implementations 187
Why use evolving algebras for hardware and software engineering 186
Decision problems in predicate logic 185
Logical Operational Semantics of Parlog. Part II: Or-Parallelism 185
A Mathematical Definition of Full Prolog 185
A description of the Tableau Method using Abstract State Machines 183
A Formal Specification of the PVM Architecture 183
A High-Level Specification for Semantic Web Service Discovery Services 183
Special Abstract State Machines Issue of Journal of Universal Computer Science 183
Linking the Meaning of Programs to What the Compiler Can Verify 183
BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics 183
Die m-Grade logischer Entscheidungsprobleme 182
An Abstract Model for Process Mediation 182
Computation Theory and Logic 181
Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks 179
Modeling Workflow Patterns from First Principles 179
A logical operational semantics for full Prolog. Part I: Selection core and control 178
A logical operational semantics for full Prolog. Part III: Built-in predicates for files, terms, arithmetic and input-output 178
A description of the Tableau Method using Abstract State Machines 177
Advances in Software Engineering 177
Uber einige Interpretationen von Registermaschinen mit Anwendungen auf Entscheidungsprobleme in der Logik, der Algorithmentheorie und der Theorie formaler Sprachen 176
The equivalence of Horn and network complexity for Boolean functions 176
Ambient Abstract State Machines with Applications 176
Computability, Complexity, Logic 175
Refinement of a typed WAM extension by polymorphic order-sorted types 174
A Compositional Framework for Service Interaction Patterns and Interaction Flows 174
A Method for Verifiable and Validatable Business Process Modeling 174
The Abstract State Machines Method for High-Level System Design and Analysis 173
On the construction of simple first-order formulae without recursive models 172
The Classical Decision Problem 171
Modeling the meaning of transitions from and to concurrent states in UML State Machines 169
Abstract State Machines, B and Z 169
Abstract State Machines. A Method for System Specification and Analysis 167
Eine entscheidbare Klasse von Kromformeln 166
Spektralproblem and Completeness of Logical Decision Problems 166
Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based Systems 166
Modeling an Operating System Kernel 166
Computer Science Logic CSL'87 165
A logical operational semantics for full Prolog. Part II: Built-in predicates for database manipulations 165
Fundamenta Informaticae Special Issue with Selected Papers from ASM'05 165
Undecidability versus Degree Complexity of Decision Problems for Formal Grammars 164
Unsolvable Decision Problems for Prolog Programs 164
A High-Level Specification for Mediators 164
Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines 163
Refining abstract machine specifications of the steam boiler control to well documented executable code 163
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen 162
Konzept einer hierarchischen Erweiterung von EURIS 162
Logic as Machine: Complexity Relations between Programs and Formulae 160
Abstract State Machines 2003--Advances in Theory and Practice 160
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis 160
The r. e. complexity of decision problems for commutative semi-Thue Systems with recursive rule set 160
Introduction into the Theory of Computation: A Register Machine Approach 159
An ASM specification of C# threads and the .NET memory model 159
A Practical Method for Specification and Analysis of Exception Handling -- A Java/JVM Case Study 159
CLAM Specification for Provably Correct Compilation of CLP(R) Programs 158
A High-Level Specification for Mediators (Virtual Providers) 158
From Prolog Algebras towards WAM---A Mathematical Study of Implementation 157
Computer Science Logic CSL'88 156
Two new reduction classes in Krom formulae with predicate and function symbols 155
Computer Science Logic CSL'90 155
Computer Science Logic CSL'93 154
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation 154
On formalizing UML state machines using ASMs 154
Coupling Design and Verification in Software Product Lines 154
Logical Operational Semantics of Parlog. Part I: And-Parallelism 153
La Sigma-3-completude de l'ensemble des types de reduction 152
Architecture Design and Validation Methods 151
Towards A Mathematical Specification of the APE100 Architecture: the APESE Model 150
The Mathematics of Set Predicates in Prolog 150
Design for Reuse via Structuring Techniques for ASMs 150
An ASM Semantics for UML Activity Diagrams 149
Synchronous Message Passing and Semaphores: An Equivalence Proof 148
High Level System Design and Analysis using Abstract State Machines 148
A high-level modular definition of the semantics of C# 148
A Formal Specification of Parlog 147
Linking architectural and component level system views by Abstract State Machines 147
The Origins and the Development of the ASM Method for High Level System Design and Analysis 145
Abstract State Machines. A Method for High-Level System Design and Analysis 145
Proc. 12th International Workshop on Abstract State Machines ASM'05 144
Modularizing Theorems for Software Product Lines: The Jbook Case Study 144
Formal Methods for Industrial Applications. Specifying and Programming the Steam-Boiler Control 143
Formal Aspects of Computing Journal Special Issue on ABZ08 143
Logical Decision Problems and Complexity of Logic Programs 141
The ASM Ground Model Method as a Foundation for Requirements Engineering 141
Using Abstract State Machines at Microsoft: A Case Study 141
Eine einfache Methode zur Bestimmung der Unloesbarkeit von Entscheidungsproblemen kombinatorischer Systeme 139
Computer Science Logic CSL'91 139
A formal method for provably correct composition of a real--life processor out of basic components (The APE100 reverse engineering project) 139
Totale 16.768
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.701
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 54.701
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.446 8 79 11 107 345 257 12 56 110 39 47 375
2022/20231.764 217 134 92 176 228 236 10 160 414 5 80 12
2023/20241.864 449 251 295 121 246 244 7 51 26 32 29 113
2024/20254.125 21 161 23 179 372 336 209 253 533 568 742 728
2025/20264.103 371 804 596 270 220 456 559 165 182 305 103 72
2026/202739 39 0 0 0 0 0 0 0 0 0 0 0
Totale 23.158