CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021747 0 0 0 0 0 37 144 112 82 144 71 157
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/20262.534 371 804 596 270 220 273 0 0 0 0 0 0
Totale 21.550